69454 20250113143110.0 doi 10.1007/s10270-018-0663-8 sideral 104576 ART-2019-104576 eng Bernardi, S. Universidad de Zaragoza (orcid)0000-0002-2605-6243 Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism 2019 Access copy available to the general public Unrestricted 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. info:eu-repo/grantAgreement/ES/DGA/T94 info:eu-repo/grantAgreement/EC/H2020/644869/EU/Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements/DICE This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No H2020 644869-DICE info:eu-repo/grantAgreement/ES/MINECO/TIN2014-58457-R info:eu-repo/grantAgreement/ES/UZ/CUD2017-TEC-09 info:eu-repo/semantics/openAccess by http://creativecommons.org/licenses/by/3.0/es/ 1.876 2019 COMPUTER SCIENCE, SOFTWARE ENGINEERING 45 / 107 = 0.421 2019 Q2 T2 0.575 2019 Software 2019 Q2 Modeling and Simulation 2019 Q2 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Marrone, S. Merseguer, J. Universidad de Zaragoza (orcid)0000-0002-8917-6584 Nardone, R. Vittorini, V. 5007 570 Universidad de Zaragoza Dpto. Informát.Ingenie.Sistms. Área Lenguajes y Sistemas Inf. 18 (2019), 2241–2264 Software and Systems Modeling Software and Systems Modeling 1619-1366 1909028 http://zaguan.unizar.es/record/69454/files/texto_completo.pdf Versión publicada 9810 http://zaguan.unizar.es/record/69454/files/texto_completo.jpg?subformat=icon icon Versión publicada oai:zaguan.unizar.es:69454 articulos driver 2025-01-13-14:30:22 ARTICLE