Title :
Checking compositions of UML sequence diagrams for timing inconsistency
Author :
Li, Xuandong ; Lilius, Johan
Author_Institution :
Dept. of Comput. Sci. & Technol., Nanjing Univ., China
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
Keywords :
diagrams; formal verification; graphs; real-time systems; sequences; specification languages; timing; UML sequence diagram composition checking; Unified Modeling Language; high-level graphs; model checking; object interactions; real-time systems specification; system behaviour scenarios; timing inconsistency checking; Collaboration; Computer science; Error analysis; Laboratories; Process design; Protocols; Real time systems; Timing; Unified modeling language; Visualization;
Conference_Titel :
Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific
Print_ISBN :
0-7695-0915-0
DOI :
10.1109/APSEC.2000.896694
