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
• 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

• Účast ČR v European Research Consortium for Informatics and Mathematics
• Centrum excelence - Institut teoretické informatiky
• Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity