RT Journal Article
T1 Statistical Model Checking of e-Motions Domain-Specific Modeling Languages
A1 Durán, Francisco
A1 Moreno-Delgado, Antonio
A1 Álvarez-Palomo, José María
K1 Estadística
AB Domain experts may use novel tools that allow them to de- sign and model their systems in a notation very close to the domain problem. However, the use of tools for the statistical analysis of stochas- tic systems requires software engineers to carefully specify such systems in low level and specific languages. In this work we line up both sce- narios, specific domain modeling and statistical analysis. Specifically, we have extended the e-Motions system, a framework to develop real-time domain-specific languages where the behavior is specified in a natural way by in-place transformation rules, to support the statistical analysis of systems defined using it. We discuss how restricted e-Motions sys- tems are used to produce Maude corresponding specifications, using a model transformation from e-Motions to Maude, which comply with the restrictions of the VeStA tool, and which can therefore be used to per- form statistical analysis on the stochastic systems thus generated. We illustrate our approach with a very simple messaging distributed system.
PB Springer
YR 2016
FD 2016
LK http://hdl.handle.net/10630/11130
UL http://hdl.handle.net/10630/11130
LA eng
NO Universidad de Málaga Campus de Excelencia Internacional Andalucía Tech.                Research Project TIN2014-52034-R and
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 27 feb 2026