Title :
Synthesizing software architecture descriptions from Message Sequence Chart specifications
Author :
Leue, Stefan ; Mehrmann, Lars ; Rezai, Mohammad
Author_Institution :
Dept. of Electr. & Comput. Eng., Waterloo Univ., Ont., Canada
Abstract :
Message Sequence Chart (MSC) specifications have found their way into many software engineering methodologies and CASE tools, in particular to represent early life-cycle requirements and high-level design specifications. We analyze iterating and branching MSC specifications with respect to their software architectural content. 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
Keywords :
computer aided software engineering; diagrams; formal specification; object-oriented programming; real-time systems; software architecture; specification languages; CASE tools; MESA toolset; MSC specifications; Message Sequence Chart specifications; ROOM models; Real-Time Object-Oriented Modeling; high-level design specifications; life-cycle requirements; software architecture descriptions; software engineering methodologies; Computer aided software engineering; Error correction; Heating; Object oriented modeling; Protocols; Real time systems; Software algorithms; Software architecture; Software engineering; Temperature control;
Conference_Titel :
Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on
Conference_Location :
Honolulu, HI
Print_ISBN :
0-8186-8750-9
DOI :
10.1109/ASE.1998.732635
