3Cavarra A,Jeron T,Hartman A,et al.Using UML for Automatic test generation[C].Proceedings of the International Symposium of Software Testing and Analysis,2002.
4Tsiolakis A.Semantic analysis and consistency checking of UML sequence diagrams[R].Diplomarbeit,TU-Berlin,2001:69-72.
6Li Xuandong,Johan Lilius.Checking compositions of UML sequence diagrams for timing inconsistency[R].TUCS Technical Report No 363,2000:3-8.
7Atanas Rountev,Olga Volgin,Miriam Reddoch.Control flow analysis for reverse engineering of sequence diagrams[R].Ohio State University Technical Report:OSU-CIS RC-2/04-TR12,2004:1-10.
8Xiao S L,Zhi M L,He J F.A formal semantics of UML sequence diagrams[R].UNU-IIST Report No.292,2004:10-14.
9Object Management Group.A UML profile for modeling and analysis real time embedded systems[R].beta 1,ptc/07-08-04,2007.