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.


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 :

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