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 | |
Rok publikování | 2012 |
Druh | Software |
Fakulta / Pracoviště MU | |
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: |