Interaction interfaces-towards a scientific foundation of a methodological usage of message sequence charts

Proceedings - 2nd International Conference on Formal Engineering Methods, ICFEM 1998

Volumn 1998-December, Issue , 1998, Pages 2-13

  Broy, M ^a   Kruger I ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ENGINEERING; INDUSTRIAL ENGINEERING;

COMPONENT SPECIFICATION; DISTRIBUTED SYSTEMS; INDIVIDUAL COMPONENTS; INTERACTION HISTORY; INTERACTION INTERFACE; INTERFACE DESCRIPTIONS; MESSAGE SEQUENCE CHARTS; SCIENTIFIC FOUNDATIONS;

SPECIFICATIONS;

EID: 84883819990     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICFEM.1998.730565     Document Type: Conference Paper

References (10)

1. G. Berry, G. Gonthier, The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation, INRIA, Research Report 842, 1988
2. G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language for Object-Oriented Development. Version 1.0, 1996
3. M. Broy, Some algebraic and functional hocuspocus with ABRACADABRA, Technische Berichte der Fakultät für Mathematik und Informatik, Universität Passau, 1987, MIP-8717, also in: Information and Software Technology 32, 1990, 686-696
4. M. Broy, A Functional Rephrasing of the Assumption/Commitment Specification Style, Technische Universität München, Institut für Informatik, TUM-I9417, June 1994, Revised and Extended Version to appear in: Formal Methods in System Design
5. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, M. Stal, Pattern Oriented Software Architecture, A System of Patterns, Wiley, 1996
6. E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns, Elements of Reusable Object-oriented Software, Addison-Wesley, 1995
7. GRAPES-Referenzmanual, DOMINO, Integrierte Verfahrenstechnik, Siemens AG, Bereich Daten-und Informationstechnik, 1990
8. I. Jacobson, Object-Oriented Software Engineering, Addison-Wesley, ACM Press, 1992
9. Message Sequence Charts (MSC), Recommendation Z.120, Technical report, ITU-T, 1996
10. B. Selic, G. Gullekson, P. T. Ward, Real-Time Object-Oriented Modeling, Wiley, 1994