Synthesizing ROOM Models from Message Sequence Chart Specifications (1998)
| Citations: | 32 - 0 self |
BibTeX
@MISC{Leue98synthesizingroom,
author = {Stefan Leue and Lars Mehrmann and Mohammad Rezai},
title = {Synthesizing ROOM Models from Message Sequence Chart Specifications},
year = {1998}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Message Sequence Chart (MSC) specifications have found their way into many software engineering methodologies and CASE tools, in particular in the area of telecommunications and concurrent real-time systems. MSC Specifications often represent early life-cycle requirements and high-level design specifications. We are considering iterating and branching MSC specifications according to ITU-T Recommendation Z.120. We show how these specifications can be analyzed with respect to their software architectural content, including structure and behavior. We present algorithms for the automated synthesis of Real-Time Object-Oriented Modeling (ROOM) models from MSC specifications and discuss their implementation in the Mesa toolset. The automation of the synthesis contributes to making the transition from high-level, message exchange-oriented views to the level of a full life-cycle architecture description more efficient and reliable. This means that we are contributing to making Z.120 M...
