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

fYear

1998

fDate

13-16 Oct 1998

Firstpage

192

Lastpage

195

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on

Conference_Location

Honolulu, HI

Print_ISBN

0-8186-8750-9

Type

conf

DOI

10.1109/ASE.1998.732635

Filename

732635