BEZDĚKA, Martin, Ondřej BOUDA, Ľuboš KORENČIAK, Matúš MADZIN a Vojtěch ŘEHÁK. Sequence Chart Studio. In Jens Brandt and Keijo Heljanko. 2012 12th International Conference on Application of Concurrency to System Design. Los Allamitos, Califonia, USA: IEEE Computer Society, 2012. s. 148-153, 6 s. ISBN 978-1-4673-1687-3. doi:10.1109/ACSD.2012.25.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Sequence Chart Studio
Název česky Sequence Chart Studio
Autoři BEZDĚKA, Martin (203 Česká republika, domácí), Ondřej BOUDA (203 Česká republika, domácí), Ľuboš KORENČIAK (703 Slovensko, domácí), Matúš MADZIN (703 Slovensko, domácí) a Vojtěch ŘEHÁK (203 Česká republika, garant, domácí).
Vydání Los Allamitos, Califonia, USA, 2012 12th International Conference on Application of Concurrency to System Design, od s. 148-153, 6 s. 2012.
Nakladatel IEEE Computer Society
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Spojené státy
Utajení není předmětem státního či obchodního tajemství
Forma vydání tištěná verze "print"
Kód RIV RIV/00216224:14330/12:00057472
Organizační jednotka Fakulta informatiky
ISBN 978-1-4673-1687-3
ISSN 1550-4808
Doi http://dx.doi.org/10.1109/ACSD.2012.25
Klíčová slova česky sekvenční diagramy; ověřování; transformace; kreslení sekvenčních diagramů
Klíčová slova anglicky message sequence charts; checkers; transformers; sequence chart drawing
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 23. 4. 2013 14:01.
Anotace
The Sequence Chart Studio (SCStudio) is a user-friendly drawing and verification tool for Message Sequence Charts (MSC). SCStudio supports several checkers that are able to verify properties such as realizability, time consistency, equivalence checking between two MSC diagrams, etc. Some of them are well known, while others are new or non-trivial extensions of existing ones. The graphical front-end is implemented as a Microsoft Visio add-on, whereas the checkers are platform independent. SCStudio is an open source project that provides an open interface for additional modules.
Anotace česky
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.
Návaznosti
GPP202/12/P612, projekt VaVNázev: Formální verifikace stochastických systémů s reálným časem (Akronym: Formální verifikace stochastických systémů s reáln)
Investor: Grantová agentura ČR, Postdoktorské projekty
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
MUNI/A/0914/2009, interní kód MUNázev: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV)
Investor: Masarykova univerzita, Grantová agentura MU, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty
Typ Název Vložil/a Vloženo Práva
scstudio.pdf   Verze souboru Madzin, M. 4. 7. 2012

Práva

Právo číst
 
Právo vkládat
 
Právo spravovat
  • osoba Mgr. Matúš Madzin, učo 207505
  • osoba Mgr. Ľuboš Korenčiak, učo 208317
  • osoba Mgr. Ondřej Bouda, učo 256449
  • osoba Mgr. Martin Bezděka, učo 256565
  • osoba doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721
Atributy
 
Vytisknout
Požádat autora o autorský výtisk Zobrazeno: 23. 10. 2020 03:09