PRIMA-UML: a performance validation incremental methodology on early UML diagrams
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
From UML models to software performance results: an SPE process based on XML interchange formats
Proceedings of the 5th international workshop on Software and performance
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Empirical assessment of MDE in industry
Proceedings of the 33rd International Conference on Software Engineering
A dependability profile within MARTE
Software and Systems Modeling (SoSyM)
Performance modeling and analysis of context-aware mobile software systems
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
The less well known UML: a short user guide
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Proceedings of the 7th Workshop on Models@run.time
Hi-index | 0.00 |
For developing software systems it is crucial to consider non-functional properties already in an early development stage to guarantee that the system will satisfy its non-functional requirements. Following the model-based engineering paradigm facilitates an early analysis of non-functional properties of the system being developed based on the elaborated design models. Although UML is widely used in model-based engineering, it is not suitable for model-based analysis directly due to its lack of formal semantics. Thus, current model-based analysis approaches transform UML models into formal languages dedicated for analyses purpose, which may introduce accidental complexity of implementing the required model transformations. The recently introduced fUML standard provides a formal semantics of a subset of UML enabling the execution of UML models. In this paper, we show how fUML can be utilized for analyzing UML models directly without having to transform them. We present a reusable framework for performing model-based analyses leveraging execution traces of UML models and integrating UML profiles heretofore unsupported by fUML. A case study in the performance analysis domain is used to illustrate the benefits of our framework.