Detailed Information on Publication Record
2012
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 et. al.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
Language
English
Type of outcome
Software
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Czech Republic
Confidentiality degree
není předmětem státního či obchodního tajemství
References:
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 +420 549 494 687, email 3721@mail.muni.cz.
Tags
Tags
International impact
Změněno: 19/4/2013 12:56, doc. RNDr. Vojtěch Řehák, Ph.D.
V originále
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.
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 |
| ||
| LA09016, research and development project |
| ||
| MUNI/A/0758/2011, interní kód MU |
|