An extension for MSC-2000 and its application

Authors:
Tong Zheng;Ferhat Khendek
Affiliations:
Department of Electrical and Computer Engineering, Concordia University, Montreal, P.Q., Canada;Department of Electrical and Computer Engineering, Concordia University, Montreal, P.Q., Canada
Venue:
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Year:
2002

Citing 2
Cited 3

Operational semantics for MSC'96

Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
An Analyser for Mesage Sequence Charts

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

Specification and Timing Analysis of Real-Time Systems

Real-Time Systems
An evaluation of timed scenario notations

Journal of Systems and Software
Distributed real-time behavioral requirements modeling using extended UML/SPT

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 standard language widely used in telecommunication software engineering. The latest MSC standard, MSC-2000, includes new features such as time and data. In this paper, we propose a new construct called instance delay as an extension for timed MSC to further enhance its expressiveness. We formally define the semantics of the extension based on a partial order semantics of timed MSC. We demonstrate through an application the need for this extension.