Informace o publikaci

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 MADZIN Matúš KORENČIAK Ľuboš GOTTHARD Petr KOCIAN Ondřej BEZDĚKA Martin BOUDA Ondřej VACEK Václav MALOTA Milan PEKARČÍKOVÁ Zuzana

Druh Software
Fakulta / Pracoviště MU

Právnická fakulta Fakulta informatiky

Popis 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).
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info