一种UML模型跨图一致性检查系统设计与实现  

作　　者：袁薇 孙康健 张雪 吕韬 YUAN Wei;SUN Kangjian;ZHANG Xue;LÜTao

机构地区：[1]中国软件评测中心(工业和信息化部软件与集成电路促进中心),北京100048

出　　处：《信息技术与信息化》2024年第10期35-39,共5页Information Technology and Informatization

摘　　要：统一建模语言是获取系统需求、进行系统设计的重要手段,使用多种UML模型图对同一软件进行描述和表达时,多个模型图中的对象命名、逻辑关系可能出现不一致的情况。现有可视化UML建模工具大多只在某一种模型图内部进行正确性检查,或依赖于人工进行跨图的一致性检查。随着软件系统规模的不断增大和逻辑复杂性的增高,仅依赖于人工难免存在疏漏。对此,设计并实现了一种基于规则的UML模型跨图一致性检查系统。用户上传的模型文件被解析后,采用所提出的7条规则,通过OCL描述对上述组件进行模型分析和跨图一致性检查。其中,模型分析包括词法分析、逻辑结构分析等,一致性检查规则包括类图、状态图、顺序图的相关规则。通过实现与验证,所设计的系统能有效地检测类图、顺序图等图中的不一致问题。

关 键 词：UML 可视化建模 模型解析 一致性检查 对象约束语言 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]