基于回答集编程的UML模型不一致性修正

摘要

为支持大规模工业应用的设计,研究统一建模语言(UML)中的不一致性修正问题,提出基于回答集编程的修正方法,处理类图和序列图之间的不一致性。采用逻辑程序表示UML图和固有约束规则,借助推理机求解得到回答集,该回答集能使UML图保持一致性,实例验证了该方法的有效性。