Timing analysis of UML sequence diagrams
作者： Johan Lilius , Xuandong Li
关键词: Applications of UML 、 Static timing analysis 、 Computer science 、 Programming language 、 Software development 、 Unified Modeling Language 、 Formal verification 、 Object-oriented programming 、 Sequence diagram 、 Algorithm 、 UML tool 、 Consistency (database systems)
摘要: For real-time systems, UML sequence diagrams describe interaction among objects, which show the scenarios of system behaviour. In this paper, we give solution for timing analysis simple exactly one scenario without any alternatives and loops, develop an algorithm checking compositions diagrams, multiple scenarios, consistency.
springer.com
core.ac.uk
acm.org
researchgate.net 
sci-hub.st 参考文章(8)
Rajeev Alur, Gerard J. Holzmann, Doron Peled, An analyzer for message sequence charts tools and algorithms for construction and analysis of systems. pp. 35- 48 ,(1996) , 10.1007/3-540-61042-1_37
Hanêne Ben-Abdallah, Stefan Leue, Timing Constraints in Message Sequence Chart Specifications formal techniques for networked and distributed systems. pp. 91- 106 ,(1997) , 10.1007/978-0-387-35271-8_6
Stefan Leue, Hanêne Ben-Abdallah, Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications ,(1997)
Johan Lilius, Xuandong Li, Timing Analysis of Message Sequence Charts Turku Centre for Computer Science. ,(1999)
J. Seemann, J. W. von Gudenberg, Extension of UML Sequence Diagrams for Real-Time Systems The Unified Modeling Language. «UML»’98: Beyond the Notation. pp. 240- 252 ,(1999) , 10.1007/978-3-540-48480-6_19
Grady Booch, James Rumbaugh, Ivar Jacobson, The unified modeling language reference manual ,(1998)
R France, A Evans, K Lano, B Rumpe, The UML as a Formal Modeling Notation Computer Standards & Interfaces. ,vol. 19, pp. 325- 334 ,(1998) , 10.1016/S0920-5489(98)00020-8
Grady Booch, James Rumbaugh, Ivar Jacobson, The Unified Modeling Language User Guide ,(1999)