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

Warning

This publication doesn't include Faculty of Arts. 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:	Czech Republic membership in the European Research Consortium for Informatics and Mathematics Centrum excelence - Institut teoretické informatiky Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity