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

【Abstract】 In order to support the design of large-scale industrial applications,this paper studies the problem of correcting inconsistencies of Unified Modeling Language(UML).It presents a correct method to deal with the inconsistencies between class diagrams and sequence diagrams with answer set programming.UML diagrams and the constraint rules are represented with logic programs.It can get answer sets with the inference engine and the answer sets are the correct operations which can make UML diagrams consistent.Example shows the effectiveness of the method.更多还原