From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Time consistency of MSC-2000 specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
SDL'03 Proceedings of the 11th international conference on System design
Hi-index | 0.00 |
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.