%0 Report %1 lix:99 %A Li, Xuandong %A Lilius, Johan %D 1999 %K analysis charts message real-time sequence systems timing %N TUCS-TR-255 %T Timing Analysis of Message Sequence Charts %U http://www.tucs.fi/publications/techreports/TR255.html %X 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.

@techreport{lix:99, abstract = {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.}, added-at = {2007-07-06T10:33:42.000+0200}, author = {Li, Xuandong and Lilius, Johan}, biburl = {https://www.bibsonomy.org/bibtex/28f07d204d864b15528e2215692c2b87c/schaal}, citeulike-article-id = {1431172}, institution = {TUCS - Turku Centre for Computer Science}, interhash = {f760b428cdd3c3ac3fdfe24de9bb9148}, intrahash = {8f07d204d864b15528e2215692c2b87c}, keywords = {analysis charts message real-time sequence systems timing}, month = {March FebruaryApril}, number = {TUCS-TR-255}, priority = {2}, timestamp = {2007-07-06T11:06:58.000+0200}, title = {Timing Analysis of Message Sequence Charts}, url = {http://www.tucs.fi/publications/techreports/TR255.html}, year = 1999 }