MESA: Support for Scenario-Based Design of Concurrent Systems (1997)
Cached
Download Links
- [swen.uwaterloo.ca:80]
- [swen.uwaterloo.ca:80]
- DBLP
Other Repositories/Bibliography
| Citations: | 16 - 1 self |
BibTeX
@MISC{Ben-Abdallah97mesa:support,
author = {Hanêne Ben-Abdallah and Stefan Leue},
title = {MESA: Support for Scenario-Based Design of Concurrent Systems},
year = {1997}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) [18] offers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. The new operators are a step towards increasing the applicability of MSCs to more than a trace language. However, current tools operate on MSCs that describe finite, deterministic behavior and none of them uses MSCs as a language for requirements specification and design of a system. 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 underspecifications in an MSC model. In addition, an important design decision in MESA is to support synthesis mechanisms as a means to integrate our tool with available tools, e.g....
