Timing analysis of UML sequence diagrams

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1723, Issue , 1999, Pages 661-674

  Li, Xuandong ^a,b   Lilius, Johan ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

^b NANJING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); GRAPHIC METHODS; INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS; TIMING CIRCUITS;

TIMING ANALYSIS; UML SEQUENCE DIAGRAMS;

UNIFIED MODELING LANGUAGE;

EID: 84947780208     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46852-8_46     Document Type: Conference Paper

References (9)

1. R. Alur, G.J. Holzmann, D. Peled. An Analyzer for Message Sequence Charts. In Software-Concepts and Tools (1996) 17: 70-77.
2. H. Ben-Abdallah and S. Leue. Expressing and analyzing timing constraints in message sequence chart specifications. Technical Report 97-04, Department of Electrical & Computer Engineering, University of Waterloo.
3. H. Ben-Abdallah and S. Leue. Timing Constraints in Message Sequence Chart Specifications. In Formal Description Techniques X, Proceedings of the Tenth International Conference on Formal Description Techniques FORTE/PSTV'97, Osaka, Japan, November 1997, Chapman & Hall.
4. Grady Booch and James Rumbaugh and Ivar Jacobson. The Unified Modeling Language User Guide, Addison-Wesley, 1998.
5. R. France and A. Evans and K. Lano and B. Rumpe. The UML as a formal modeling notation. In Computer Standards & Interfaces, 19:325-334,1998.
6. ITU-T. Recommendation Z.120. ITU-Telecommunication Standardization Sector, Geneva, Switzerland, May 1996.
7. J. Seemann, J. WvG. Extension of UML Sequence Diagrams for Real-Time Systems. In Proc. International UML Workshop, Lecture Notes in Computer Science, Springer, 1998.
8. Xuandong Li, Johan Lilius. Timing Aanlysis of Message Sequence Charts. TUCS Technical Report 255, Turku Centre for Computer Science, Finland, March 1999.
9. J. Rumbaugh and I. Jacobson and G. Booch. The unified Modeling Language Reference Guide, Addison-Wesley, 1998.