Sequence Chart Studio

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

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

Year of publication 2012
Type Article in Proceedings
Conference 2012 12th International Conference on Application of Concurrency to System Design
MU Faculty or unit

Faculty of Informatics

Citation
Doi http://dx.doi.org/10.1109/ACSD.2012.25
Field Informatics
Keywords message sequence charts; checkers; transformers; sequence chart drawing
Attached files
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.