Sequence Chart Studio: user-friendly drawing and verification tool for MSC
2012
The Sequence Chart Studio (scstudio) is a user-friendly
verification and drawing tool for Message Sequence Charts
(basic MSC, HMSC). It provides several verification algorithms
and offers an open interface for additional modules. The
graphical front-end is implemented as a Microsoft Visio add-on.
The Sequence Chart Studio enables users of Microsoft Visio to:
- Execute verification algorithms: detect deadlock/livelock,
detect cycles, race conditions, time race condition and find
flow - Determine probability distribution of time constraints
using Monte Carlo simulation - Export and import the ITU-T
Z.120 textual format (.mpr) - Develop proprietary stencils and
verification/export modules - Draw basic MSC: line instances,
messages, coregions, general ordering, time constraints and
measurements - Draw HMSC: references, conditions, connections.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI