MESA: Support for Scenario-Based Design of Concurrent Systems

The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, current tools operate on MSCs that describe nite, deterministic behavior. In this paper, we describe the architecture and the partial implementation of Mesa, an MSC-based tool that supports early phases of the software development cycle. The main functionalities of MESA are: an environment for the composition of system models through MSCs, syntactic and model-based analysis of an MSC model, and resolution of resource related underspeci cations in an MSC model.

• Type: Conference
• Year: 1998
• Where: TACAS
• Authors: Hanêne Ben-Abdallah, Stefan Leue
• Keywords: Algorithms, ITU-T Standard Syntax, MSC Model, MSCs, TACAS 1998