Formal definition and characteristic analysis of UML sequence diagram

[1] Joseph Schmuller.Teach yourself UML in 24 hours[M].Indianapolis:Sams Publishing Inc,2004 [2] 黄陇,于洪敏,陈致明.UML顺序图的结构化操作语义研究[J].计算机应用,2005,25(2):359-361 Huang Long,Yu Hongmin,Chen Zhiming.Research on structured operational semantics of UML sequence diagram[J].Computer Application,2005,25(2):359-361(in Chinese) [3] 王璐珍,董威,陈火旺.UML顺序图的自动验证[J].计算机工程与应用,2003,39(29):80-83 Wang Luzhen,Dong Wei,Chen Huowang.Automatic verification of UML sequence diagrams[J].Computer Engineering and Applications,2003,39(29):80-83(in Chinese) [4] Schafer T,Knapp A,Merz S.Model checking UML statemachines and collaborations[J].Electronic Notes in Theoretical Computer Science,2001,55(3):357-369 [5] Vitus S W L,Julian P.Consistency checking of sequence diagrams and statechart diagrams using the π-calculus //Proc of the 5th Int‘l Conf on Integrated Formal Methods(IFM 2005).Berlin: Springer-Verlag,2005,3771:347-365 [6] Rasch H,Wehrheim H,Najm E,et al.Checking consistency in UML diagrams: classes and state machines //Formal Methods for Open Object-Based Distributed Systems (FMOODS-03).Heidelberg:Springer,2003,2884:229-243 [7] Pender Tom.UML宝典[M].耿国桐,史立奇,叶卓映,等译.北京:电子工业出版社,2004 Pender Tom.UML bible[M].Translated by Geng Guotong,Shi Liqi,Ye Zhuoying,et al.Beijing:Publishing House of Electronics Industry,2004(in Chinese) [8] Eriksson H E,Penker M,Lyons B,et al.UML2 toolkit[M].Indianapolis: Wiley Publishing,2004