Formalizing and Executing Message Sequence Charts via Timed Rewriting

Electronic Notes in Theoretical Computer Science

Volumn 25, Issue , 1999, Pages 50-61

  Kosiuczenko, P ^a   Wirsing, M ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; DISTRIBUTED COMPUTER SYSTEMS; PROBLEM SOLVING; SEMANTICS;

MESSAGE SEQUENCE CHARTS (MSC); OBJECT ORIENTED SPECIFICATION LANGUAGE; REWRITING STRATEGIES; TIMED REWRITING;

OBJECT ORIENTED PROGRAMMING;

EID: 19144369187     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00131-8     Document Type: Conference Paper

References (13)

1. P. Borovansky, C. Kirchner, H. Kirchner, P. -E. Moreau, C. Ringeissen. An Overview of ELAN. C. Kirchner, H. Kirchner (eds.): Proceedings of WRLA'98 Electronic Notes in TCS, vol. 15, Elsevier 1998.
2. P. M. Clavel, S. Ecker, P. Lincoln, J. Meseguer. Principles of Mude. In J. Meseguer (ed): Rewriting Logic and its Application, Proc. of the First Int. Workshop, Electronic Notes in TCS, Vol. 4. 65-90, 1996
3. Gabrielian A. State Machnies, temporal logic and algebraic data models. Rus T., Rattray C. Theories and Experiences for Real-Time System Development, AMAST Series. Vol. 2:1994;239-263 World Scientific
4. ITU. ITU-TS, Recommendation Z.120. Message Sequence Charts (MSC). ITU-TS, 1996 Geneva.
5. Kosiuczenko P. Time in Message Sequence Charts: a Formal Approach. Proc. Of EuroPar 97. LNCS. 1300:1997;562-566
6. P. Kosiuczenko. Toward a Formal Semantics of MSC-96: Inline Expresions. Technical Report Nr. 9705. Ins. für Informatik, Ludwig-Maximilians- Universität, München, 1997, 18 pages.
7. Kosiuczenko P., Wirsing M. Timed Rewriting Logic with an Application to Object-Based Specification. Science of Computer Programming. 28:(2-3):1997;225-246
8. P. Kosiuczenko, M. Wirsing. Towards an Integration of Message Sequence Charts and Timed Maude. Proc. Of IDPT Conference, Berlin, July 6-9, 1998.
9. Meseguer J. Conditional Rewriting Logic as a Unified Model of Concurrency. Theoretical Computer Science. 96:1992;158-200
10. Olveczky P., Meseguer J. Specifying Real-Time Systems in Rewriting Logic. Mesequer J. Rewriting Logic and its Applications. Electronic Notes in TCS, 4. September 1996;First International Workshop, Pacific Grove, C. A
11. J. Steggles, P. Kosiuczenko. A Formal Model for SDL Specification Based on Timed Rewriting Logic. To appear in Automated Software Eengineering, Kluver, 2000.
12. Wirsing M. Algebraic specification. van Leeuwen J. Handbook of Theoretical Computer Science. 1990;675-788 Amsterdam, North-Holland
13. M. Wirsing, A. Knapp. A Formal Approach to Object-Oriented Software Engineering. In J. Meseguer (ed.): Rewriting Logic and its Application, Proc. Of the First Int. Workshop, Electronic Notes in TCS, Vol. 4, 1996, pp 321-359