Specification of Tools for Message Sequence Charts
S. Mauw & E. van der Meulen (TUE, UvA)
(Available as P9504-11.ps.gz)
Abstract
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.