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

扫码查看

原文链接

万方数据
维普

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

作者：

袁薇、孙康健、张雪、吕韬

展开 >

作者单位：

中国软件评测中心(工业和信息化部软件与集成电路促进中心)北京 100048

关键词：

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

出版年：

2024

DOI：

10.3969/j.issn.1672-9528.2024.10.008

信息技术与信息化

山东电子学会

信息技术与信息化

影响因子：0.29

ISSN：1672-9528

年,卷(期)：2024.(10)