Hierarchy of Communication Models for Message Sequence Charts

摘要

In a Message Sequence Chart (MSC) the dynamical behavior of a number of211u001ecooperating processes is depicted. An MSC defines a partial order on the 211u001ecommunication events between these processes. This order determines the physical 211u001earchitecture needed for implementing the specified behavior, such as a FIFO 211u001ebuffer between each of the processes. In a systematic way, the authors define 50 211u001ecommunication models for MSC and they define what it means for an MSC to be 211u001eimplementable by such a model. Some of thes models turn out to be equivalent, in 211u001ethe sense that they implement the same class of MSCs. After analyzing the notion 211u001eof implementability, only ten models remain, for which the authors develop a 211u001ehierarchy.