论文信息 - Generating tools for Message Sequence Charts

Generating tools for Message Sequence Charts

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.

Sjouke Mauw | E. A. van der Meulen | S. Mauw | E. Meulen

[1] Reniers,et al. Syntax requirements of message sequence charts , 1995 .

[2] Ekkart Rudolph,et al. Message Sequence Chart (MSC) - A Survey of the new CCITT Language for the Description to Traces within Communications Systems , 1992, FBT.

[3] J.W.C. Koorn,et al. Generating Uniform User-Interfaces for Interactive Programming Environments , 1994 .

[4] Gordon Plotkin,et al. An Operational Semantics for CSP. , 1982 .

[5] Paul Klint. A Meta-Environment for Generating Programming Environments , 1989, Algebraic Methods.

[6] Sjouke Mauw,et al. An algebraic semantics of message sequence charts , 1994 .

[7] Jan A. Bergstra,et al. Process Algebra for Synchronous Communication , 1984, Inf. Control..

[8] Jan Willem Klop,et al. Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond , 1990, ICALP.

[9] Michel A. Reniers,et al. An Algebraic Semantics of Basic Message Sequence Charts , 1994, Comput. J..

[10] J. W. C. Koorn,et al. Connecting Semantic Tools to a Syntax-Directed User-Interface , 1992 .