Specification of tools for message sequence charts
Sjouke Mauw, EA van der Meulen · 1995
. The recent formalization of the semantics of Message Sequence Charts enables the derivation of tools for MSCs directly from this formal definition. We use the Asf+Sdf Meta-environment to make a straightforward implementation of tools for transformation, simulation and requirements testing. In this paper we present the complete specification of the tools. 1 Introduction Message Sequence Charts (MSCs) are a graphical method for the description of the interaction between system components [IT94]. Due to the recent formalization [MR94a, MR94b, IT95] of the semantics of Message Sequence Charts, we can consider MSC as a formal description technique. Currently, this formalization has already influenced the development of the language (in particular with respect to composition of MSCs, for which algebraic operators are considered) and it is expected to also influence the use of MSCs. Formalization will also have impact on the work of tool builders. The behavior of tools can be validated aga...