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

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; 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Á

Vydání

2012

Další údaje

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í

Odkazy

Označené pro přenos do RIV

Ano

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 +420 549 494 687, email 3721@mail.muni.cz.

Štítky

Příznaky

Mezinárodní význam
Změněno: 19. 4. 2013 12:56, doc. RNDr. Vojtěch Řehák, Ph.D.

Anotace

ORIG CZ

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.

Č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