Abstract
When dealing with timing constraints, the Z.120 standard of Message Sequence Charts (MSCs) is still evolving along with several proposals. This paper first reviews proposed extensions of MSCs to describe timing constraints. Secondly, the paper describes an analysis technique for timing consistency in iterating and branching MSC specifications. The analysis extends efficient current techniques for timing analysis of MSCs with no loops nor branchings. Finally, the paper extends our syntactic analysis of process divergence to MSCs with timing constraints.
Chapter PDF
Similar content being viewed by others
References
Algayres, B., Lejeune, Y., Hugonment, F. & Hantz, F. (1993), The AVALON project: a validation environment for SDL/MSC descriptions,in O. Faergemand & A. Sarma, eds, ‘Proceedings of the 6th SDL Forum, SDL’93: Using Objects’.
Alur, R., Holzmann, G. J. & Peled, D. (1996), An analyzer for message sequence charts, in T. Margaria & B. Steffen, eds, ‘Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, Vol. 1055’, Springer Verlag, pp. 35–48.
Ben-Abdallah, H. & Leue, S. (1996), Architecture of a requirements and design tool based on message sequence charts, Technical Report 96–13, Department of Electrical & Computer Engineering, University of Waterloo. 18 p.
Ben-Abdallah, H. & Leue, S. (1997a), Expressing and analyzing timing constraints in message sequence chart specifications, Technical Report 97–04, Department of Electrical & Computer Engineering, University of Waterloo. 24 p.
Ben-Abdallah, H. & Leue, S. (1997b), Syntactic detection of process divergence and non-local choice in message sequence charts, in E. Brinksma, ed., ‘Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, Vol. 1217’, Springer Verlag, pp. 259–274.
Booch, G., Jacobson, I. & Rumbaugh, J. (1996), Unified Modeling Language for Object-Oriented Development (Version 0.91 Addendum), RATIONAL Software Corporation.
Dechter, R., Meiri, I. & Pearl, J. (1991), ‘Temporal constraint networks’,Artificial Intelligence 49, 61–95.
Ichikawa, H., Itoh, M., Kato, J., Takura, A. & Shibasaki, M. (1991), ‘SDE: Incremental specification and development of communications software’,IEEE Transactions on Computers 40(4), 553–561.
ITU-T (1995), ‘Recommendation Z. 120, Annex B: Algebraic Semantics of Message Sequence Charts’, ITU - Telecommunication Standardization Sector, Geneva, Switzerland.
ITU-T (1996), ‘Recommendation Z.120’, ITU - Telecommunication Standard-ization Sector, Geneva, Switzerland. Review Draft Version.
Jacobson, I. & et al. (1992), Object-Oriented Software Engineering - A Usecase Driven Approach, Addison-Wesley.
Ladkin, P. B. & Leue, S. (1995), ‘Interpreting Message Flow Graphs’,Formal Aspects of Computing 7 (5), 473–509.
Meng-Siew, N. (1993), Reasoning with timing constraints in Message Sequence Charts, Master’s thesis, University of Stirling, Scotland, U.K.
Papadimitriou, C. & Steiglitz, K. (1982), Combinatorial Optimization: Algorithms and Complexity, Prentice-Hall, Englewood Cliffs, NJ.
Selic, B., Gullekson, G. & Ward, P. (1994),Real-Time Object-Oriented Modelling, John Wiley & Sons, Inc.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Ben-Abdallah, H., Leue, S. (1997). Timing Constraints in Message Sequence Chart Specifications. In: Mizuno, T., Shiratori, N., Higashino, T., Togashi, A. (eds) Formal Description Techniques and Protocol Specification, Testing and Verification. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35271-8_6
Download citation
DOI: https://doi.org/10.1007/978-0-387-35271-8_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5260-1
Online ISBN: 978-0-387-35271-8
eBook Packages: Springer Book Archive