[1] Ekanayake E M N K, Kodituwakku S R. Consistency checking of UML class and sequence diagrams[C]//8th International Conference on Ubi-Media Computing. Jeju:IEEE, 2015:98-103.
[2] 钱成, 燕雪峰, 周勇, 等. 基于状态约简的顺序图和状态图一致性检测[J]. 计算机应用研究, 2014, 31(5):1452-1455. Qian Cheng, Yan Xuefeng, Zhou Yong, et al. Model checking consistency of sequence diagram and state machine based on state reduction[J]. Application Research of Computers, 2014, 31(5):1452-1455.
[3] Straeten R V D, Mens T, Simmonds J, et al. Using description logic to maintain consistency between UML models[C]//Lecture Notes in Computer Science. Seattle:Springer Berlin Hei-delberg, 2003:1-15.
[4] Long Q, Liu Z, Li X, et al. Consistent code generation from UML models[C]//16th Australian Conference on Software Engineering. Brisbane:IEEE Computer Society, 2005:23-30.
[5] Chama W, Elmansouri R, Chaoui A. Model checking and code generation for UML diagrams using graph transformation[J]. International Journal of Software Engineering & Applications, 2012, 3(6):39-55.
[6] 曾一, 李函逾, 刘慧君, 等. UML模型和Java代码之间的一致性检测方法[J]. 计算机科学, 2015, 42(4):151-155. Zeng Yi, Li Hanyu, Liu Huijun, et al. Consistency detection method between UML model and Java source code[J]. Computer Science, 2015, 42(4):151-155.
[7] Pires W, Ramalho F. UML-based design test generation[C]//ACM Symposium on Applied Computing. Fortaleza:DBLP, 2008:735-740.
[8] Chavez H, Shen W, France R, et al. An approach to checking consistency between UML class model and its Java implementation[J]. IEEE Transactions on Software Engineering, 2016, 42(4):322-344.
[9] 李锋, 陆韬. 任意图同构判定及其应用[J]. 复旦学报(自然科学版), 2006, 45(4):480-484. Li Feng, Lu Tao. Isomorphism judgment of arbitrary graphs and its application[J]. Journal of Fudan University, 2006, 45(4):480-484.
[10] Wendehals L, Orso A. Recognizing behavioral patterns at runtime using finite automata[C]//Proceedings of the 2006 International Workshop on Dynamic Analysis. Shanghai:ACM, 2006:33-40. |