دورية أكاديمية
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism
العنوان: | Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism |
---|---|
المؤلفون: | Bernardi, S., Marrone, S., Merseguer, J., Nardone, R., Vittorini, V. |
سنة النشر: | 2018 |
المجموعة: | Digital Repository of University of Zaragoza (ZAGUAN) |
الوصف: | 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. |
نوع الوثيقة: | article in journal/newspaper |
وصف الملف: | application/pdf |
اللغة: | English |
العلاقة: | info:eu-repo/grantAgreement/ES/UZ/CUD2017-TEC-09; info:eu-repo/grantAgreement/ES/MINECO/TIN2014-58457-R; 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/EC/H2020/644869/EU/Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements/DICE; info:eu-repo/grantAgreement/ES/DGA/T94; http://zaguan.unizar.es/record/69454Test |
DOI: | 10.1007/s10270-018-0663-8 |
الإتاحة: | https://doi.org/10.1007/s10270-018-0663-8Test http://zaguan.unizar.es/record/69454Test |
حقوق: | by ; http://creativecommons.org/licenses/by/3.0/esTest/ |
رقم الانضمام: | edsbas.ED40965D |
قاعدة البيانات: | BASE |
DOI: | 10.1007/s10270-018-0663-8 |
---|