eprintid: 2569
rev_number: 7
eprint_status: archive
userid: 6
dir: disk0/00/00/25/69
datestamp: 2015-02-06 13:47:52
lastmod: 2015-02-06 13:47:52
status_changed: 2015-02-06 13:47:52
type: book_section
metadata_visibility: show
creators_name: Tribastone, Mirco
creators_name: Gilmore, Stephen
creators_id: mirco.tribastone@imtlucca.it
creators_id: 
title: Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: UML, PEPA, MARTE
note: WOSP’08, June 24–26, 2008, Princeton, New Jersey, USA
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.
date: 2008
publisher: ACM
pagerange: 67-78
id_number: 10.1145/1383559.1383569
refereed: TRUE
isbn: 978-1-59593-873-2
book_title: Proceedings of the 7th international workshop on Software and performance - WOSP '08
official_url: http://dx.doi.org/10.1145/1383559.1383569
citation:   Tribastone, Mirco and Gilmore, Stephen  Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile.   In:  Proceedings of the 7th international workshop on Software and performance - WOSP '08.   ACM, pp. 67-78.  ISBN 978-1-59593-873-2      (2008)