UML/OCL工具的一致性检查研究

doi:10.3969/j.issn.1006-2475.2009.12.017

计算机与现代化 ›› 2009, Vol. 1 ›› Issue (12): 63-67.doi: 10.3969/j.issn.1006-2475.2009.12.017

UML/OCL工具的一致性检查研究

游皓聃，朱鸿

国防科学技术大学计算机学院，湖南长沙 410073

收稿日期:2009-05-18 修回日期:1900-01-01 出版日期:2009-11-27 发布日期:2009-11-27

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

摘要： UML作为一种通用的可视化建模语言已被广泛应用，但UML模型的一致性问题一直限制着在软件开发中更有效地应用UML。本文阐述了UML模型一致性的相关概念，介绍了一种以OCL表示模型的一致性规则、并基于这些对模型进行一致性检查的方法。将此方法实现为一致性检查工具，提供了模型分析、语法检查和模型一致性检查等功能。

关键词: UML, OCL, 模型一致性, 约束, 一致性检测, 工具

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

中图分类号:

TP311.5

游皓聃;朱鸿. UML/OCL工具的一致性检查研究[J]. 计算机与现代化, 2009, 1(12): 63-67.

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

[1]	杨庆五, 罗小辉, 刘鑫. 基于Edge Drawing的工业图像圆检测算法[J]. 计算机与现代化, 2024, 0(11): 121-126.
[2]	黄杉杉1, 吴巍2, 徐雨晴1, 魏婕1. 基于改进Mask R-CNN和LSD的图纸管道检测方法[J]. 计算机与现代化, 2024, 0(10): 42-48.
[3]	王佳1, 顾文俊1, 鞠炜刚2, 李玉维1, 张云龙2, 米传民3, 周志鹏3. 基于多元级差优良化遗传算法的环境拓扑结构任务调度[J]. 计算机与现代化, 2024, 0(10): 65-73.
[4]	王宁, 李迎, 刘枫. 基于LNS-NSGA2的多目标冷链运输优化[J]. 计算机与现代化, 2024, 0(06): 25-32.
[5]	杨巨, 邓志良, 杨志强, 王燕, 赵中原. 基于Fed-DPDOBO的分散式联邦学习[J]. 计算机与现代化, 2024, 0(04): 99-106.
[6]	徐胜超, 叶力洪. 基于长短期记忆神经网络的容器云队列在线任务动态分配[J]. 计算机与现代化, 2022, 0(07): 79-84.
[7]	王程, 陈正鸣, 吕嘉. 面向纸板三维装箱问题的剩余空间最优算法[J]. 计算机与现代化, 2021, 0(03): 28-34.
[8]	郭锦平, 边若鹏. MATLAB环境下数据驱动故障检测工具箱设计[J]. 计算机与现代化, 2021, 0(01): 81-86.
[9]	黄欣辰, 皋军, 黄豪杰. 基于PCA降维的成对约束半监督聚类集成[J]. 计算机与现代化, 2021, 0(01): 94-99.
[10]	李运川, 王晓红, 陈思吉, 葛义攀, 李闯. 基于多核并行和动态阈值的点云配准算法[J]. 计算机与现代化, 2020, 0(09): 77-82.
[11]	许小媛, 李海波, 于本成, 刘芳. 具有对偶约束的半监督重叠社区发现方法[J]. 计算机与现代化, 2020, 0(08): 63-68.
[12]	肖支才，尹高扬，闫实 . 基于循环寻优RRT算法的无人机航迹规划[J]. 计算机与现代化, 2020, 0(02): 16-.
[13]	方伟,徐涛,闫文君，张兵强. 面向分布式环境的仿真部署工具设计[J]. 计算机与现代化, 2019, 0(05): 69-.
[14]	范新南，顾亚飞，倪建军. 改进ORB算法在图像匹配中的应用[J]. 计算机与现代化, 2019, 0(02): 1-.
[15]	孙溢1,阳小华1,刘杰1,余童兰1,吴志强2,陈智2. 基于布尔表达式约束的测试用例生成技术[J]. 计算机与现代化, 2019, 0(01): 86-.

UML/OCL工具的一致性检查研究

Study of Consistency Checking by UML/OCL Tool

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价