Skip to main content
SpringerLink
Log in

A Strongly Consistent Transformation from UML Interactions to PEPA Nets

  • Conference paper
Computational Science and Its Applications – ICCSA 2014 (ICCSA 2014)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8583))

Included in the following conference series:

  • 3554 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baumeister, H., Koch, N., Kosiuczenko, P., Wirsing, M.: Extending activity diagrams to model mobile systems. In: Akşit, M., Mezini, M., Unland, R. (eds.) NODe 2002. LNCS, vol. 2591, pp. 278–293. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  2. Bernardo, M., Gorrieri, R.: A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. TCS 202, 1–54 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  3. Bowles, J., Kloul, L.: Synthesising PEPA nets from IODs for performance analysis. In: WOSP/SIPEW 2010, pp. 195–200. ACM (2010)

    Google Scholar 

  4. Canevet, C., Gilmore, S., Hillston, J., Kloul, L., Stevens, P.: Analysing UML 2.0 activity diagrams in the software performance engineering process. In: WOSP 2004, Short Papers, pp. 74–78. ACM (2004)

    Google Scholar 

  5. Canevet, C., Gilmore, S., Hillston, J., Prowse, M., Stevens, P.: Performance modelling with UML and stochastic process algebras. IEE Proceedings: Computers and Digital Techniques 150(2), 107–120 (2003)

    Google Scholar 

  6. Donatelli, S.: Superposed Generalised Stochastic Petri Nets: Definition and Efficient Solution. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815, pp. 258–277. Springer, Heidelberg (1994)

    Chapter  Google Scholar 

  7. Gilmore, S., Hillston, J., Kloul, L., Ribaudo, M.: PEPA nets: A structured performance modelling formalism. Performance Evaluation 54, 79–104 (2003)

    Article  Google Scholar 

  8. Grassi, V., Mirandola, R., Sabetta, A.: UML based modeling and performance analysis of mobile systems. In: MSWIM 2004, pp. 95–104. ACM (2004)

    Google Scholar 

  9. Grassi, V., Mirandola, R., Sabetta, A.: A UML profile to model mobile systems. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 128–142. Springer, Heidelberg (2004)

    Google Scholar 

  10. Hermanns, H.: Chapter 4: Interactive Markov Chains. In: Hermanns, H. (ed.) Interactive Markov Chains. LNCS, vol. 2428, pp. 57–88. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  11. Hillston, J.: A compositional approach to performance modelling. Cambridge University Press (1996)

    Google Scholar 

  12. Kloul, L.: Blending UML2.0 and PEPA nets. Technical Report n.2006/102, PRiSM, Université de Versailles (2006), http://wwwex.prism.uvsq.fr/recherche/rapports

  13. Kloul, L., Küster-Filipe, J.: Modelling Mobility with UML 2.0 and PEPA Nets. In: ACSD 2006, pp. 153–162. IEEE Computer Society (2006)

    Google Scholar 

  14. López-Grao, J., Merseguer, J., Campos, J.: From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. In: WOSP 2004, pp. 25–36. ACM (2004)

    Google Scholar 

  15. OMG. UML Superstructure Version 2.4.1. Document id:formal/2011-08-06 (2011)

    Google Scholar 

  16. Plateau, B.: De l’Evolution du Parallélisme et de la Synchronisation. PhD Thesis, Université de Paris-Sud, Orsay (1984)

    Google Scholar 

  17. Pokozy-Korenblat, K., Priami, C.: Towards extracting π-calculus from UML sequence and state diagrams. Electronical Notes in Theoretical Computer Science 101, 51–72 (2004)

    Article  Google Scholar 

  18. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modelling Language Reference Manual, 2nd edn. Addison-Wesley (2005)

    Google Scholar 

  19. Uchitel, S., Kramer, J., Magee, J.: Detecting implied scenarios in message sequence chart specifications. In: ESEC/FSE 2001, pp. 74–82. ACM (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, University of St. Andrews, St. Andrews, UK

    Juliana Bowles

  2. PRiSM, Université de Versailles, 45, Av. des Etats-Unis, 78000, Versailles, France

    Leïla Kloul

Authors
  1. Juliana Bowles
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Leïla Kloul
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Engineering, University of Basilicata, 85100, Potenza, Italy

    Beniamino Murgante

  2. Department of Computer and Information Sciences, Covenant University, Ota, Nigeria

    Sanjay Misra

  3. Department of Production and Systems, University of Minho, 4710-057, Braga, Portugal

    Ana Maria A. C. Rocha

  4. DICAR, Polytecnico di Bari, 70125, Bari, Italy

    Carmelo Torre

  5. University of Minho, Braga, Portugal

    Jorge Gustavo Rocha  & Maria Irene Falcão  & 

  6. Monash University, 3800,, Clayton, VIC, Australia

    David Taniar

  7. Department of Intelligent Informatics, Kyushu Sangyo University, 2-3-1 Matsukadai, 813-8503, Higashi-ku, Fukuoka, Japan

    Bernady O. Apduhan

  8. Department of Mathematics and Computer Science, University of Perugia, Via Vanvitelli, 1, 06123, Perugia, Italy

    Osvaldo Gervasi

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Bowles, J., Kloul, L. (2014). A Strongly Consistent Transformation from UML Interactions to PEPA Nets. In: Murgante, B., et al. Computational Science and Its Applications – ICCSA 2014. ICCSA 2014. Lecture Notes in Computer Science, vol 8583. Springer, Cham. https://doi.org/10.1007/978-3-319-09156-3_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-09156-3_7

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-09155-6

  • Online ISBN: 978-3-319-09156-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation