An automata based interpretation of live sequence charts

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

Volumn 2031 LNCS, Issue , 2001, Pages 512-527

  Klose, Jochen ^a   Wittke, Hartmut ^b  

^a UNIVERSITY OF OLDENBURG   (Germany)

^b OFFIS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; FLOWCHARTING; SEMANTICS;

COMMUNICATION BEHAVIOR; LIVE SEQUENCE CHART; MESSAGE SEQUENCE CHARTS; PROTOCOL SPECIFICATIONS; SEQUENCE CHARTS; UML SEQUENCE DIAGRAMS; VERIFICATION TOOLS; VISUAL FORMALISM;

GRAPHIC METHODS;

EID: 82455179675     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45319-9_35     Document Type: Conference Paper

References (14)

1. R. Alur and D. Dill. The Theory of Timed Automata. In dc Bakkcr, Hcnzingcr, and dc Rocvcr, editors, Proceedings of Rex 1991: Real Time in Theory and Practice, number 600 in LNCS. Springer Vcrlag, 1992.
2. R. Alur, G. J. Holzmann, and D. Pclcd. An analyzer for Message Sequence Charts. In T. Margaria and B. Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), volume 1055 of Lecture Notes in Computer Science, pages 35 48, Passau, Germany, 1996. Springcr-Vcrlag.
3. R. Alur. Timed Automata. In NATO-ASI 1998 Summer School on Verification of Digital and Hybrid Systems, 1998.
4. Tom Bicnmüllcr, Udo Brockmcycr, and Werner Damm et. al. Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking. In Felix Rcdmill and Tom Anderson, editors, Towards System Safety Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK, pages 150 173. Safety-Critical Systems Club, Springer Vcrlag, 1999.
5. W. Damm, G. Döhmcn, and J. Klosc. Secure Decentralized Control of Railway Crossings. In S. Gncsi and D. Latclla, editors, Fourth International ERCIM Workshop on Formal Methods in Industrial Critical Systems, 1999.
6. W. Damm and D. Harcl. 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. W. Damm and D. Harcl. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 2001. to appear.
8. Werner Damm and Jochcn Klosc. Verification of a Radio-based Signaling System Using the Statcmatc Verification Environment. Formal Methods in System Design, 2001. to appear.
9. Konrad Fcycrabcnd. Realtime Symbolic Timing Diagrams. Technical report, Carl von Ossictzky Univcrsität Oldenburg, 1996.
10. Konrad Fcycrabcnd and Bcrnhard Josko. A visual formalism for real time requirement specifications. In Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrentand Distributed Software, ARTS'97, Lecture Notes in Computer Science 1231, pages 156 168, 1997.
11. David Harcl and Michal Politi. Modeling Reactive Systems with Statecharts: The STATEMATE Approach. Part No. D 1100 43. i-Logix Inc., Three Riverside Drive, Andovcr, MA 01810, June 1996.
12. ITU-T. ITU-T Annex B to Recommendation Z.120 Formal Semantics of Message Sequence Charts. ITU-T, Geneva, 1996.
13. ITU-T. ITU-T Recommendation Z.120: Message Sequence Chart (MSC). ITU-T, Geneva, October 1996.
14. Ingolf Krügcr. Towards the Methodical Usage of Message Sequence Charts. In Katharina Spies and Bcrnhard Schätz, editors, Formale Beschreibung-stechníken fur verteílte Systeme (FBT99), 9. GI/ITG Fachgcspräch, pages 123 134. Herbert Utz Vcrlag, June 1999.