Time consistency of MSC-2000 specifications

Message Sequence Charts (MSC) is a formal language for the specification of behavioral scenarios and use cases. In the latest standard, time constructs have been added to the language to handle real-time constraints specification. In this paper, we investigate the time consistency of MSC-2000 specif...

Full description

Saved in:
Bibliographic Details
Published inComputer networks (Amsterdam, Netherlands : 1999) Vol. 42; no. 3; pp. 303 - 322
Main Authors Zheng, Tong, Khendek, Ferhat
Format Journal Article
LanguageEnglish
Published Amsterdam Elsevier B.V 21.06.2003
Elsevier Sequoia S.A
Subjects
Computer programming
Consistency
Consistency requirements
Language
Message Sequence Charts
MSC
Networks
Semantics
Specifications
Studies
Time
Time constraints
MSC
Semantics
Consistency
Time constraints
Online AccessGet full text

Cover

More Information
Summary:Message Sequence Charts (MSC) is a formal language for the specification of behavioral scenarios and use cases. In the latest standard, time constructs have been added to the language to handle real-time constraints specification. In this paper, we investigate the time consistency of MSC-2000 specifications. Both basic MSCs and high-level MSCs (HMSCs) are taken into account. However, the focus is on HMSCs. We define the notion of consistency for basic MSCs and the notions of strong and weak consistency for HMSCs. We also develop and analyze algorithms for checking the time consistency of MSCs.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ObjectType-Article-1
ObjectType-Feature-2
ISSN:1389-1286
1872-7069
DOI:10.1016/S1389-1286(03)00245-7