Checking compositions of UML sequence diagrams for timing inconsistency

Authors:
Xuandong Li;J. Lilius
Affiliations:
-;-
Venue:
APSEC '00 Proceedings of the Seventh Asia-Pacific Software Engineering Conference
Year:
2000

Citing 0
Cited 5

Representing Embedded System Sequence Diagrams as a Formal Language

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Timing Analysis of UML Activity Diagrams

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
TASS: Timing Analyzer of Scenario-Based Specifications

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Consistency of UML/SPT models

SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Timing analysis of scenario-based specifications using linear programming

Software Testing, Verification & Reliability

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 systems, we need to consider the compositions of UML sequence diagrams. In this paper, we introduce high-level graphs to describe compositions of UML sequence diagrams, and develop an algorithm for checking them for timing inconsistencies.