基于回答集语义复杂信息系统软件需求模型的研究

《基于回答集语义复杂信息系统软件需求模型的研究》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、中山大学博士学位论文基于回答集语义复杂信息系统软件需求模型的研究姓名：万海申请学位级别：博士专业：计算机软件与理论指导教师：李磊20060401中文摘要界面完成的操作，包括：对表单中的表单项（宾语０ｂｊ）实施的原子动作（谓语Ｐｒｅ）、接收消息、发送消息和打印操作；界面的先后关系利组成界面操作的并发关系用状语（Ａｄｖ）表示。以Ｍ忍…和ＣＩＳＲＭ为核心描述需求，较好地把握了需求描述的粒度，可以自然、全面地描述ＣＩＳ功能性与非功能性需求。本文提出的ＣＩＳ需求获取方法与过程可以实现需求阶段的小步骤和平滑过渡。在

2、正确获取和描述需求规格说明的基础上，可以将基于ＣＩＳＲＬ。的需求规格说明转换为回答集逻辑程序，进行多层次规划和检测：在业务流程层检测业务流程的合理性，并对单流程业务进行规划：在多流程交互层检测消息的一致性与合理性，并根据流程问消息的类型与交互方式对表单间数据源向关系进行规划：在业务结构层检测宾语一致性、消息和打印数据、以及界面的合理性，并进行需求定位规划和主语角色权限规划。利用回答集逻辑程序求解器ＳＭＯＤＥＬＳ，本文开发了（／ＩＳ需求工具ＣＩＳＲＴｏｏｌ。ＣＩＳＲＴｏｏｌ实现了图形化输入、需求规格说明自

3、动生成，可以对需求规格说明进行规划和检测，实现需求规格说明的原型化验证。本文的研究来自工程项目实践的总结与提高，研究成果得到具体的应用。最后，总结全文并提出了下一步研究工作。关键词：复杂信息系统，回答集，需求工程，元模型，需求规格说明，规划与检测第２页，共１１１页英文摘要ＡＢＳＴＲＡＣＴＲｅｓｅａｒｃｈｏｎＣｏｍｐｌｅｘＩｎｆｏｒｍａｔｉｏｎＳｙｓｔｅｍＲｅｑｕｉｒｅｍｅｎｔｓＭｏｄｅｌｂａｓｅｄｏｎＭａｊｏｒＮａｍｅＳｕｐｅｒｖｉｓｏｒＡｎｓｗｅｒＳｅｔＳｅｍａｎｔｉｃｓＳｏｆｔｗａｒｅａｎｄＴｈｅｏ

4、ｒｙＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ、ＭＡＮＨａｉＰｒｏｆｅｓｓｏｒＬＩＬｅｉＥｌｉｃｉｔｉｎｇａｎｄｄｅｓｃｒｉｂｉｎｇｕｓｅｒｒｅｑｕｉｒｅｍｅｎｔｓｃｏｒｒｅｃｔｌｙａｎｄｃｏｍｐｌｅｔｅｌｙ，ｄｅｆｉｎｉｎｇｃｏｎｓｉｓｔｅｎｔａｎｄｕｎａｍｂｉｇｕｏｕｓｒｅｑｕｉｒｅｍｅｎｔｓｆｏｒｄｅｖｅｌｏｐｅｒｓ，ａｎｄｈｅｌｐｉｎｇｐｌａｎｎｉｎｇａｎｄｃｈｅｃｋｉｎｇｒｅｑｕｉｒｅ—ｍｅｎｔｓｓｐｅｃｉｆｉｃａｔｉｏｎ，ｉｓｉｍｐｏｒｔａｎｔａｎｄｃｒｉｔｉｃａｌｆｏｒＣｏｍｐｌｅｘＩｎｆｏｒｍａｔｉ

