Observing timed systems by means of message sequence chart graphs
Proceedings of the 24th International Conference on Software Engineering
An evaluation of timed scenario notations
Journal of Systems and Software
Timing analysis of UML sequence diagrams
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
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
Hi-index | 0.00 |
Message sequence chart (MSC) is a graphical and textual language for the description and specification of the interactions between system components. The MSC standard as defined by ITU-T in Recommendation Z.120 introduces two basic concepts: basic MSCs and High-Level MSCs. MSC specifications are a combination of a set of basic MSCs and an High-Level MSC describing their compositions. Several different mechanisms have been introduced to handle timing constraints in MSCs, eg. timers, delay intervals, and timing marks. In this paper, we consider the problem of analyzing MSCs with timing constraints. For basic MSCs with timing marks to express more general timing constraints, we show how to analyze them for timing consistency using linear programming. For MSC specifications with timers to express the timing constraints enforced among basic MSCs, we give algorithms for deciding timing consistency and timing inconsistency.