首页> 中文会议>2008全国软件与应用学术会议(NASAC'08) >基于答案集程序设计的UML模型图推理方法

基于答案集程序设计的UML模型图推理方法

页面导航

摘要
著录项
相似文献
相关主题

摘要

使用UML模型图研发大型软件系统时,自动验证UML模型图的正确性十分重要。但现有的验证方法都局限于一个或两个UML模型图。提出一个可自动验证多种UML模型图正确性的方法。基于答案集程序设计,提出了将UML模型图和模型图的属性转换成逻辑程序的方法。通过验证UML模型图的属性在该逻辑程序的答案集语义中是否为真,来判断UML模型图的正确性，与现有的方法比较,本文的方法更具有普适性,适用于所有的UML模型图。

著录项

来源
《2008全国软件与应用学术会议(NASAC'08)》|2008年|589-592604|共5页
会议地点广州
作者

展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类程序设计;
关键词
答案集编程; 程序设计; 逻辑程序; 模型图;

相似文献

中文文献
外文文献
专利

1. 基于MDA的UML模型转换技术--从顺序图到状态图 [J] . 史耀馨 ,崔萌 ,李宣东 . 计算机工程与应用 . 2004,第013期
2. 基于回答集编程的UML模型不一致性修正 [J] . 王洁 ,艾莹莹 ,赵丽丽 . 计算机工程 . 2011,第S1期
3. 基于模糊软集的三I推理方法的性质 [J] . 薛彬彬 ,秦克云 . 计算机科学 . 2018,第005期
4. 基于粗糙集理论的不确定推理方法 [J] . 翟兴隆 ,李续武 ,雷英杰 . 计算机工程与设计 . 2011,第003期
5. 基于模糊近似推理的Vague集双向近似推理方法 [J] . 石玉强 ,王鸿绪 . 计算机工程与应用 . 2008,第006期
6. 一种基于Vague集的区间值加权模糊推理方法 [C] . 赵丽元 ,黄天民 . 2007中国控制与决策学术年会 . 2007
7. FastHelp项目测试——基于UML模型图生成测试用例 [A] . 李研岩 . 2007

基于答案集程序设计的UML模型图推理方法

摘要

著录项

相似文献

相关主题

期刊订阅