A semantic and methodological essence of message sequence charts

Science of Computer Programming

Volumn 54, Issue 2-3, 2005, Pages 213-256

  Broy, Manfred ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; DISTRIBUTED COMPUTER SYSTEMS; FUNCTIONS; INTERACTIVE COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SPECIFICATIONS;

FORMALIZATION; INTERACTIVE DISTRIBUTED SYSTEMS; MESSAGE SEQUENCE CHARTS (MSC); STREAM-PROCESSING FUNCTIONS;

SEMANTICS;

EID: 9444251098     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2004.04.003     Document Type: Article

References (46)

1. R. Alur, G.J. Holzmann, An analyzer for message sequence charts, in: Proc TACAS 96, Passau, Germany, Lecture Notes in Computer Science, vol. 1055, Springer, 1996, pp. 35-48.
2. R. Alur, G.J. Holzmann, D. Peled, An analyzer for message sequence charts, Software - Concepts and Tools 17 (1996) 70-77.
3. H. Ben-Abdallah, S. Leue, Syntactic analysis of Message Sequence Chart specifications, Technical Report 96-12, Department of Electrical and Computer Engineering, University of Waterloo, 1996.
4. H. Ben-Abdallah, S. Leue, Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications, Technical Report 97-04, University of Waterloo, Department of Electrical and Computer Engineering, April, 1997.
5. H. Ben-Abdallah, S. Leue, Timing constraints in message sequence charts specifications, in: Proceeding of the FORTE/PSTV'97, 1997.
6. G. Berry, G. Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation, INRIA, Research Report 842, 1988.
7. G. Booch, Object Oriented Design with Applications, Benjamin Cummings, Redwood City, CA, 1991.
8. G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language for Object-Oriented Development, Version 1.0, RATIONAL Software Cooperation, 1997.
9. M. Broy, Towards a formal foundation of the specification and description language SDL, Formal Aspects of Computing 3 (1991) 21-57.
10. M. Broy, Compositional refinement of interactive systems modelled by Relations, in: W.-P. de Roever, H. Langmaack, A. Pnueli (Eds.), Compositionality: The Significant Difference, LNCS State of the Art Survey, Lecture Notes in Computer Science, vol. 1536, 1998, pp. 130-149.
11. M. Broy, Multi-view modeling of software systems, Keynote, FM2003 Satellite Workshop on Formal Aspects of Component Software, Pisa, Italy, 8-9 September, 2003.
12. M. Broy, C. Hofmann, I. Krüger, M. Schmidt, A graphical description technique for communication in software architectures, Technische Universität München, Institut für Informatik, TUM-I9705, Februar, 1997. URL: http://www4.informatik.tu-muenchen.de/reports/TUM-I9705. Also in: Joint 1997 Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC'97/ICSC'97).
13. M. Broy, C. Hofmann, I. Krüger, M. Schmidt, A graphical description technique for communication in software architectures, Technische Universität München, Institut für Informatik, TUM-I9705, Februar, 1997. URL: http://www4.informatik.tu-muenchen.de/reports/TUM-I9705. Also in: Joint 1997 Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC'97/ICSC'97).
14. J.M.H. Cobben, A. Engels, S. Mauw, M.A. Reniers, Formal semantics of message sequence charts, Technical Report CSR 97/19, Eindhoven University of Technology, Department of Computing Science, 1998.
15. W. Damm, D. Harel, Breathing life into message sequence charts, Weismann Insitute Technical Report CS98-09, April 1998, revised July 1998, in: FMOODS'99, IFIP TC6/WG6.1 Third International Conference on, Formal Methods for Open Object-Based Distributed Systems, Florence, Italy, February 15-18, 1999.
16. A.G. Engels, S. Mauw, M.A. Reniers, A hierarchy of communication models for message sequence charts, Science of Computer Programming 44 (3) (2002) 253-292.
17. Ch. Facchi, Methodik zur formalen Spezification des ISO/OSI- Schichtenmodells, Dissertation, Fakultät für Informatik, Technische Universität München, 1996.
18. P. Graubmann, E. Rudolph, J. Grabowski, Towards a Petri net based semantics definition for message sequence charts, in: O. Faergemand, A. Sarma (Eds.), Proceedings of the 6th SDL Forum, SDL'93: Using Objects, October, 1993.
19. R. Grosu, I. Krüger, T. Stauner, Hybrid sequence charts, TUM-I 9914, Technische Universität München, 1999.
20. D. Harel, R. Marelly, Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer, 2003.
21. M. Hennessy, R. Milner, On observing nondeterminism and concurrency, in: Proc. 7th ICALP, Lecture Notes in Computer Science, vol. 85, Springer, 1980, pp. 299-309.
22. U. Hinkel, Formale, semantische Fundierung und ein darauf abgestützte Verifikationsmethode für SDL, Dissertation, Fakultät für Informatik, Technische Universität München, 1998.
23. C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985.
24. C.A.R. Hoare, S.D. Brookes, A.W. Roscoe, A theory of communicating sequential processes, Oxford University Computing Laboratory Programming Research Group, Technical Monograph PRG-21, Oxford, 1981.
25. G.J. Holzmann, D.A. Peled, M.H. Redberg, Design tools for requirements engineering, Bell Labs Technical Journal (1997) 86-95.
26. ITU-T (previously CCITT), Criteria for the Use and Applicability of Formal Description Techniques, Recommendation Z. 120, Message Sequence Chart (MSC), 35pgs, March, 1993.
27. ITU-T Recommendation Z.120, Annex B: Algebraic Semantics of Message Sequence Charts, ITU-Telecommunication Standardization Sector, Geneva, Switzerland, 1995.
28. I. Jacobsen, Object-Oriented Software Engineering, Addison-Wesley, ACM Press, 1992.
29. G. Kahn, The semantics of a simple language for parallel processing, in: J.L. Rosenfeld (Ed.), Information Processing 74, Proc. of the IFIP Congress 74, North Holland, Amsterdam, 1974, pp. 471-475.
30. G. Kahn, D. MacQueen, Coroutines and networks of parallel processes, in: Proceedings of the IFIP 77, North-Holland, Amsterdam, 1977, pp. 994-998.
31. C. Klein, Anforderungsspezifikation durch Transitionssysteme und Szenarien, Promotion, Fakultät für Informatik, Technische Universität München, Dezember, 1997.
32. I. Krüger, Distributed system design with message sequence charts, Dissertation, Technische Universität München, 2000.
33. I. Krüger, R. Grosu, P. Scholz, M. Broy, From MSCs to statecharts, in: Proceedings of DIPES'98, Kluwer, 1999.
34. P.B. Ladkin, S. Leue, What do message sequence charts mean?, in: R.L. Tenney, P.D. Amer, M.U. Uyar (Eds.), Formal Description Techniques VI, IFIP Transactions C, Proceedings of the 6th International Conference on Formal Description Techniques, North-Holland, Amsterdam, 1994, pp. 301-316.
35. P.B. Ladkin, S. Leue, Interpreting message flow graphs, Formal Aspects of Computing 7 (5) (1995) 473-509.
36. S. Mauw, M.A. Reniers, An algebraic semantics of basic message sequence charts, The Computer Journal 37 (4) (1994) 269-277.
37. S. Mauw, M.A. Reniers, T.A.C. Willemse, Message sequence charts in the software engineering process, in: S.K. Chang (Ed.), Handbook of Software Engineering and Knowledge Engineering, World Scientific Publishing Co., 2001, pp. 437-463.
38. Message Sequence Chart (MSC), ITU-TZ.120, ITU-TSS, October, 1996.
39. Message Sequence Chart (MSC), ITU-TZ.120, ITU-TSS, November, 1999.
40. R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science 92, Springer, 1980.
41. J. Rumbaugh, Object-Oriented Modelling and Design, Prentice Hall, Englewood Cliffs, New Jersey, 1991.
42. B. Rumpe, Formale Methodik des Entwurfs verteilter objektorientierter Systeme, Ph.D. Thesis Technische Universität München, Fakultät für Informatik (Published by Herbert Utz Verlag) 1996.
43. B. Selic, Automatic generation of test drivers from MSC specs, Technical Report TR 960514-Rev. 01, ObjecTime Limited, Kanata, Ontario, Canada, 1996.
44. B. Selic, G. Gullekson, P.T. Ward, Real-time Object-oriented Modeling, Wiley, New York, 1994.
45. Specification and Description Language (SDL), Recommendation Z.100, Technical Report, CCITT, 1988.
46. P. Zave, M. Jackson, Four dark corners of requirements engineering, ACM Transactions on Software Engineering and Methodology, January, 1997.