Semantics of Timed Message Sequence Charts

Authors:
A. A. Letichevskii;Yu. V. Kapitonova;V. P. Kotlyarov;A. A. Letichevskii, Jr.;V. A. Volkov
Affiliations:
Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine;Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine;St.-Petersburg State Polytechnical University, St. Petersburg, Russia;Information Program Systems Co., Ltd, Kiev, Ukraine;Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine
Venue:
Cybernetics and Systems Analysis
Year:
2002

Citing 3
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
Timing Constraints in Message Sequence Chart Specifications

FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)

Leveraging UML to deliver correct telecom applications

UML for real
Timed Property Sequence Chart

Journal of Systems and Software
Properties of a predicate transformer of the VRS system

Cybernetics and Systems Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper describes an extended version of the well-known language of Message Sequence Charts (MSCs) with time specification of events. This extension is developed to verify requirements in interactive systems. To define the formal semantics of the language, a new approach based on the theory of interaction of agents and environments is used. Based on this semantics, an algorithm for checking the time consistency of MSCs is developed.