Abstract
We propose an approach for refining high level specifications into design specifications using the MSC language. We have previously introduced such an approach for un-timed MSCs. In this paper, we focus on the timing features of MSC-2000. We propose a framework for adding time constraints and refining them further, while preserving the properties of the high-level specification during the refinement process. We introduce conformance relations between MSCs and algorithms for checking these relations.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
F. Khendek, S. Bourduas, D. Vincent. Stepwise Design with Message Sequence Charts. Proceedings of FORTE’2001, Cheju Island, Korea, August 2001.
ITU-T. Recommendation Z.100 (08/02), Specification and Description Language (SDL). International Telecommunication Union, Geneva.
ITU-T. Recommendation Z.120 (11/99), Message Sequence Chart (MSC). International Telecommunication Union, Geneva.
M. Majster-Cederbaum, J. Wu. Action Refinement for True Concurrent Real Time. Seventh International Conference on Engineering of Complex Computer Systems, Sweden, 2001.
D. Murphy, D. Pitt. Real-timed Concurrent Refineable Behaviours, Proceedings of the 2nd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 571 (1992).
S. Heymer. A Non-Interleaving Semantics for MSC. 1st Workshop on SDL and MSC(SAM’98), Germany, 1998.
J.P. Katoen, L. Lambert. Pomsets for Message Sequence Charts. 1st Workshop on SDL and MSC(SAM’98), Germany, 1998.
T. Zheng, F. Khendek, L. Helouët. A Semantics for Timed MSC, Validation and Implementation of Scenario-Based Specifications (VISS’02). ENTCS 65:7, 2002.
Ø. Haugen. MSC-2000 Interaction Diagrams for the new Millennium. Computer Networks, 35 (2001) 721–732.
R. Alur, G. J. Holzmann, D. Peled. An Analyzer for Message Sequence Charts. Proceedings of 2nd International Workshop on Tools and Algorithms for the construction and Analysis of Systems (TACAS’96). LNCS 1055, (1996) 35–48.
H. Ben-Abdallah, S. Leue. Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications. Department of Electrical and Computer Engineering, University of Waterloo. Technical Report 97-04, 1997.
X. Li, J. Lilius. Timing Analysis of UML Sequence Diagrams. Turku Centre for Computer Science. TUCS Technical Report 281 1999.
T. Zheng, F. Khendek. Time Consistency of MSC-2000 Specifications. to appear in Computer Networks, 2003.
S. Mauw, M.A. Reniers. Refinement in Interworkings. Proceedings of CONCUR’ 96, LNCS 1119, (1996).
A. Muscholl, D. Peled, Z. Su. Deciding Properties for Message Sequence Charts. Proceedings of the 1st International Conference on Foundations of Software Science and Computation Structures, LNCS 1378 (1998).
M. M. Musa, F. Khendek, G. Butler. New Results on Deriving SDL Specification from MSCs. Proceedings of SDL Forum’99, Elsevier Science B.V., June 1999.
A. Engels. Languages for Analysis and Testing of Event Sequences, Ph.D. thesis. Eindhoven University of Technology, 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zheng, T., Khendek, F., Parreaux, B. (2003). Refining Timed MSCs. In: Reed, R., Reed, J. (eds) SDL 2003: System Design. SDL 2003. Lecture Notes in Computer Science, vol 2708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45075-0_14
Download citation
DOI: https://doi.org/10.1007/3-540-45075-0_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40539-9
Online ISBN: 978-3-540-45075-7
eBook Packages: Springer Book Archive