.png){kind=icon}
返回
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}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
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.
Keyword:
Hypermedia document
Formal verification
Model checking
MDE
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3
论文数:
2.0W
被引数:
3.2W
机构
引用论文
Blockchain 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
OAAI分享收藏Variabilidad temporal de las propiedades físico-mecánicas de un suelo derivado de cenizas volcánicas bajo labranza convencionalAgro SurOAAI
Agro SurIF0
OAAI分享收藏
查看更多内容