Summary: Introduction to Message Sequence Charts Implementability Tool Presentation Summary and Outlook
MSCAN
A Tool for Analyzing MSC Specifications
Benedikt Bollig1 Carsten Kern2 Markus Schl¨utter2
Volker Stolz2
1 2
Laboratoire Sp´ecification Lehrstuhl Informatik 2
et V´erification
TACAS 2006, March 30
Introduction to Message Sequence Charts Implementability Tool Presentation Summary and Outlook
Outline
1 Introduction to Message Sequence Charts
Message Sequence Charts (MSCs)
Message Sequence Graphs (MSGs)
2 Implementability
The Formal Model of CFMs
Examples
3 Tool Presentation
4 Summary and Outlook
Introduction to Message Sequence Charts Implementability Tool Presentation Summary and Outlook

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

Collections: Computer Technologies and Information Sciences