基于答案集程序设计的UML模型图推理方法
使用UML模型图研发大型软件系统时,自动验证UML模型图的正确性十分重要。但现有的验证方法都局限于一个或两个UML模型图。提出一个可自动验证多种UML模型图正确性的方法。基于答案集程序设计,提出了将UML模型图和模型图的属性转换成逻辑程序的方法。通过验证UML模型图的属性在该逻辑程序的答案集语义中是否为真,来判断UML模型图的正确性，与现有的方法比较,本文的方法更具有普适性,适用于所有的UML模型图。
答案集编程 程序设计 逻辑程序 模型图
邓文俊 粱意文
武汉大学计算机学院 武汉 430072
国内会议
广州
中文
589-592,604
2008-11-11（万方平台首次上网日期，不代表论文的发表时间）