A formal semantics for UML interactions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1723, Issue , 1999, Pages 116-130

  Knapp, Alexander ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; SPECIFICATIONS; SYNTACTICS; UNIFIED MODELING LANGUAGE; VISUAL LANGUAGES;

ABSTRACT SYNTAX; FORMAL SEMANTICS; FORMALISATION; PARTIAL ORDER; TEMPORAL FORMULAE;

SEMANTICS;

EID: 84883467952     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46852-8_9     Document Type: Conference Paper

References (12)

1. Egil P. Andersen. Conceptual Modeling of Objects-A Role Modeling Approach. PhD thesis, Universitetet i Oslo, 1997.
2. João Araújo. Formalizing Sequence Diagrams. In Luis F. Andrade, Ana Moreira, Akash R. Deshpande, and Stuart Kent, editors, Proc. Wsh. Formalizing UML. Why? How?, Vancouver, 1998.
3. Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, and Wolfgang Schwerin. Systems, Views and Models of UML. In Axel Korthaus and Martin Schader, editors, The Unified Modeling Language-Technical Aspects and Applications, pages 93-108. Physica, Heidelberg, 1998.
4. Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, and Martin Wirsing. An Event-Based Structural Operational Semantics of Multi-Threaded Java. In Jim Alves-Foss, editor, Formal Syntax and Semantics of Java, volume 1523 of Lect. Notes Comp. Sci., pages 157-200. Springer, Berlin, 1999.
5. Robert France, Andrew Evans, Kevin Lano, and Bernhard Rumpe. The UML as a Formal Modeling Notation. Comp. Stand. Interf., 19(7):325-334, 1998.
6. Thomas Gehrke, Ursula Goltz, and Heike Wehrheim. The Dynamic Models of UML: Towards a Semantics and Its Application in the Development Process. Technical Report 11/98, Universit¨at Hildesheim, 1998.
7. Piotr Kosiuczenko and Martin Wirsing. Towards an Integration of Message Sequence Charts and Timed Maude. In Murat M. Tanik, Jiro Tanaka, Kiyoshi Itoh, Michael Goedicke, Wilhelm Rossak, Hartmut Ehrig, and Franz Kurfueß, editors, Proc. 3rd Int. Conf. Integrated Design and Process Technology, Berlin, 1998.
8. Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Vol. 1: Specification. Springer, New York-etc., 1992.
9. Object Management Group. OMG UML v1.3: Revisions and Recommendations-Appendix A: Issues Database Report. Technical report, Object Management Group, 1999. http://www.omg.org/docs/ad/99-06-11.pdf.
10. Object Management Group. Unified Modeling Language Specification, Version 1.3. Technical report, Object Management Group, 1999. http://www.omg.org/docs/ad/99-06-08.zip.
11. Vaughan Pratt. Modeling Concurrency with Partial Orders. Int. J. Parallel Pro-gram., 15(1):33-71, 1986.
12. Martin Wirsing and Alexander Knapp. A Formal Approach to Object-Oriented Software Engineering. In José Meseguer, editor, Proc. 1st Int. Wsh. Rewriting Logic and Its Applications, volume 4 of Electr. Notes Theo. Comp. Sci., pages 321-359. Elsevier, 1996.