Automatic Extraction of PEPA Performance Models from UML Activity Diagrams Annotated with the MARTE Profile

Mirco Tribastone, Stephen Gilmore

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the 7th International Workshop on Software and Performance
Place of PublicationNew York, NY, USA
PublisherACM
Pages67-78
Number of pages12
ISBN (Print)978-1-59593-873-2
DOIs
Publication statusPublished - 2008

Keywords

  • marte, pepa, uml

Fingerprint Dive into the research topics of 'Automatic Extraction of PEPA Performance Models from UML Activity Diagrams Annotated with the MARTE Profile'. Together they form a unique fingerprint.

Cite this