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

Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
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

Rok publikování 2012
Druh Software
Fakulta / Pracoviště MU

Fakulta informatiky

www http://scstudio.sourceforge.net
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