Comparing UML 2.0 interactions and MSC-2000

Lecture Notes in Computer Science

Volumn 3319, Issue , 2005, Pages 65-79

  Haugen, Øystein ^a  

^a UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; SPECIFICATIONS;

COMPARISON INTERACTION; FINAL ADOPTED SPECIFICATION; SHORTCOMINGS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 23944432364     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31810-1_5     Document Type: Conference Paper

References (22)

1. Baeten, J.C.M. and S. Mauw: Delayed choice: an operator for joining Message Sequence Charts. FORTE'94, Bern, Switzerland.
2. Damm, W. and D. Harel: LSCs: Breathing Life into Message Sequence Charts. Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 1999.
3. Haugen, Ø. Using MSC-92 Effectively in SDL'95 with MSC in CASE. Seventh SDL Forum, North-Holland, Elsevier, 1995.
4. Haugen, Ø: Converging MSC and UML Sequence Diagrams. Beyond the Standard UML'99 - The Unified Modeling Language. Fort Collins, USA, 1999.
5. Haugen, Ø., B. Møller-Pedersen, and T. Weigert: Structural Modeling with UML 2.0. L. Lavagno, G. Martin, and B. Selic (Eds.) UML for Real. Kluwer Academic Publishers, 2003.
6. Haugen, Ø. and K. Stølen: STAIRS - Steps To Analyze Interactions with Refinement Semantics. P. Stevens, J. Whittle, G. Booch (Eds) UML'2003 - Modeling Languages and Applications. Volume 2863 of Lecture Notes in Computer Science, Springer, 2003, 388-402.
7. Haugen, Ø: From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams. R. Reed, J. Reed (Eds) SDL Forum 2001. Volume 2078 of Lecture Notes in Computer Science, Springer, 2001, 38-51.
8. ITU-T: Z.100 Addendum 1 (10/96). Corrections to Recommendation Z.100, CCITT Specification and Description Language (SDL), 1996, Internationa] Telecommunication Union, Geneva.
9. ITU-T: Recommendation Z.120 (03/93), Message Sequence Charts (MSC). E. Rudolph (Ed.), 1993, International Telecommunication Union, Geneva. 36 pages.
10. ITU-T: Recommendation Z.120 (10/96), Message Sequence Charts (MSC). E. Rudolph (Ed.), 1996, International Telecommunication Union, Geneva. 78 pages.
11. ITU-T: Recommendation Z.120 (11/99), Message Sequence Charts (MSC). Ø. Haugen (Ed.), 1999, International Telecommunication Union, Geneva. 126 pages.
12. ITU-T: Recommendation Z.120 (04/04), Message Sequence Charts (MSC). C. Jervis (Ed.), 2004, International Telecommunication Union, Geneva.
13. ITU-T: Recommendation Z.120 Annex B (04/98), Formal semantics of message sequence charts. S. Mauw, et al. (Eds), 1998, International Telecommunication Union, Geneva. 76 pages.
14. ITU-T: Recommendation Z.121 (02/03), Specification and Description Language (SDL) data binding to Message Sequence Charts (MSC). 2003, International Telecommunication Union, Geneva.
15. Mauw, S.: The formalization of Message Sequence Charts. Computer Networks & ISDN, June 1996, 1643-1659.
16. Mauw, S. and E.A. van der Meulen: Generating tools for Message Sequence Charts. E.U.o.T. Philips (Ed). Technical Report TD60, ITU-TS SG10 Interims Meeting, Geneva, Switzerland, 1994.
17. Mauw, S. and M.A. Reniers: An algebraic semantics of Basic Message Sequence Charts. The Computer Journal, 1994, 37(4).
18. Mauw, S. and M.A. Reniers: Operational Semantics for MSC'96. A. Cavalli and D. Vincent (Eds) Tutorials of the Eighth SDL Forum (SDL'97), 1997, 135-152.
19. OMG: UML Testing Profile. I. Schieferdecker (Ed.), 2003, Object Management Group.
20. OMG: Unified Modeling Language 1.4. 2000. Object Management Group.
21. OMG: Unified Modeling Language: Superstructure 2.0. 2003. Object Management Group.
22. Selic, B., G. Gullekson, and P.T. Ward: Real-Time Object-Oriented Modeling. Wiley, 1994.