|
Title
|
|
|
|
Generating domain-specific property languages with ProMoBox: application to interactive systems
| |
|
Author
|
|
|
|
| |
|
Abstract
|
|
|
|
| Domain-Specific Modeling allows domain experts with limited technical background to precisely model applications by using domain concepts. These domain-specific models can be simulated, optimized, transformed into other formalisms, and from these models executable code and documentation can be generated. Because of their syntactic simplicity they are suitable for analysis, which is nonetheless often neglected in current approaches. Especially in Human-Computer Interaction, verifying whether the model satisfies its requirements (specified as so-called properties) is essential. The ProMoBox approach presents a highly automated solution for the specification and verification of such properties. It provides a framework for model checking of temporal properties, where all visible artifacts (system designs, properties, simulation traces, etc.) are specified in the domain-specific way. |
| |
|
Language
|
|
|
|
English
| |
|
Source (journal)
|
|
|
|
Proceedings of the Workshop on Formal Methods in Human Computer Interaction (FoMHCI) 2015, Duisburg, Germany : [In Conjunction with the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS)]
| |
|
Source (book)
|
|
|
|
Proceedings of the Workshop on Formal Methods in Human Computer Interaction (FoMHCI) 2015, Duisburg, Germany
| |
|
Publication
|
|
|
|
Duisburg, Germany
:
RWTH Aachen University Publications
,
2015
| |
|
Volume/pages
|
|
|
|
p. 47-48
| |
|