5、ｏｎＳｙｓｔｅｍ（Ｃ１Ｓ）ｄｅｖｅｌ—ｏｐｍｅｎｔ，ｗｈｉｃｈｉｓｆｅａｔｕｒｅｄａｓａｕｔｏｍａｔｉｎｇｂｕｓｉｎｅｓｓｐｒｏｃｅｓｓａｎｄｐｒｏｖｉｄｉｎｇｃｏｍｐｒｅｈｅｎｓｉｖｅａｎｄｉｎｔｅｇｒａｔｅｄｉｎｆｏｒｍａｔｉｏｎｐｌａｔｆｏｒｍｆｏｒｅｎｔｅｒｐｒｉｓｅｏｒｇｏｖｅｒｎｍｅｎｔａｐｐｌｉｃａｔｉｏｎｓ．ＴｈｉｓｄｉｓｓｅｒｔａｔｉｏｎｉｎｔｒｏｄｕｃｅｓｔｈｅｓｔａｔｅｏｆａｒｔｓｏｆＣ１Ｓｒｅｑｕｉｒｅｍｅｎｔｓｅｌｉｃｉｔａｆｉｏｎａｎｄａｎａｌｙ—ｓｉｓ，ｓｕｒｖｅｙｓｒｅｑ

6、ｕｉｒｅｍｅｎｔｓｅｎｇｉｎｅｅｒｉｎｇｆｏｒｍａｌｍｅｔｈｏｄｓａｎｄｔｈｅｏｒｙ，ａｎｄｐｒｅｓｅｎｔｓｔｈｅａｖｅｎｕｅｓｏｆｒｅｓｅａｒｃｈｏｎａｐｐｌｙｉｎｇａｒｔｉｆｉｃｉａｌｉｎｔｅｌｌｉｇｅｎｃｅａｎｄｆｏｒｍａｌｍｅｔｈｏｄｉｎＣ１Ｓｒｅｑｕｉｒｅｍｅｎｔｓｐｈａｓｅ．Ｉｎｏｒｄｅｒｔｏｓｏｌｖｅｔｈｅｐｒｏｂｌｅｍｓｏｆｒｅｑｕｉｒｅｍｅｎｔｓｅｌｉｃｉｔａｔｉｏｎ，ｓｐｅｃｉｆｉｃａｔｉｏｎ，ｃｈｅｃｋｉｎｇａｎｄｖａｌｉｄａ・ｔｉｏｎ，ＭＲ。Ｍ（ＳｕｂｊｅｃｔＰｒｅｄｉｃａｔｅＯ

7、ｂｊｅｃｔＡｄｖｅｒｂｉａｌＲｅｑｕｉｒｅｍｅｎｔｓＭｅｔａ—ｍｏｄｅｌ）ｉｓｐｒｏｐｏｓｅｄ，ｗｈｉｃｈｃａｎｒｅｐｒｅｓｅｎｔｓｔａｔｉｃｒｅｌａｔｉｏｎｓｈｉｐｉｎｒｅｑｕｉｒｅｍｅｎｔｓｐｒｏｂｌｅｍｓｐａｃｅ．ＢａｓｅｄｏｎＭＲｓｐ。ｎ，ｃｌｅｗｅｄａｎｄｃｏｒｅｄｂｙｆｏｒｍｂｕｓｉｎｅｓｓｐｒｏｃｅｓｓ，Ｃ１ＳＲＭ（Ｃ１ＳＲｅｑｕｉｒｅｍｅｎｔｓＭｏｄｅｌ）ｉｓｐｒｅｓｅｎｔｅｄｔｏｄｅｓｃｒｉｂｅｄｙｎａｍｉｃｂｅｈａｖｉｏｒｒｅｌａｔｉｏｎｓｈｉｐｉｎｐｒｏｂｌｅｍｓｐａｃｅ．Ｉｎｏｒ

8、ｄｅｒｔｏｄｅｐｉｃｔｎｏｎ—ｄｅｔｅｒｍｉｎａｔｉｏｎｒｅｑｕｉｒｅｍｅｎｔｓｏｆｂｕｓｉｎｅｓｓｐｒｏｃｅｓｓｅｓ，ｐｒｏｃｅｓｓｎｏｎ—ｍｏｎｏｔｏｎｉｃｒｅａｓｏｎｉｎｇ，ｔｈｉｓｄｉｓｓｅｒｔａｔｉｏｎａｐｐｌｉｅｓａｎｓｗｅｒｓｅｔｐｒｏｇｒａｍｍｉｎｇａｎｄａｃｔｉｏｎｔｈｅｏｒｙａｓｔｈｅｆｏｕｎｄａｔｉｏｎｏｆｒｅｑｕｉｒｅｍｅｎｔｓｄｅｓｃｒｉｐｔｉｏｎａｎｄｖｅｒｉｆｉｃａｔｉｏｎ．Ａｓｆａｒａｓｔｈｅｆｅａｔｕｒｅｏ