Study of Consistency Checking by UML/OCL Tool

doi:10.3969/j.issn.1006-2475.2009.12.017

Computer and Modernization ›› 2009, Vol. 1 ›› Issue (12): 63-67.doi: 10.3969/j.issn.1006-2475.2009.12.017

• 软件工程 • Previous Articles Next Articles

Study of Consistency Checking by UML/OCL Tool

YOU Hao-dan, ZHU Hong

School of Computer, National University of Defense Technology, Changsha 410073, China

Received:2009-05-18 Revised:1900-01-01 Online:2009-11-27 Published:2009-11-27

Abstract

Abstract: UML is extensively applied as a common visual modeling language. But the consistency problems of UML models limit the availability of using UML in the software development. This article introduces some notions about UML model consistency, and proposes an approach to checking UML model consistency by using OCL expressions to describe consistency rules. The consistency checking tool can analyze the UML model, check the syntax of OCL expressions, and check the model consistency.

Key words: UML, OCL, model consistency, constraint, consistency checking, tool

CLC Number:

TP311.5

YOU Hao-dan;ZHU Hong. Study of Consistency Checking by UML/OCL Tool[J]. Computer and Modernization, 2009, 1(12): 63-67.

[1]	YANG Qingwu, LUO Xiaohui, LIU Xin. Industrial Image Circle Detection Algorithm Based on Edge Drawing [J]. Computer and Modernization, 2024, 0(11): 121-126.
[2]	HUANG Shanshan1, WU Wei2, XU Yuqing1, WEI Jie1. Pipelines in Drawings Detection Method Based on Improved Mask R-CNN and LSD [J]. Computer and Modernization, 2024, 0(10): 42-48.
[3]	WANG Jia1, GU Wenjun1, JU Weigang2, LI Yuwei1, ZHANG Yunlong2, MI Chuanmin3, ZHOU Zhipeng3. Environmental Topology Task Scheduling Based on Diverse Hierarchical Difference Optimization Genetic Algorithm [J]. Computer and Modernization, 2024, 0(10): 65-73.
[4]	WANG Ning, LI Ying, LIU Feng. Multi-objective Cold Chain Transportation Optimization Based on LNS-NSGA2 [J]. Computer and Modernization, 2024, 0(06): 25-32.
[5]	YANG Ju, DENG Zhiliang, YANG Zhiqiang, WANG Yan, ZHAO Zhongyuan. Decentralized Federation Learning Based on Fed-DPDOBO [J]. Computer and Modernization, 2024, 0(04): 99-106.
[6]	XU Ya-xin, HE Ze-en, XU Xu-kan. Automatic Classification Method of CNC Machine Tool Fault Text Based on CNN-BiLSTM [J]. Computer and Modernization, 2023, 0(04): 7-14.
[7]	XU Sheng-chao, YE Li-hong. Container Cloud Queue Online Task Dynamic Allocation Based on Long Short-term Memory Neural Network [J]. Computer and Modernization, 2022, 0(07): 79-84.
[8]	WANG Ke-yang, ZHANG Yao, LI Ke-wen, ZHANG Bao-qian, LI Jiang, REN Jie-wen. On-line Detection System of CNC Tool Breakage Based on Attention-LSTM [J]. Computer and Modernization, 2022, 0(05): 68-74.
[9]	WANG Cheng, CHEN Zheng-ming, LYU Jia. Optimal Algorithm of Remaining Space for 3D Packing Problem of Paperboard [J]. Computer and Modernization, 2021, 0(03): 28-34.
[10]	GUO Jin-ping, BIAN Ruo-peng. Design of Data-Driven Fault Detection Toolbox in MATLAB Environment [J]. Computer and Modernization, 2021, 0(01): 81-86.
[11]	HUANG Xin-chen, GAO Jun, HUANG Hao-jie. Semi-supervised Clustering Ensemble with Pairwise Constraints Based on PCA Dimension Reduction [J]. Computer and Modernization, 2021, 0(01): 94-99.
[12]	LI Yun-chuan, WANG Xiao-hong, CHEN Si-ji, GE Yi-pan, LI Chuang. A Point Cloud Registration Algorithm Based on Multi-core Parallel and Dynamic Threshold [J]. Computer and Modernization, 2020, 0(09): 77-82.
[13]	XU Xiao-yuan, LI Hai-bo, YU Ben-cheng, LIU Fang. Semi-supervised Overlapping Community Finding with Pairwise Constraints [J]. Computer and Modernization, 2020, 0(08): 63-68.
[14]	XIAO Zhi-cai， YIN Gao-yang， YAN Shi . A Cyclic Optimizing RRT Algorithm for UAV Path Planning [J]. Computer and Modernization, 2020, 0(02): 16-.
[15]	FANG Wei, XU Tao, YAN Wen-jun, ZHANG Bing-qiang. Design of Simulation Deploying Tools for Distributed Simulation Environment [J]. Computer and Modernization, 2019, 0(05): 69-.

Study of Consistency Checking by UML/OCL Tool

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments