TY - GEN
T1 - The essence of message sequence charts
AU - Broy, M.
N1 - Publisher Copyright:
© 2000 IEEE.
PY - 2000
Y1 - 2000
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/36849048600
U2 - 10.1109/MMSE.2000.897190
DO - 10.1109/MMSE.2000.897190
M3 - Conference contribution
AN - SCOPUS:36849048600
T3 - Proceedings - International Symposium on Multimedia Software Engineering
SP - 42
EP - 47
BT - Proceedings - International Symposium on Multimedia Software Engineering
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - International Symposium on Multimedia Software Engineering, MSE 2000
Y2 - 11 December 2000 through 13 December 2000
ER -