一种UML模型跨图一致性检查系统设计与实现
袁薇
孙康健
张雪
吕韬
中国软件评测中心(工业和信息化部软件与集成电路促进中心)北京 100048
摘要：统一建模语言是获取系统需求、进行系统设计的重要手段,使用多种UML模型图对同一软件进行描述和表达时,多个模型图中的对象命名、逻辑关系可能出现不一致的情况.现有可视化UML建模工具大多只在某一种模型图内部进行正确性检查,或依赖于人工进行跨图的一致性检查.随着软件系统规模的不断增大和逻辑复杂性的增高,仅依赖于人工难免存在疏漏.对此,设计并实现了一种基于规则的UML模型跨图一致性检查系统.用户上传的模型文件被解析后,采用所提出的 7条规则,通过OCL描述对上述组件进行模型分析和跨图一致性检查.其中,模型分析包括词法分析、逻辑结构分析等,一致性检查规则包括类图、状态图、顺序图的相关规则.通过实现与验证,所设计的系统能有效地检测类图、顺序图等图中的不一致问题.
关键词：UML可视化建模模型解析一致性检查对象约束语言
论文发表日期：2024-10-28
在线出版日期：2026-05-22（本平台首次上网日期，不代表文献的发表时间）
页数：5( 35-39 )