Name
Title | ||
|---|---|---|
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism |
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1007/s10270-018-0663-8 | Software and Systems Modeling |
Keywords | Field | DocType |
Multi-formalism, UML profile, Performability, Model-driven engineering, Generalised Stochastic Petri Nets, Repairable fault trees | Notation,Non functional,Systems engineering,Model-driven architecture,Computer science,Formalism (philosophy),Uml profile | Journal |
Volume | Issue | ISSN |
18.0 | 3.0 | 1619-1374 |
Citations | PageRank | References |
0 | 0.34 | 31 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Simona Bernardi | 1 | 315 | 23.24 |
| Stefano Marrone | 2 | 174 | 25.49 |
| José Merseguer | 3 | 448 | 39.45 |
| Roberto Nardone | 4 | 108 | 15.07 |
| valeria vittorini | 5 | 339 | 33.14 |