Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism

Bernardi, S. (Universidad de Zaragoza) ; Marrone, S. ; Merseguer, J. (Universidad de Zaragoza) ; Nardone, R. ; Vittorini, V.

Resumen: Model-driven techniques can be used to automatically produce formal models from different views of a system realised by using several modelling languages and notations. Specifications are transformed into formal models so facilitating the analysis of complex system for design, validation or verification purposes. However, no single formalism suits for representing all system’s views. In particular, the assessment of non-functional properties often requires integrated modelling approaches. The ultimate goal of the research work described in this paper is to develop a comprehensive, theoretical and practical framework able to support the development and the integration of new or existing model-driven approaches for the automatic generation of multi-formalism models. This paper defines the core theoretical ideas on which the framework is based and demonstrates their concrete applicability to the development of a multi-formalism approach for performability assessment.

Idioma: Inglés

DOI: 10.1007/s10270-018-0663-8

Año: 2019

Publicado en: Software and Systems Modeling 18 (2019), 2241–2264
ISSN: 1619-1366

Factor impacto JCR: 1.876 (2019)

Categ. JCR: COMPUTER SCIENCE, SOFTWARE ENGINEERING rank: 45 / 107 = 0.421 (2019) - Q2 - T2

Factor impacto SCIMAGO: 0.575 - Software (Q2) - Modeling and Simulation (Q2)

Financiación: info:eu-repo/grantAgreement/ES/DGA/T94
Financiación: info:eu-repo/grantAgreement/EC/H2020/644869/EU/Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements/DICE
Financiación: info:eu-repo/grantAgreement/ES/MINECO/TIN2014-58457-R
Financiación: info:eu-repo/grantAgreement/ES/UZ/CUD2017-TEC-09

Tipo y forma: Artículo (Versión definitiva)

Área (Departamento): Área Lenguajes y Sistemas Inf. (Dpto. Informát.Ingenie.Sistms.)