Semantics of interactions in UML 2.0

Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003

Volumn , Issue , 2003, Pages 129-136

  Storrle H ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ISO STANDARDS; MESSAGE SEQUENCE CHARTS; TRACE SEMANTICS; UML 2.0;

SEMANTICS;

EID: 34047177628     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HCC.2003.1260216     Document Type: Conference Paper

References (7)

1. rd Intl. Conf. Formal Methods for Open Object-based Distributed Systems. IFIP, 1999.
2. ITU-T. Recommenration Z.120. Message Sequence Charts (MSC). International Telecommunication Union, 2000.
3. I. Krüger. Distributed System Design with Message Sequence Charts. PhD thesis, TU München, 2000.
4. nd revised submission of April 10, 2003), April 2003.
5. M. A. Reniers. Message Sequence Charts - Syntax and Semantics. PhD thesis, TU Eindhoven, 1999.
6. H. Störrle. Models of Software Architecture. Design and Analysis with UML and Petri-nets. PhD thesis, LMU München, Inst. f. Informatik, December 2000. ISBN 3-8311-1330-0.
7. M. Wirsing and A. Knapp. A formal approach to object-oriented software engineering. J. Theorerical Computer Science, 285:519-560, 2002. (Pubitemid 34862900)