Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile

Recent trends in software engineering lean towards modelcentric development methodologies, a context in which the UML plays a crucial role. To provide modellers with quantitative insights into their artifacts, the UML benefits from a framework for software performance evaluation provided by MARTE, the UML profile for model-driven development of Real Time and Embedded Systems. MARTE offers a rich semantics which is general enough to allow different quantitative analysis techniques to act as underlying performance engines. In the present paper we explore the use of the stochastic process algebra PEPA as one such engine, providing a procedure to systematically map activity diagrams onto PEPA models. Independent activity flows are translated into sequential automata which co-ordinate at the synchronisation points expressed by fork and join nodes of the activity. The PEPA performance model is interpreted against a Markovian semantics which allows the calculation of performance indices such as throughput and utilisation. We also discuss the implementation of a new software tool powered by the popular Eclipse platform which implements the fully automatic translation from MARTE-annotated UML activity diagrams to PEPA models.

[1]  José Merseguer,et al.  Performance by unified model analysis (PUMA) , 2005, WOSP '05.

[2]  Mirco Tribastone.  The PEPA Plug-in Project , 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

[3]  Susanna Donatelli,et al.  From UML sequence diagrams and statecharts to analysable petri net models , 2002, WOSP '02.

[4]  Stephen Gilmore,et al.  Performance modelling with UML and stochastic process algebras , 2002 .

[5]  Stephen Gilmore,et al.  A unified tool for performance modelling and prediction , 2003, Reliab. Eng. Syst. Saf..

[6]  Stephen Gilmore,et al.  Stochastic Simulation Methods Applied to a Secure Electronic Voting Model , 2006, PASM@FM.

[7]  Dorina C. Petriu,et al.  Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications , 2002, Computer Performance Evaluation / TOOLS.

[8]  Susanna Donatelli,et al.  A compositional semantics for UML state machines aimed at performance evaluation , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[9]  Simonetta Balsamo,et al.  Performance evaluation of UML software architectures with multiclass Queueing Network models , 2005, WOSP '05.

[10]  Axel Thümmler,et al.  Performance analysis of time-enhanced UML diagrams based on stochastic processes , 2002, WOSP '02.

[11]  Javier Campos,et al.  From UML activity diagrams to Stochastic Petri nets: application to software performance engineering , 2004, WOSP '04.

[12]  Stephen Gilmore,et al.  Analysing UML 2.0 activity diagrams in the software performance engineering process , 2004, WOSP '04.

[13]  Jane Hillston,et al.  Fluid flow approximation of PEPA models , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).

[14]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[15]  Vittorio Cortellessa,et al.  Proceedings of the 6th international workshop on Software and performance , 2007 .

[16]  José Merseguer,et al.  Exploring Roles for the UML Diagrams in Software Performance Engineering , 2003, Software Engineering Research and Practice.

[17]  Stephen Gilmore,et al.  Software performance modelling using PEPA nets , 2004, WOSP '04.

[18]  Paola Inverardi,et al.  Model-based performance prediction in software development: a survey , 2004, IEEE Transactions on Software Engineering.

[19]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[20]  Editors , 1986, Brain Research Bulletin.

[21]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[22]  Paolo Bocciarelli,et al.  A model-driven approach to describe and predict the performance of composite services , 2007, WOSP '07.

[23]  Stephen Gilmore,et al.  An Efficient Algorithm for Aggregating PEPA Models , 2001, IEEE Trans. Software Eng..