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

• 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