Algebraic Semantics of Message Sequence Charts
Sjouke Mauw, Michel A. Reniers · TU/e Research Portal · 1994
Message Seqnence Charts is a graphical a.nd t.extual langua.gefor t.he description a.nd specification of t.he intera.diollsbetween syst.emcomponents and their environment.The language i80 st.andaIlllzed by the lTU-TS (t.he Telecomllmnicat.ionStandardization section of the IlIt.ernationa.lTelecoIllHiunica.t.ion Union, t,he former CeIT1').The main area. of applica.tion for Message Sequence Chart.s is as an overview specification of the cOlll1llunicat.ionbehavior of rea.l-time ::;ystCllls, in pal'l.iculart.elecommunication switching syst.ems.Message Seqllellce Charts lila), be used for requirement specification, interface specificat,ion, SilllUlaf,ioll and valid at.ion , t.est.-casespecificatioll and dOCmneJlt.ation of real-time systems.In this paper we present.a formal seJlla,lltics of Message Sequence Chart.se:xploiting techniques from process algebra.This selllant.ics is proposed for standardizat.iollwit.hin the ITU-TS.We start.with the sema.ntics of the core langua.ge of Message Sequence Chart.s,Basic Message Sequence Chart.s, and subseqllelli.Jy a,dd ot.her features such as process creat.iolland termination, refinement.and t.imer halHiling.1. the input, of message HI preceedti t.he out.put, of message 11.,