Syntax requirements of message sequence charts

S. Mauw, M.A. Reniers

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

72 Downloads (Pure)


A set of syntax requirements of MSC is discussed and formalized. The treatment is restricted to Basic MSCs without conditions. Syntax requirements of communication events in Basic MSCs are discussed and formalized. The formalization is syntax directed and based on functions and predicates.
Original languageEnglish
Title of host publicationSDL'95 with MSC in CASE
EditorsR. Braek, A. Sarma
Publication statusPublished - 1995
Eventconference; SDL'95 -
Duration: 1 Jan 1995 → …


Conferenceconference; SDL'95
Period1/01/95 → …

Cite this

Mauw, S., & Reniers, M. A. (1995). Syntax requirements of message sequence charts. In R. Braek, & A. Sarma (Eds.), SDL'95 with MSC in CASE (pp. 63-74). Elsevier.