Sequence Chart Studio
| Authors | |
|---|---|
| Year of publication | 2012 |
| Type | Article in Proceedings |
| Conference | 2012 12th International Conference on Application of Concurrency to System Design |
| MU Faculty or unit | |
| 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: |