Mostrar el registro sencillo del ítem
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages
dc.contributor.author | Durán, Francisco | |
dc.contributor.author | Moreno-Delgado, Antonio | |
dc.contributor.author | Álvarez-Palomo, José María | |
dc.date.accessioned | 2016-04-08T11:43:40Z | |
dc.date.available | 2016-04-08T11:43:40Z | |
dc.date.created | 2016 | |
dc.date.issued | 2016 | |
dc.identifier.uri | http://hdl.handle.net/10630/11130 | |
dc.description.abstract | 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. | es_ES |
dc.description.sponsorship | Universidad de Málaga Campus de Excelencia Internacional Andalucía Tech. Research Project TIN2014-52034-R and | es_ES |
dc.language.iso | eng | es_ES |
dc.publisher | Springer | es_ES |
dc.rights | info:eu-repo/semantics/openAccess | es_ES |
dc.subject | Estadística | es_ES |
dc.title | Statistical Model Checking of e-Motions Domain-Specific Modeling Languages | es_ES |
dc.type | info:eu-repo/semantics/article | es_ES |
dc.centro | E.T.S.I. Informática | es_ES |
dc.relation.eventtitle | Fundamental Approaches to Software Engineering (FASE) | es_ES |
dc.relation.eventplace | Eindhoven, Holanda | es_ES |
dc.relation.eventdate | 5-7 Abril 2016 | es_ES |
dc.identifier.orcid | http://orcid.org/0000-0001-5864-8094 | es_ES |
dc.cclicense | by-nc-nd | es_ES |
dc.type.hasVersion | info:eu-repo/semantics/submittedVersion | es_ES |