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

Correction of Inconsistency in UML Model Based on Answer Set Programming

作　　者：王洁[1] 艾莹莹[1] 赵丽丽[1] 夏杰[1] 

机构地区：[1]北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室,北京100124

出　　处：《计算机工程》2011年第S1期43-45,共3页Computer Engineering

基　　金：北京市教委科研计划基金资助项目(JC007011200904)

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

关 键 词：回答集编程 统一建模语言 不一致性 修正 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]