Capturing overlapping, triggered, and preemptive collaborations using MSCs

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

Volumn 2621, Issue , 2003, Pages 387-402

  Krüger, Ingolf H ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; SEMANTICS; SOFTWARE ENGINEERING; SPECIFICATIONS;

BEHAVIOR SPECIFICATIONS; BUSINESS INFORMATION; INTERACTION MODEL; MESSAGE SEQUENCE CHARTS; SEMANTIC FOUNDATION; SERVICE ORIENTED;

FLOWCHARTING;

EID: 35248894324     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36578-8_27     Document Type: Article

References (18)

1. Manfred Broy. Some algebraic and functional hocuspocus with ABRACADABRA. Technical Report MIP-8717, Fakultät für Mathematik und Informatik, Universität Passau, 1987.
2. also in: Information and Software Technology 32, 1990, pp. 686-696.
3. 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.
4. 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.
5. K. Mani Chandy and Jayadev Misra. Parallel Program Design. A Foundation. Addison Wesley, 1988.
6. 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.
7. Jan Ellsberger, Dieter Hogrefe, and Amardeo Sarma. SDL. Formal Object-oriented Language for Communicating Systems. Prentice Hall, 1998.
8. ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC). Geneva, 1996.
9. ITU-TS. Recommendation Z.120 : Annex B. Geneva, 1998.
10. Ingolf Krüger. Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universität München, 2000.
11. Ingolf Krüger. Notational and Methodical Issues in Forward Engineering with MSCs. In Tarja Systä, editor, Proceedings of OOPSLA 2000 Workshop: Scenario-based round trip engineering. Tampere University of Technology, Software Systems Laboratory, Report 20, 2000.
12. 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.
13. Ingolf H. Krüger. Specifying Services with UML and UML-RT. Foundations, Challenges and Limitations. Electronic Notes in Theoretical Computer Science, 65(7), 2002.
14. Leslie Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
15. U2 Partners. Revised submission to OMG RFPs ad/00-09-01 and ad/00-09-02: Unified Modeling Language 2.0 Proposal. Version 0.671 (draft). available at http://www.u2-partners.org/artifacts.htm, 2002.
16. Michel Adriaan Reniers. Message Sequence Chart. Syntax and Semantics. PhD thesis, Eindhoven University of Technology, 1999.
17. James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, Massachusetts, USA, 1999.
18. Robert Stephens. A Survey of Stream Processing. Acta Informatica, 34:491-541, 1997.