［1］KUSTER J M,STEHR J.Towards explicit behavioral consistency concepts in the UML［C］.Portland,USA:Proc.of the 2nd International Workshop on Scenarios and State Machines:Models,Algorithms,and Tools,2003.

［2］XU D,MIAO H,PHILBERT N.Model checking UML activity diagrams in FDR［C］.IEEE ACIS Internaitonal Conference on Computer and Information Science,2009:1035-1040.

［3］LITVAK B,TYSZBEROWICZ S S,YEHUDAI A.Behavioral consistency validation of UML diagrams［J］.IEEE Computer Society,In Proceedings of SEFM,2003(6):118-125.

［4］ZHAO X,LONG Q,QIU Z,Model checking dynamic UML consistency［J］.ICFEM,ser.Lecture Notes in Computer Science,2006,4260:440-459.

［5］HARADA S,YOKOGAWA T,MIYAZAKI H,et al.A tool support for verifying consistency between UML diagrams by SMV［C］.ITC-CSCC,2009:897-900.

［6］LU Gongzheng,ZHANG Guangquan.An approach to check the consistency between the UML 2.0 dynamic diagrams.［C］.2010 5th International Conference on Computer Science and Education (ICCSE),2010:1913-1917.

［7］董威,王戟,齐治昌.UML Statecharts的模型检验方法［J］.软件学报,2003,4(14):750-756.

［8］ZHANG SHAOJIE;LIU YANG.An automatic approach to model checking UML state machines［C］.2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C),2010:1-6.

［9］张其文,童格明,李明.UML2.0顺序图的时序描述逻辑语义［J］.计算机工程,2011,37(3):52-54.