Compositional semantics for UML 2.0 sequence diagrams using Petri nets

Lecture Notes in Computer Science

Volumn 3530, Issue , 2005, Pages 133-148

  Eichner, Christoph ^a   Fleischhack, Hans ^a   Meyer, Roland ^a   Schrimpf, Ulrik ^a   Stehno, Christian ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; MATHEMATICAL MODELS; PETRI NETS; SEMANTICS;

DATA TYPES; FORMAL SEMANTICS; MESSAGE SEQUENCE CHARTS (MSC);

COMPUTER PROGRAMMING LANGUAGES;

EID: 26444558148     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11506843_9     Document Type: Conference Paper

References (23)

1. Gui Agha, Fiorella de Cindio, and Grzegorz Rozenberg, editors. Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets, volume 2001 of Lecture Notes in Computer Science. Springer, 2001.
2. Simona Bernardi, Susanna Donatelli, and José Merseguer. From UML sequence diagrams and statecharts to analysable pétri net models. In Simonetta Balsamo, Paola Inverardi, and Bran Selic, editors, Workshop on Software and Performance '02, pages 35-45, Rome, Italy, 2002. ACM Press.
3. Eike Best, Wojciech Fra̧czak, Richard P. Hopkins, Hanna Klaudel, and Elisabeth Pelz. M-nets: an Algebra of High-level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica, 35(10) :813-857, 1998.
4. Werner Damm and David Harel. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19(1):45-80, July 2001.
5. Raymond Devillers, Hanna Klaudel, Maciej Koutny, and Franck Pommereau. Asynchronous Box Calculus. Fundamenta Informaticae, 54(1): 1-50, 2003.
6. Hans Fleischhack and Bernd Grahlmann. A Petri Net Semantics for B(PN)2 with Procedures. In Gul Agha and Stefano Russo, editors, Parallel and Distributed Software Engineering, pages 15-27. IEEE Computer Society, May 1997.
7. Hans Fleischhack and Bernd Grahlmann. A Compositional Petri Net Semantics for SDL. In J. Desel and M. Suva, editors, Application and Theory of Petri Nets, volume 1420 of Lecture Notes in Computer Science, pages 144-164. Springer-Verlag, 1998.
8. Martin Fowler. UML Distilled. The Addison-Wesley Object Technology Series. Addison-Wesley Longman, 2004.
9. Thomas Gehrke, Michaela Huhn, Arend Rensink, and Heike Wehrheim. An Algebraic Semantics for Message Sequence Charts Documents. In Stanislaw Budkowski, Ana R. Cavalli, and Elie Najm, editors, Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE/PSTV '98), pages 3-18. Kluwer Academic Press, 1998.
10. Stefan Heymer. A Semantics for MSC Based on Petri Net Components. In SAM200, pages 262-275, Col de Porte, Grenoble, France, 2000. VERIMAG, IRISA, SDL Forum.
11. ITU-T. Recommendation Z.I20 (11/99): Message Sequence Charts ITU-T, Geneva, 2000.
12. Mario Jeckle, Chris Rupp, Jürgen Hahn, Barbara Zengler, and Stefan Queins. UML 2 glasklar. Hanser, 2004.
13. Kurt Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, volume 1 of EATCS Monographs in Computer Science. Springer, 1992.
14. Joost-Pieter Katoen and Lennard Lambert. Pomsets for Message Sequence Charts. In H. König and P. Langendörfer, editors, Formale Beschreibungstechniken für verteilte Systeme, pages 197-207, Cottbus, June 1998. GI/ITG, Shaker Verlag.
15. Olaf Kluge. Modelling a railway crossing with message sequence charts and petri nets. In Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, and Herbert Weber. editors, Petri Net Technology for Communication-Based Systems, volume 2472 of Lecture Notes in Computer Science, pages 197-218. Springer, 2003.
16. 2: An object based petri net programming notation. In Agha et al. [1], pages 247-275.
17. Tadao Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, April 1989.
18. Object Management Group. UML 2.0 Superstructure Specification, 03-08-02 edition, August 2003.
19. Project P-UMLaut. http://www.p-umlaut.de.
20. Lutz Priese and Harro Wimmel. Theoretische Informatik: Petri-Netze. Springer-Verlag, 2002.
21. Wolfgang Reisig. Petri nets - An introduction. Springer, 1985.
22. Michel Adriaan Reniers. Message Sequence Charts. PhD thesis, Eindhoven University of Technology, 1999.
23. Harald Störrle. Semantics of Interactions in UML 2.0. In 2003 IEEE Symposium on Human Centric Computing Languages and Environments, pages 129-136, Auckland, New Zealand, October 2003. IEEE Computer Society.