A hierarchy of communication models for message sequence charts

Authors:
A. G. Engels;S. Mauw;M. A. Reniers
Affiliations:
Department of Mathematics and Computer Science, Technische Universiteit Eindhoven (TU/e), P.O. Box 513, MB Eindhoven, The Netherlands;Department of Mathematics and Computer Science, Technische Universiteit Eindhoven (TU/e), P.O. Box 513, MB Eindhoven, The Netherlands;Department of Mathematics and Computer Science, Technische Universiteit Eindhoven (TU/e), P.O. Box 513, MB Eindhoven, The Netherlands
Venue:
Science of Computer Programming
Year:
2002

Citing 9
Cited 7

SDL with applications from protocol specification

SDL with applications from protocol specification
Tutorial on message sequence charts

Computer Networks and ISDN Systems - Special issue on SDL and MSC
From MSCs to statecharts

DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
LSCs: Breathing Life into Message Sequence Charts

Formal Methods in System Design
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts

TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
From Scenarios to Timed Automata: Building Specifications from Users Requirements

APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications

ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Generating FSMs from interworkings

Distributed Computing
Synchronous, asynchronous, and causally ordered communication

Distributed Computing

A semantic and methodological essence of message sequence charts

Science of Computer Programming
Multiple Synchrony in MSC

Electronic Notes in Theoretical Computer Science (ENTCS)
Non-local choice and beyond: intricacies of MSC choice nodes

FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Operational semantics of security protocols

SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
From MSC to SDL: overview and an application to the autonomous shuttle transport system

SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication

ACM Transactions on Management Information Systems (TMIS)
An interleaving semantics for UML 2 interactions using Petri nets

Information Sciences: an International Journal

Quantified Score

Hi-index	0.01

Visualization

Abstract

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.