Note: Some of the graphical elements of this site are only visible to browsers that support accepted web standards. The content of this site is, however, accessible to any browser or Internet device.
UML Plug-in for LTSA EclipseThe LTSA-UML plugin is an extension to the Labelled Transition System Analyser (LTSA) which allows models to be described in UML2 XMI. UML2 modelling artifacts are translated to LTSA formats. Note: This is an experimental plug-in and currently only supports the translation of UML2 Interaction diagrams to 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.
The LTSA-MSC Help Guide provides detailed information on the use of this plug-in. DownloadThis plug-in is for LTSA Eclipse. All downloads are managed through an Eclipse Features Update Site. Sample Files
Other LinksLinks to plug-in related resources.
|