Article

Timing analysis of UML sequence diagrams

Authors:

Xuandong Li,

Johan LiliusAuthors Info & Claims

UML'99: Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

Pages 661 - 674

Published: 28 October 1999 Publication History

Abstract

For real-time systems, UML sequence diagrams describe interaction among objects, which show the scenarios of system behaviour. In this paper, we give the solution for timing analysis of simple UML sequence diagrams which describe exactly one scenario without any alternatives and loops, and develop an algorithm for checking the compositions of UML sequence diagrams, which describe multiple scenarios, for timing consistency.

References

[1]

R. Alur, G.J. Holzmann, D. Peled. An Analyzer for Message Sequence Charts. In Software-Concepts and Tools (1996) 17: 70-77.

Google Scholar

[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.

Google Scholar

[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.

Digital Library

Google Scholar

[4]

Grady Booch and James Rumbaugh and Ivar Jacobson. The Unified Modeling Language User Guide, Addison-Wesley, 1998.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[6]

ITU-T. Recommendation Z.120. ITU - Telecommunication Standardization Sector, Geneva, Switzerland, May 1996.

Google Scholar

[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.

Digital Library

Google Scholar

[8]

Xuandong Li, Johan Lilius. Timing Aanlysis of Message Sequence Charts. TUCS Technical Report 255, Turku Centre for Computer Science, Finland, March 1999.

Digital Library

Google Scholar

[9]

J. Rumbaugh and I. Jacobson and G. Booch. The Unified Modeling Language Reference Guide, Addison-Wesley, 1998.

Digital Library

Google Scholar

Cited By

View all

Pan MLi X(2012)Timing analysis of MSC specifications with asynchronous concatenationInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-012-0239-914:6(639-651)Online publication date: 1-Nov-2012
https://dl.acm.org/doi/10.1007/s10009-012-0239-9
Hassine JRilling JDssouli R(2010)An evaluation of timed scenario notationsJournal of Systems and Software10.1016/j.jss.2009.09.01483:2(326-350)Online publication date: 1-Feb-2010
https://dl.acm.org/doi/10.1016/j.jss.2009.09.014
Gherbi AKhendek F(2007)Consistency of UML/SPT modelsProceedings of the 13th international SDL Forum conference on Design for dependable systems10.5555/1779934.1779952(203-224)Online publication date: 18-Sep-2007
https://dl.acm.org/doi/10.5555/1779934.1779952
Show More Cited By

Timing analysis of UML sequence diagrams
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

Timing Analysis of UML Sequence Diagrams
Checking compositions of UML sequence diagrams for timing inconsistency
APSEC '00: Proceedings of the Seventh Asia-Pacific Software Engineering Conference

For real-time systems, UML sequence diagrams describe interactions among objects, which show scenarios of the system behaviour. A simple UML sequence diagram describes exactly one scenario. For describing multiple scenarios and specifying real-time ...
Checking Compositions of UML Sequence Diagrams for Timing Inconsistency

Comments

Information & Contributors

Information

Published In

UML'99: Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

October 1999

724 pages

ISBN:3540667121

Editors:
Robert France
Department of Computer Science, Colorado State University, CO
,
Bernhard Rumpe
Institut für Informatik, Technische Universität München, München, Germany

In-Cooperation

SIGPLAN: ACM Special Interest Group on Programming Languages
The Object Management Group
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 28 October 1999

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
3
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Pan MLi X(2012)Timing analysis of MSC specifications with asynchronous concatenationInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-012-0239-914:6(639-651)Online publication date: 1-Nov-2012
https://dl.acm.org/doi/10.1007/s10009-012-0239-9
Hassine JRilling JDssouli R(2010)An evaluation of timed scenario notationsJournal of Systems and Software10.1016/j.jss.2009.09.01483:2(326-350)Online publication date: 1-Feb-2010
https://dl.acm.org/doi/10.1016/j.jss.2009.09.014
Gherbi AKhendek F(2007)Consistency of UML/SPT modelsProceedings of the 13th international SDL Forum conference on Design for dependable systems10.5555/1779934.1779952(203-224)Online publication date: 18-Sep-2007
https://dl.acm.org/doi/10.5555/1779934.1779952
Wang LWong EXu D(2007)A Threat Model Driven Approach for Security TestingProceedings of the Third International Workshop on Software Engineering for Secure Systems10.1109/SESS.2007.2Online publication date: 20-May-2007
https://dl.acm.org/doi/10.1109/SESS.2007.2
Giese HHenkler SHirsch MKlein FWhittle JGeiger LMeisinger M(2006)Nobody's perfectProceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools10.1145/1138953.1138967(67-74)Online publication date: 27-May-2006
https://dl.acm.org/doi/10.1145/1138953.1138967
Yan JWang JChen H(2004)Automatic Generation of Markov Chain Usage Models from Real-Time Software UML ModelsProceedings of the Quality Software, Fourth International Conference10.5555/1018442.1022052(22-31)Online publication date: 8-Sep-2004
https://dl.acm.org/doi/10.5555/1018442.1022052
Giese HKlein FBurmester S(2003)Pattern synthesis from multiple scenarios for parameterized real-time UML modelsProceedings of the 2003 international conference on Scenarios: models, Transformations and Tools10.1007/11495628_11(193-211)Online publication date: 7-Sep-2003
https://dl.acm.org/doi/10.1007/11495628_11
Engels GKüuster JGroenwegen L(2002)Consistent Interaction Of Software ComponentsJournal of Integrated Design & Process Science10.5555/1242064.12420666:4(2-22)Online publication date: 1-Dec-2002
https://dl.acm.org/doi/10.5555/1242064.1242066
Engels GKüster JHeckel RGroenewegen L(2001)A methodology for specifying and analyzing consistency of object-oriented behavioral modelsACM SIGSOFT Software Engineering Notes10.1145/503271.50323526:5(186-195)Online publication date: 1-Sep-2001
https://dl.acm.org/doi/10.1145/503271.503235
Engels GKüster JHeckel RGroenewegen LTjoa AGruhn V(2001)A methodology for specifying and analyzing consistency of object-oriented behavioral modelsProceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering10.1145/503209.503235(186-195)Online publication date: 10-Sep-2001
https://dl.acm.org/doi/10.1145/503209.503235

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Timing Analysis of UML Sequence Diagrams

Checking compositions of UML sequence diagrams for timing inconsistency

Checking Compositions of UML Sequence Diagrams for Timing Inconsistency