Time consistency of MSC-2000 specifications

Authors:
Tong Zheng;Ferhat Khendek
Affiliations:
Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal (P.Q.), Canada H3G 1M8;Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal (P.Q.), Canada H3G 1M8
Venue:
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Year:
2003

Citing 5
Cited 5

Introduction to algorithms

Introduction to algorithms
Temporal constraint networks

Artificial Intelligence - Special issue on knowledge representation
On the specification of concurrent systems

On the specification of concurrent systems
An Analyser for Mesage Sequence Charts

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Timing Analysis of UML Sequence Diagrams

Timing Analysis of UML Sequence Diagrams

Domain Consistency in Requirements Specification

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Common semantics for use cases and task models

IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Consistency of UML/SPT models

SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
From MSC to SDL: overview and an application to the autonomous shuttle transport system

SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Timed high-level message sequence charts for real-time system design

SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles

Quantified Score

Hi-index	0.00

Visualization

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.