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

ŘEHÁK, Vojtěch, Matúš MADZIN, Ľuboš KORENČIAK, Petr GOTTHARD, Ondřej KOCIAN, Martin BEZDĚKA, Ondřej BOUDA, Václav VACEK, Milan MALOTA and Zuzana PEKARČÍKOVÁ. Sequence Chart Studio: user-friendly drawing and verification tool for MSC. 2012.

Basic information

• Original name: Sequence Chart Studio: user-friendly drawing and verification tool for MSC
• Name in Czech: Sequence Chart Studio: uživatelsky přívětivý nástroj pro kreslení a verifikaci MSC
• Authors: ŘEHÁK, Vojtěch (203 Czech Republic, guarantor, belonging to the institution), Matúš MADZIN (703 Slovakia, belonging to the institution), Ľuboš KORENČIAK (703 Slovakia, belonging to the institution), Petr GOTTHARD (203 Czech Republic, belonging to the institution), Ondřej KOCIAN (203 Czech Republic, belonging to the institution), Martin BEZDĚKA (203 Czech Republic, belonging to the institution), Ondřej BOUDA (203 Czech Republic, belonging to the institution), Václav VACEK (203 Czech Republic, belonging to the institution), Milan MALOTA (703 Slovakia, belonging to the institution) and Zuzana PEKARČÍKOVÁ (703 Slovakia, belonging to the institution).
• Edition: 2012.

Other information

• Original language: English
• Type of outcome: Software
• Field of Study: 10201 Computer sciences, information science, bioinformatics
• Country of publisher: Czech Republic
• Confidentiality degree: is not subject to a state or trade secret
• WWW: URL
• RIV identification code: RIV/00216224:14330/12:00057901
• Organization unit: Faculty of Informatics
• Keywords (in Czech): Message Sequence Charts; ITU-T Z.120; Microsoft Visio; časová kontrola souběhu; nalezení běhu; snadné kreslení
• Keywords in English: Message Sequence Charts; ITU-T Z.120; Microsoft Visio; time race checking; find flow; easy drawing
• Technical parameters: Grafický nástroj pro kreslení a verifikaci modelů ve formalizmech Message Sequence Charts a UML Sequence Diagrams implementovaný jako doplněk (add-on) do programu MS Visio obsahující velkou škálu verifikačních algoritmů a funkcí pro pohodlné kreslení. Nástroj je (včetně zdrojového kódu) volně šiřitelný pod licencí LGPL. Odpovědnou osobou pro jednání je Vojtěch Řehák, Fakulta informatiky, Masarykova univerzita, Botanická 68a, Brno, telefon [phone], email [e-mail].
• Tags: formela-other
• Tags: International impact

Abstract

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.

Abstract (in Czech)

Sequence Chart Studio (scstudio) je uživatelsky příjemný nástroj pro verifikaci a kreslení modelů ve formalizmech Message Sequence Charts (basic MSC, HMSC). Tento nástroj poskytuje několik verifikačních algoritmů a nabízí se také jako vhodné prostředí pro přidání dalších modulů. Grafické prostředí je implementováno jako rozšíření aplikace MS Visio. SCStudio momentálně nabízí následujícící rozšíření funkčnosti pro uživatele MS Visia: - Verifikační algoritmy: detekce deadlock-livelock, cyklů, souběhu, časová kontrola souběhu, nalezení běhu - Stencily pro kreslení - Kreslení basic MSC a HMSC - Export a import textového formátu ITU-T Z.120 (.mpr).

Links

• GBP202/12/G061, research and development project: Name: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Acronym: CE-ITI)

Investor: Czech Science Foundation

• LA09016, research and development project: Name: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (Acronym: ERCIM)

Investor: Ministry of Education, Youth and Sports of the CR, Czech Republic membership in the European Research Consortium for Informatics and Mathematics

• MUNI/A/0758/2011, interní kód MU: Name: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (Acronym: SKOMU)

Investor: Masaryk University, Category A