论文部分内容阅读
xUML是一种统一建模语言UML的扩展语言,可用于实现自动代码生成。针对xUML代码生成过程中出现的模型不一致问题,文中提出了一种基于xUML类图和活动图的模型完整性和一致性校验方法。首先给出了模型完整性和一致性的校验规则,其次给出了基于规则伪代码形式的算法描述,最后利用工具结合一个具体的实例对完整性和一致性检验算法进行验证。实验结果表明,该方法可以用于对类图和活动图的完整性和一致性验证。