Consistency Checking Between UML Models and Code Based on Graph Theory and FSM

doi:10.13190/j.jbupt.2018-283

JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM ›› 2019, Vol. 42 ›› Issue (4): 70-75.doi: 10.13190/j.jbupt.2018-283

• Papers • Previous Articles Next Articles

Consistency Checking Between UML Models and Code Based on Graph Theory and FSM

WANG Lei

School of Mechanical Electronic and Information Engineering, China University of Mining and Technology, Beijing 100083, China

Received:2018-11-16 Online:2019-08-28 Published:2019-08-26

Abstract

Abstract: A unified modeling language (UML) model and code consistency checking method based on graph theory and finite state machine (FSM) was proposed. The basic idea of this method was given; the static consistency checking and the dynamic consistency checking algorithms between UML models and code were discussed respectively; a support tool for this method was implemented, and C++ project UMLChecker 1.0 was checked by using this tool. The experimental results show that this method can check consistency between UML models and code, and has a high checking accuracy. For consistency checking in behavioral aspects, checking accuracy rate is improved obviously.

Key words: consistency checking, checking accuracy, graph theory, finite state machine, software verification

CLC Number:

TP311.5

WANG Lei. Consistency Checking Between UML Models and Code Based on Graph Theory and FSM[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2019, 42(4): 70-75.

References

[1] Ekanayake E M N K, Kodituwakku S R. Consistency checking of UML class and sequence diagrams[C]//8^th 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]//16^th 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.

Consistency Checking Between UML Models and Code Based on Graph Theory and FSM

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 7

Recommended Articles

Metrics

Comments

[1]	DONG Yi-qun, XU Wen-xing, LIU Jian-dong, WANG Shu-hong, JIANG Hui-na. Approach to Modeling Direction Relations between Regions with Uncertain Boundaries [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2016, 39(1): 18-23.
[2]	XU Meng-meng, YANG Qing-hai. Topology Design under the Constraint of Local Information [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2014, 37(s1): 87-91.
[3]	. Network Security Assessment Based on Node Correlated HMM [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2010, 33(6): 121-124.
[4]	SHU Ting;SUN Shou-qian;WANG Hai-ning;XU Wei-qiang;LI Wen-shu. Test Sequence Generation of a Communication Protocol by an Heuristic State Configuration Exploration [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2009, 32(6): 120-124.
[5]	CHEH Tian-Ping. Application of Graph Theory in Threat Situation Analysis of Network Security [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2009, 32(1): 113-117.
[6]	SHU Ting，WEI Yang-su，WU Bai-qing，MENG Zhao-hang. A Novel Algorithm for Generating Executable State Identification Sequences in EFSM Model [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2007, 30(2): 84-88.
[7]	XU Yun-bin, SONG Hong-sheng, ZHANG Jie, GU Wan-yi. GMPLS Signaling Extension for Multi-Granularity Optical Switching Node [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2004, 27(3): 23-27.