Sequence Chart Studio

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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	https://doi.org/10.1109/ACSD.2012.25
Obor	Informatika
Klíčová slova	message sequence charts; checkers; transformers; sequence chart drawing
Přiložené soubory	scstudio.pdf
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:	Rozsáhlé výpočetní systémy: modely, aplikace a verifikace Formální verifikace stochastických systémů s reálným časem Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity