Sequence Chart Studio

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

BEZDĚKA Martin BOUDA Ondřej KORENČIAK Ľuboš MADZIN Matúš ŘEHÁK Vojtěch

Rok publikování 2012
Druh Článek ve sborníku
Konference 2012 12th International Conference on Application of Concurrency to System Design
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi http://dx.doi.org/10.1109/ACSD.2012.25
Obor Informatika
Klíčová slova message sequence charts; checkers; transformers; sequence chart drawing
Přiložené soubory
Popis Sequence Chart Studio (SCStudio) je uživatelsky příjemný SW nástroj pro tvorbu a kontrolu záznamů ve formátu Message Sequence Chart (MSC). SCStudio podporuje několik kontrol, které jsou schopny ověřit realizovatelnost, časovou konzistenci, ekvivalenci mezi dvěma MSC a další. Některé jsou známe, ale SCStudio poskytuje i nové nebo zásadně rozšířené kontroly. Grafické rozhraní je implementováno jako plug-in do MS Visio produktu. SCStudio je otevřený SW produkt, který je možné dále rozšiřovat přídavnými moduly.
Související projekty:

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