2026-05-27T05:24:18Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/111302026-02-03T10:49:21Zcom_10630_2254col_10630_37953

Statistical Model Checking of e-Motions Domain-Specific Modeling Languages Durán, Francisco Moreno-Delgado, Antonio Álvarez-Palomo, José María Estadística 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. 2016-04-08T11:43:40Z 2016-04-08T11:43:40Z 2016 2016 journal article http://hdl.handle.net/10630/11130 http://orcid.org/0000-0001-5864-8094 eng Fundamental Approaches to Software Engineering (FASE) Eindhoven, Holanda 5-7 Abril 2016 open access by-nc-nd Springer