DocumentCode
1740395
Title
The essence of message sequence charts
Author
Broy, Manfred
Author_Institution
Inst. fur Inf., Tech. Univ. Munchen, Germany
fYear
2000
fDate
2000
Firstpage
42
Lastpage
47
Abstract
Message sequence charts (MSCs) are a technique to describe patterns of interaction between the components of interactive distributed systems by specific diagrams. In this paper, we suggest a semantic model for MSCs in terms of stream processing functions. This formalization allows us to use MSCs as an intuitively clear specification technique for the components of a system with a precisely defined meaning
Keywords
diagrams; distributed processing; formal specification; interactive systems; component interaction patterns; diagrams; extended event traces; interactive distributed systems; message sequence charts; semantic model; specification technique; stream processing functions; Concrete; Cost accounting; Design engineering; Flow graphs; Information processing; Jacobian matrices; Software systems; Systems engineering and theory; Tin; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Multimedia Software Engineering, 2000. Proceedings. International Symposium on
Conference_Location
Taipei
Print_ISBN
0-7695-0933-9
Type
conf
DOI
10.1109/MMSE.2000.897190
Filename
897190
Link To Document