The formalization of Message Sequence Charts

S. Mauw

Research output: Contribution to journalArticleAcademicpeer-review

25 Citations (Scopus)

Abstract

We discuss the state of affairs with respect to the formalization of Message Sequence Charts (MSC) and identify which parts of the definition of MSC are still candidate for formalization. Further, we give a tutorial on the formal semantics of MSC. The semantics of all features from the MSC language is treated by presenting small examples and the corresponding process algebra expressions.
Original languageEnglish
Pages (from-to)1643-1657
Number of pages15
JournalComputer Networks and ISDN Systems
Volume28
Issue number12
DOIs
Publication statusPublished - 1996

Fingerprint Dive into the research topics of 'The formalization of Message Sequence Charts'. Together they form a unique fingerprint.

  • Cite this