Luca Berardinelli
Tanja Mayerhofer
ABSTRACT
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.
- R.B. France and B. Rumpe. Model-driven development of complex software: A research roadmap. In Proc. of the Workshop on the Future of Software Engineering (FOSE'07) at ICSE, pages 37--54, 2007. Google Scholar
Digital Library
- J. Hutchinson, J. Whittle, M. Rouncefield, and S. Kristoffersen. Empirical assessment of MDE in industry. In Proc. of the Int'l Conference on Software Engineering (ICSE'2011), pages 471--480. ACM, 2011. Google ScholarDigital Library
- B. Henderson-Sellers. UML{the good, the bad or the ugly? Perspectives from a panel of experts. Software and Systems Modeling, 4(1):4--13, 2005.Google ScholarDigital Library
- B. Selic. The less well known UML. In Formal Methods for Model-Driven Engineering, volume 7320 of Lecture Notes in Computer Science, pages 1{20. Springer Berlin Heidelberg, 2012. Google ScholarDigital Library
- S. Balsamo, A. Di Marco, P. Inverardi, and M. Simeoni. Model-based performance prediction in software development: A survey. IEEE Trans. Software Eng., 30(5):295--310, 2004. Google ScholarDigital Library
- Object Management Group. UML profile for MARTE: Modeling and analysis of real-time embedded systems, version 1.1, June 2011.Google Scholar
- S. Bernardi, J. Merseguer, and D.C. Petriu. A dependability profile within MARTE. Software and Systems Modeling, 10(3):313--336, 2011. Google ScholarDigital Library
- Object Management Group. Semantics of a foundational subset for executable UML models (fUML), version 1.0, February 2011.Google Scholar
- T. Mayerhofer, P. Langer, and G. Kappel. A runtime model for fUML. In Proc. of the Int'l Workshop on [email protected] (MRT'12) at MODELS, 2012. Google ScholarDigital Library
- C.U. Smith and L.G. Williams. Performance solutions: A practical guide to creating responsive, scalable software, volume 1. Addison-Wesley Boston, 2002.Google Scholar
- C.U. Smith, C.M. Llado, and R. Puigjaner. Performance model interchange format (PMIF 2): A comprehensive approach to queueing network model interoperability. Perform. Eval., 67(7):548--568, 2010. Google ScholarDigital Library
- C.U. Smith, C.M. Llado, V. Cortellessa, A. Di Marco, and L.G. Williams. From UML models to software performance results: An SPE process based on XML interchange formats. In Proc. of the Int'l Workshop on Software and Performance (WOSP'05), pages 87--98. ACM, 2005. Google ScholarDigital Library
- L. Berardinelli, V. Cortellessa, and A. Di Marco. Performance modeling and analysis of context-aware mobile software systems. In Proc. of the Int'l Conference on Fundamental Approaches to Software Engineering (FASE'10), pages 353--367, 2010. Google ScholarDigital Library
- V. Cortellessa and R. Mirandola. PRIMA-UML: A performance validation incremental methodology on early UML diagrams. Sci. Comput. Program., 44(1):101--129, 2002. Google ScholarDigital Library
- L. Berardinelli, V. Cortellessa, and A. Di Marco. A unified approach to model non-functional properties of mobile context-aware software. In Proc. of the Int'l Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML), MODELS Workshops, 2009.Google Scholar
- A.G. Romero and M.G.V. Ferreira. An approach to model-driven architecture applied to space real-time software. In Proc. of the Int'l Conference on Space Operations, 2012.Google ScholarCross Ref
- P.H. Feiler, D.P. Gluch, and J.J. Hudak. The architecture analysis & design language (AADL): An introduction. Technical report, CMU/SEI-2006-TN-011, DTIC Document, 2006.Google Scholar
- A. Benyahia, A. Cuccuru, S. Taha, F. Terrier, F. Boulanger, and S. Gerard. Extending the standard execution model of UML for real-time systems. In Proc. of the IFIP Conference on Distributed and Parallel Embedded Systems (DIPES'10), pages 43--54. Springer, 2010.Google ScholarCross Ref
- I. Abdelhalim, S. Schneider, and H. Treharne. An integrated framework for checking the behaviour of fUML models using CSP. Int'l Journal on Software Tools for Technology Transfer, pages 1--22, 2012.Google Scholar
Index Terms
- Combining fUML and profiles for non-functional analysis based on model execution traces
Recommendations
Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML
MODELSWARD 2014: Proceedings of the 2nd International Conference on Model-Driven Engineering and Software DevelopmentInnovations constraints due to competition forces industrials to increase features and services of their sys-tems, while improving their quality and reducing both time and cost to market. Consequently, product com-plexity is not far from the limit of ...
Exhaustive Simulation and Test Generation Using fUML Activity Diagrams
Advanced Information Systems EngineeringAbstractThe quality of the specifications used for test generation plays an important role in the quality of the generated tests. One approach to improve the quality of the UML specification is the use of executable models specified using the Foundational ...
Principles for the realization of an open simulation framework based on fUML (WIP)
DEVS 13: Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S SymposiumModel-based engineering is becoming a de facto paradigm for designing complex systems and software. By being executable, models are easier to understand, as well as systems they abstract. UML is the most natural choice for modeling. fUML is an ...
Comments