Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications

@inproceedings{BenAbdallah1997ExpressingAA,
  title={Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications},
  author={Han{\^e}ne Ben-Abdallah and Stefan Leue},
  year={1997}
}
Message Sequence Charts (MSCs) are increasingly supported in software engineering tools and methodologies for communication systems. The last Z.120 standard extends MSCs with operators to organize them in a compositional, hierarchical fashion to describe systems with non-trivial sizes. When dealing with timing constraints, the standard is still evolving along with several proposals. This paper rst reviews proposed extensions of MSCs to describe timing constraints. Secondly, the paper describes… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 15 references

Uni ed Modeling Language for Object-Oriented Development (Version 0.91 Addendum)

G. Booch, I. Jacobson, J. Rumbaugh
RATIONAL Software Corporation, • 1996
View 8 Excerpts
Highly Influenced

Reasoning with timing constraints in Message Sequence Charts

N. Meng-Siew
Master's thesis, • 1993
View 10 Excerpts
Highly Influenced

An Analyzer for Message Sequence Charts

Software - Concepts and Tools • 1996
View 8 Excerpts
Highly Influenced

The Uni ed Method: User Guide Version 0.8

G. Booch, J. Rumbaugh
RATIONAL Software Corporation, • 1995
View 4 Excerpts
Highly Influenced

The AVALON project: a validation environment for SDL/MSC descriptions

B. Algayres, Y. Lejeune, F. Hugonment, F. Hantz
SDL Forum, • 1993
View 5 Excerpts
Highly Influenced

Interpreting Message Flow Graphs

Formal Aspects of Computing • 1995
View 5 Excerpts

Similar Papers

Loading similar papers…