A hierarchy of communication models for Message Sequence Charts

In a Message Sequence Chart (MSC) the dynamical behaviour of a number of cooperating entities is depicted. An MSC defines a partial order on the communication events between these entities. This order determines the physical architecture needed for implementing the specified behaviour, such as a FIF...

Full description

Saved in:
Bibliographic Details
Published in:Science of computer programming 2002-09, Vol.44 (3), p.253-292
Main Authors: Engels, A.G., Mauw, S., Reniers, M.A.
Format: Article
Language:English
Subjects:
Buffering
Communication models
Hierarchy
Implementation
Message Sequence Charts
Semantics
Validation
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In a Message Sequence Chart (MSC) the dynamical behaviour of a number of cooperating entities is depicted. An MSC defines a partial order on the communication events between these entities. This order determines the physical architecture needed for implementing the specified behaviour, such as a FIFO buffer between each of the entities. In a systematic way, we define 50 communication models for MSC and we define what it means for an MSC to be implementable by such a model. Some of these models turn out to be equivalent, in the sense that they implement the same class of MSCs. After analysing the notion of implementability, only ten classes remain, for which we develop a hierarchy. We also develop algorithms to check whether a given MSC belongs to such a class.
ISSN:0167-6423
1872-7964
DOI:10.1016/S0167-6423(02)00022-9