Sciweavers

Share
TACAS
1998
Springer

MESA: Support for Scenario-Based Design of Concurrent Systems

11 years 9 months ago
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.
Hanêne Ben-Abdallah, Stefan Leue
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where TACAS
Authors Hanêne Ben-Abdallah, Stefan Leue
Comments (0)
books