The formalization of Message Sequence Charts

S. Mauw

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

25 Citaten (Scopus)


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.
Originele taal-2Engels
Pagina's (van-tot)1643-1657
Aantal pagina's15
TijdschriftComputer Networks and ISDN Systems
Nummer van het tijdschrift12
StatusGepubliceerd - 1996

Vingerafdruk Duik in de onderzoeksthema's van 'The formalization of Message Sequence Charts'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit