Abstract
We discuss the state of affairs with respect to the formalization of Message Sequence Charts (MSC) and identify which parts of the definition of MSC are still candidate for formalization. Further, we give a tutorial on the formal semantics of MSC. The semantics of all features from the MSC language is treated by presenting small examples and the corresponding process algebra expressions.
| Original language | English |
|---|---|
| Pages (from-to) | 1643-1657 |
| Number of pages | 15 |
| Journal | Computer Networks and ISDN Systems |
| Volume | 28 |
| Issue number | 12 |
| DOIs | |
| Publication status | Published - 1996 |