论文信息 - MSCan - A Tool for Analyzing MSC Specifications

MSCan - A Tool for Analyzing MSC Specifications

We present the tool MSCan, which supports MSC-based system development. In particular, it automatically checks high-level MSC specifications for implementability.

Benedikt Bollig | Volker Stolz | Carsten Kern | Markus Schlütter

[1] Blaise Genest,et al. Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs , 2005, TACAS.

[2] Hanêne Ben-Abdallah,et al. MESA: Support for Scenario-Based Design of Concurrent Systems , 1998, TACAS.

[3] Madhavan Mukund,et al. On Message Sequence Graphs and Finitely Generated Regular MSC Languages , 2000, ICALP.

[4] Anca Muscholl,et al. Compositional message sequence charts , 2001, International Journal on Software Tools for Technology Transfer.

[5] Anca Muscholl,et al. Infinite-state high-level MSCs: Model-checking and realizability , 2002, J. Comput. Syst. Sci..

[6] Hanêne Ben-Abdallah,et al. Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts , 1997, TACAS.

[7] Rajeev Alur,et al. Model Checking of Message Sequence Charts , 1999, CONCUR.