Abstract
Message Sequence Charts (MSCs) and related notations have found wide acceptance for scenario-oriented behavior specifications. However, MSCs lack adequate support for important aspects of interaction modeling, including overlapping interactions, progress/liveness specifications, and preemption. Such support is needed particularly in the context of service-oriented specifications both in the business information and embedded systems domain. In this text, we introduce extensions to the “standard” MSC notation addressing these deficits, and provide a semantic foundation for these extensions.
Chapter PDF
Similar content being viewed by others
References
Manfred Broy. Some algebraic and functional hocuspocus with ABRACADABRA. Technical Report MIP-8717, Fakultät für Mathematik und Informatik, Universität Passau, 1987. also in: Information and Software Technology 32, 1990, pp. 686–696.
Manfred Broy and Ingolf Krüger. Interaction Interfaces-Towards a scientific foundation of a methodological usage of Message Sequence Charts. In J. Staples, M. G. Hinchey, and Shaoying Liu, editors, Formal Engineering Methods (ICFEM’98), pages 2–15. IEEE Computer Society, 1998.
Manfred Broy and Ketil Stølen. Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement. Springer New York, 2001. ISBN 0-387-95073-7.
K. Mani Chandy and Jayadev Misra. Parallel Program Design. A Foundation. Addison Wesley, 1988.
Werner Damm and David Harel. LSCs: Breathing Life into Message Sequence Charts. In FMOODS’99 IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, 1999.
Jan Ellsberger, Dieter Hogrefe, and Amardeo Sarma. SDL. Formal Object-oriented Language for Communicating Systems. Prentice Hall, 1998.
ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC). Geneva, 1996.
ITU-TS. Recommendation Z.120: Annex B. Geneva, 1998.
Ingolf Krüger. Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universität München, 2000.
Ingolf Krüger. Notational and Methodical Issues in Forward Engineering with MSCs. In Tarja Systä, editor, Proceedings of OOPSLA 2000 Workshop: Scenariobased round trip engineering. Tampere University of Technology, Software Systems Laboratory, Report 20, 2000.
Ingolf Krüger, Radu Grosu, Peter Scholz, and Manfred Broy. From MSCs to statecharts. In Franz J. Rammig, editor, Distributed and Parallel Embedded Systems, pages 61–71. Kluwer Academic Publishers, 1999.
Ingolf H. Krüger. Specifying Services with UML and UML-RT. Foundations, Challenges and Limitations. Electronic Notes in Theoretical Computer Science, 65(7), 2002.
Leslie Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872–923, May 1994.
Michel Adriaan Reniers. Message Sequence Chart. Syntax and Semantics. PhD thesis, Eindhoven University of Technology, 1999.
James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, Massachusetts, USA, 1999.
Robert Stephens. A Survey of Stream Processing. Acta Informatica, 34:491–541, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krüger, I.H. (2003). Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. In: Pezzè, M. (eds) Fundamental Approaches to Software Engineering. FASE 2003. Lecture Notes in Computer Science, vol 2621. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36578-8_27
Download citation
DOI: https://doi.org/10.1007/3-540-36578-8_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00899-6
Online ISBN: 978-3-540-36578-5
eBook Packages: Springer Book Archive