Abstract
A seamless approach suitable for both design and analysis of mobile and distributed software systems is a challenge. In this paper we provide a new constructive approach that links interaction diagrams in UML to PEPA nets, a performance modelling technique which offers capabilities for capturing notions such as location, synchronisation and message passing. Our formally defined transformation is defined in such a way that a PEPA net model realises the same language as a given Interaction Overview Diagram in UML. Furthermore, the languages are strongly consistent, in other words, there is a one-to-one correspondence between the traces of both models. © 2014 Springer International Publishing.
Cite
CITATION STYLE
Bowles, J., & Kloul, L. (2014). A strongly consistent transformation from UML interactions to PEPA nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8583 LNCS, pp. 90–105). Springer Verlag. https://doi.org/10.1007/978-3-319-09156-3_7
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
