Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent SystemsReportar como inadecuado




Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 TU - Technische Universität Dortmund Dortmund 2 ESTASYS - Efficient STAtistical methods in SYstems of systems Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

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.






Autor: Stefan Naujokat - Louis-Marie Traonouez - Malte Isberner - Bernhard Steffen - Axel Legay -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados