The essence of message sequence charts
Manfred Broy · 2002
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.