Message Sequence Chart plugin

The MSC plugin is an extension to the Labelled Transition System Analyser (LTSA) which allows models to be described by graphically editing sets of scenarios in the form of message sequence charts. The LTSA can be used to detect the presence of implied scenarios in the system as part of an iterative design process.

For an example of using the MSC extension, see the quick tutorial.

Download

Latest stable version - last updated June 16, 2005

Simply place the above jar file into the plugins directory of the LTSA tool.

Note: The XML format for MSCs has changed. If you have old files convert them running

java -cp lib/jdom.jar;plugins/mscplugin.jar mscedit.Convertor oldFile.xml

The MSC plugin is developed by :

Sebastian Uchitel
Robert Chatley

Jeff Magee
Jeff Kramer

For more information about work with this plugin, see the following publications:

S. Uchitel, R. Chatley, J. Kramer, and J. Magee. LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios, Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Warsaw, April 2003.
S. Uchitel, J. Kramer and J. Magee. Synthesis of Behavorial Models from Scenarios. IEEE Transactions on Software Engineering. Volume 29, Number 2, February 2003.
S. Uchitel. Elaboration of Behaviour Models and Scenario-based Specifications using Implied Scenarios. PhD Thesis, Imperial College London, January 2003.