000069454 001__ 69454
000069454 005__ 20200513005820.0
000069454 0247_ $$2doi$$a10.1007/s10270-018-0663-8
000069454 0248_ $$2sideral$$a104576
000069454 037__ $$aART-2018-104576
000069454 041__ $$aeng
000069454 100__ $$0(orcid)0000-0002-2605-6243$$aBernardi, S.$$uUniversidad de Zaragoza
000069454 245__ $$aTowards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism
000069454 260__ $$c2018
000069454 5060_ $$aAccess copy available to the general public$$fUnrestricted
000069454 5203_ $$aModel-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.
000069454 536__ $$9info:eu-repo/grantAgreement/ES/UZ/CUD2017-TEC-09$$9info:eu-repo/grantAgreement/ES/MINECO/TIN2014-58457-R$$9This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No H2020 644869-DICE$$9info:eu-repo/grantAgreement/EC/H2020/644869/EU/Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements/DICE$$9info:eu-repo/grantAgreement/ES/DGA/T94
000069454 540__ $$9info:eu-repo/semantics/openAccess$$aby$$uhttp://creativecommons.org/licenses/by/3.0/es/
000069454 590__ $$a2.66$$b2018
000069454 591__ $$aCOMPUTER SCIENCE, SOFTWARE ENGINEERING$$b24 / 107 = 0.224$$c2018$$dQ1$$eT1
000069454 592__ $$a0.534$$b2018
000069454 593__ $$aSoftware$$c2018$$dQ2
000069454 593__ $$aModeling and Simulation$$c2018$$dQ2
000069454 655_4 $$ainfo:eu-repo/semantics/article$$vinfo:eu-repo/semantics/publishedVersion
000069454 700__ $$aMarrone, S.
000069454 700__ $$0(orcid)0000-0002-8917-6584$$aMerseguer, J.$$uUniversidad de Zaragoza
000069454 700__ $$aNardone, R.
000069454 700__ $$aVittorini, V.
000069454 7102_ $$15007$$2570$$aUniversidad de Zaragoza$$bDpto. Informát.Ingenie.Sistms.$$cÁrea Lenguajes y Sistemas Inf.
000069454 773__ $$g18 (2018), 2241 – 2264$$pSoftware and Systems Modeling$$tSoftware and Systems Modeling$$x1619-1366
000069454 8564_ $$s1909028$$uhttps://zaguan.unizar.es/record/69454/files/texto_completo.pdf$$yVersión publicada
000069454 8564_ $$s9810$$uhttps://zaguan.unizar.es/record/69454/files/texto_completo.jpg?subformat=icon$$xicon$$yVersión publicada
000069454 909CO $$ooai:zaguan.unizar.es:69454$$particulos$$pdriver
000069454 951__ $$a2020-05-13-00:49:06
000069454 980__ $$aARTICLE