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 a Zuzana PEKARČÍKOVÁ. Sequence Chart Studio: user-friendly drawing and verification tool for MSC. 2012.

Základní údaje

• Originální název: Sequence Chart Studio: user-friendly drawing and verification tool for MSC
• Název česky: Sequence Chart Studio: uživatelsky přívětivý nástroj pro kreslení a verifikaci MSC
• Autoři: ŘEHÁK, Vojtěch (203 Česká republika, garant, domácí), Matúš MADZIN (703 Slovensko, domácí), Ľuboš KORENČIAK (703 Slovensko, domácí), Petr GOTTHARD (203 Česká republika, domácí), Ondřej KOCIAN (203 Česká republika, domácí), Martin BEZDĚKA (203 Česká republika, domácí), Ondřej BOUDA (203 Česká republika, domácí), Václav VACEK (203 Česká republika, domácí), Milan MALOTA (703 Slovensko, domácí) a Zuzana PEKARČÍKOVÁ (703 Slovensko, domácí).
• Vydání: 2012.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Software
• Obor: 10201 Computer sciences, information science, bioinformatics
• Stát vydavatele: Česká republika
• Utajení: není předmětem státního či obchodního tajemství
• WWW: URL
• Kód RIV: RIV/00216224:14330/12:00057901
• Organizační jednotka: Fakulta informatiky
• Klíčová slova česky: Message Sequence Charts; ITU-T Z.120; Microsoft Visio; časová kontrola souběhu; nalezení běhu; snadné kreslení
• Klíčová slova anglicky: Message Sequence Charts; ITU-T Z.120; Microsoft Visio; time race checking; find flow; easy drawing
• Technické parametry: 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].
• Štítky: formela-other
• Příznaky: Mezinárodní význam

Anotace

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.

Anotace česky

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).

Návaznosti

• GBP202/12/G061, projekt VaV: Název: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Akronym: CE-ITI)

Investor: Grantová agentura ČR, Centrum excelence - Institut teoretické informatiky

• LA09016, projekt VaV: Název: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (Akronym: ERCIM)

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Účast ČR v European Research Consortium for Informatics and Mathematics

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

Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty