Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems
(2014) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. (8.October.2014)
Files
No attached file found for this publication.
Details
- Authors
- Abstract
- In this paper we discuss an elaborate case study utilizing the domain-specific development of code generators within the Cinco meta tooling suite. Cinco is a framework that allows for the automatic generation of a wide range of graphical modeling tools from an abstract high-level specification. The presented case study makes use of Cinco to rapidly construct custom graphical interfaces for multi-faceted, concur-rent systems, comprising non-functional properties like time, probability, data, and costs. The point of this approach is to provide user commu-nities and their favorite tools with graphical interfaces tailored to their specific needs. This will be illustrated by generating graphical interfaces for timed automata (TA), probabilistic timed automata (PTA), Markov decision processes (MDP) and simple labeled transition systems (LTS). The main contribution of the presented work, however, is the metamodel-based domain-specific construction of the corresponding code generators for the verification tools Uppaal, Spin, PLASMA-lab, and Prism.
- Affiliations
Citations
Naujokat, S., Traonouez, L.-M., Isberner, M., Steffen, B., & Legay, A. (2014). Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Lecture Notes in Computer Science. Published. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. https://doi.org/10.1007/978-3-662-45234-9_33