Semantics of message sequence charts

Authors:
A. A. Letichevsky;J. V. Kapitonova;V. P. Kotlyarov;V. A. Volkov;A. A. Letichevsky;T. Weigert
Affiliations:
Glushkov Institute of Cybernetics, National Academy of Science of Ukraine, Kiev, Ukraine;Glushkov Institute of Cybernetics, National Academy of Science of Ukraine, Kiev, Ukraine;Global Software Group, Motorola ZAO, St. Petersburg, Russia;Glushkov Institute of Cybernetics, National Academy of Science of Ukraine, Kiev, Ukraine;Glushkov Institute of Cybernetics, National Academy of Science of Ukraine, Kiev, Ukraine;Global Software Group, Motorola, Inc., Schaumburg, Illinois
Venue:
SDL'05 Proceedings of the 12th international conference on Model Driven
Year:
2005

Citing 4
Cited 3

Handbook of Process Algebra

Handbook of Process Algebra
A Model for Interaction of Agents and Environments

WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Leveraging UML to deliver correct telecom applications

UML for real
Basic protocols, message sequence charts, and the verification of requirements specifications

Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages

Properties of a predicate transformer of the VRS system

Cybernetics and Systems Analysis
Semantics of UML models for dynamic behavior: a survey of different approaches

MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
A fully general operational semantics for UML 2.0 sequence diagrams with potential and mandatory choice

FM'06 Proceedings of the 14th international conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

The language of MSC diagrams is widely used for the specification of communicating systems, the design of software and hardware for real time and reactive systems, and other industrial applications. Often it is used as an abstraction of systems specified in SDL or UML (in the form of sequence diagrams). In this paper, a novel representation of the semantics of message sequence charts is described. This formulation has been developed to enable the implementation of tools aimed at the verification of requirements for interactive systems. Our definition of the formal semantics of the language of MSC diagrams relies on the theory of interaction of agents and environments. This approach helped to simplify the definition of the semantics in comparison to other approaches based on highly sophisticated process algebras and it brought the definition of the semantics closer to possible implementations.