Paper Info
Title
Time consistency of MSC-2000 specifications
Abstract
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.
Year
DOI
Venue
2003
10.1016/S1389-1286(03)00245-7
Computer Networks
Keywords
DocType
Volume
MSC,Time constraints,Semantics,Consistency
Journal
42
Issue
ISSN
Citations 
3
Computer Networks
8
PageRank 
References 
Authors
0.64
3
2
Name
Order
Citations
PageRank
Tong Zheng1253.07
Ferhat Khendek246764.17