Synthesizing ROOM Models from Message Sequence Chart Specifications

Message Sequence Chart (MSC) speci cations 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 Speci cations often represent early life-cycle requirements and high-level design speci cations. We are considering iterating and branching MSC speci cations according to ITU-T Recommendation Z.120. We show how these speci cations 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 speci cations and discuss their implementation in theMesa 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 e cient and reliable. This means that we are contributing to making Z.120 MSC speci cations more useful in the software engineering process.

[1]  Kai Koskimies,et al.  Automated Support for Modeling OO Software , 1998, IEEE Softw..

[2]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[3]  Bran Selic,et al.  Using UML for Modeling Complex Real-Time Systems , 1998, LCTES.

[4]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[5]  R. J. A. Buhr,et al.  Use Case Maps for Object-Oriented Systems , 1995 .

[6]  K. Koskimies,et al.  On the Role of Scenarios in Object-oriented Software Design on the Role of Scenarios in Object-oriented Software Design on the Role of Scenarios in Object-oriented Software Design , 1996 .

[7]  Paul Pettersson,et al.  Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II , 1998, TACAS.

[8]  Gerard J. Holzmann,et al.  Early Fault Detection Tools , 1996, Softw. Concepts Tools.

[9]  Jean G. Vaucher,et al.  From scenarios to timed automata: building specifications from users requirements , 1995, Proceedings 1995 Asia Pacific Software Engineering Conference.

[10]  Peter B. Ladkin,et al.  Four issues concerning the semantics of Message Flow Graphs , 1994, FORTE.

[11]  Anders Olsen,et al.  Systems Engineering Using SDL-92 , 1994 .

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

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

[14]  Masaki Itoh,et al.  SDE: Incremental Specification and Development of Communications Software , 1991, IEEE Trans. Computers.

[15]  Hanêne Ben-Abdallah,et al.  Timing Constraints in Message Sequence Chart Specifications , 1997, FORTE.

[16]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[17]  Rajeev Alur,et al.  An Analyser for Mesage Sequence Charts , 1996, TACAS.