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