.png){kind=icon}
Return
A design-oriented method to build correct hypermedia documents
.png){kind=icon}
PRE
AI
DOI：10.1007/s11042-017-5325-2.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Over the years, different approaches to identify temporal and spatial conflicts in hypermedia applications has been proposed. Most of them are based on formal verification techniques and impose to the designers to follow a formal model or language to ensure application's functional correctness. Furthermore, the error diagnose is hard to be interpreted by a non-specialist in this domain. In this paper, we present an approach which supports formal verification for documents written in markup languages. We proposed a method and built a verification toolchain that helps designers to verify time and spatial constraints in hypermedia applications. The input language is the designer language. Its translation towards the input of toolchain is automatic and transparent for the application designer. The errors scenarios provided by the verification tool are presented in a timeline way, easily understandable by the designer. The method and toolchain support different markup languages translated in the same intermediary language in order to facilitate the use of different verification tools in the same environment.
Keywords:
Hypermedia document
Formal verification
Model checking
MDE
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
3
Papers:
2.0W
Citations:
3.2W
Organization
Cited Papers
ShareSaveShareSaveShareSaveBlockchain technology in the production and supply of pharmaceutical products.png)
Proceedings of the International Scientific and Practical Conference on Digital Economy (ISCDE 2019)
OAAI
Proceedings of the International Scientific and Practical Conference on Digital Economy (ISCDE 2019)IF0
OAAIShareSaveVariabilidad temporal de las propiedades físico-mecánicas de un suelo derivado de cenizas volcánicas bajo labranza convencionalAgro SurOAAI
Agro SurIF0
OAAIShareSaveShareSaveShareSave
View more