Ř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Á. Sequence Chart Studio: user-friendly drawing and verification tool for MSC. 2012.
Další formáty:   BibTeX LaTeX RIS
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 (203 Česká republika, garant, domácí), Matúš MADZIN (703 Slovensko, domácí), Ľuboš KORENČIAK (703 Slovensko, domácí), Petr GOTTHARD (203 Česká republika, domácí), Ondřej KOCIAN (203 Česká republika, domácí), Martin BEZDĚKA (203 Česká republika, domácí), Ondřej BOUDA (203 Česká republika, domácí), Václav VACEK (203 Česká republika, domácí), Milan MALOTA (703 Slovensko, domácí) a Zuzana PEKARČÍKOVÁ (703 Slovensko, domácí).
Vydání 2012.
Další údaje
Originální 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í
WWW URL
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 formela-other
Příznaky Mezinárodní význam
Změnil Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 19. 4. 2013 12:56.
Anotace
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.
Anotace č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 VaVNázev: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Akronym: CE-ITI)
Investor: Grantová agentura ČR, Projekty na podporu excelence v základním výzkumu
LA09016, projekt VaVNá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, INGO (jen po projekty s počátkem řešení v roce 2010)
MUNI/A/0758/2011, interní kód MUNázev: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (Akronym: SKOMU)
Investor: Masarykova univerzita, Grantová agentura MU, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty
VytisknoutZobrazeno: 23. 10. 2020 03:16