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)
Full text not available from this repository.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.
| Item Type: | Book Section |
|---|---|
| Identification Number: | https://doi.org/10.1145/1383559.1383569 |
| Additional Information: | WOSP’08, June 24–26, 2008, Princeton, New Jersey, USA |
| Uncontrolled Keywords: | UML, PEPA, MARTE |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Ms T. Iannizzi |
| Date Deposited: | 06 Feb 2015 13:47 |
| Last Modified: | 06 Feb 2015 13:47 |
| URI: | http://eprints.imtlucca.it/id/eprint/2569 |
Actions (login required)
 |
Edit Item |
