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

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 verifica...

Full description

Saved in:
Bibliographic Details
Published in:Software and systems modeling 2019-06, Vol.18 (3), p.2241-2264
Main Authors: Bernardi, Simona, Marrone, Stefano, Merseguer, José, Nardone, Roberto, Vittorini, Valeria
Format: Article
Language:English
Subjects:
Compilers
Computer Science
Formalism
Information Systems Applications (incl.Internet)
Interpreters
IT in Business
Modelling
Programming Languages
Programming Techniques
Regular Paper
Software Engineering
Software Engineering/Programming and Operating Systems
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1619-1366
1619-1374
DOI:10.1007/s10270-018-0663-8