An Algorithm for Checking the Time Consistency of Message Sequence Charts

An Algorithm for Checking the Time Consistency of Message Sequence Charts

The problem of time consistency check of message sequence charts (MSCs) with time specification of events is considered. The analyzed subset of the MSC language includes means of messaging and synchronizing conditions. The necessary and sufficient criterion of the property of time consistency of MSC...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Cybernetics and systems analysis 2002-11, Vol.38 (6), p.808
Hauptverfasser: Godlevskii, A B, Lopatina, M V, Svirgunenko, S N
Format: Artikel
Sprache:eng
Schlagworte:
Algorithms
Cybernetics
Language
Linear programming
Programming languages
Semantics
Studies
Time series
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The problem of time consistency check of message sequence charts (MSCs) with time specification of events is considered. The analyzed subset of the MSC language includes means of messaging and synchronizing conditions. The necessary and sufficient criterion of the property of time consistency of MSCs and an algorithm for checking this property are given. A prototype of this algorithm is realized in the C++ language. [PUBLICATION ABSTRACT]
ISSN:1060-0396
1573-8337