Sequence Chart Studio: user-friendly drawing and verification tool for MSC

Investor logo

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

ŘEHÁK Vojtěch MADZIN Matúš KORENČIAK Ľuboš GOTTHARD Petr KOCIAN Ondřej BEZDĚKA Martin BOUDA Ondřej VACEK Václav MALOTA Milan PEKARČÍKOVÁ Zuzana

Year of publication 2012
MU Faculty or unit

Faculty of Informatics

Web http://scstudio.sourceforge.net
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.