Title :
The essence of message sequence charts
Author_Institution :
Inst. fur Inf., Tech. Univ. Munchen, Germany
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;
Conference_Titel :
Multimedia Software Engineering, 2000. Proceedings. International Symposium on
Conference_Location :
Taipei
Print_ISBN :
0-7695-0933-9
DOI :
10.1109/MMSE.2000.897190
