Introduction

This is the LTSA-MSC Plug-in for LTSA Eclipse.

The LTSA-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 (MSC).

The LTSA can be used to detect the presence of implied scenarios in the system as part of an iterative design process.