基于回答集语义复杂信息系统表单驱动需求规约的描述与验证

摘要：

高品质的复杂信息系统软件设计与开发源自合理的、完整的和准确的软件需求.为了描述需求领域的非确定问题,并在需求获取不完全的情况下对需求规约进行非单调推理,本文将回答集逻辑程序和基于因果关系的动作理论应用于需求描述与验证.针对复杂信息系统需求问题空间规模较大的特点,将动作描述语言C与动作查询语言Q结合形成动作语言Lo,作为需求描述的基础；通过分析需求领域各个元素及其相互关系,以表单驱动引导需求,并作为需求描述依据与核心,提出了描述需求问题空间静态关系和动态行为关系的“主谓宾状”需求模型MRspoa.利用回答集逻辑程序求解器SMODELS,可以对需求规约进行多层次规划与检测.本文的研究来自工程项目实践的总结与提高,研究成果得到具体应用.

关键词：复杂信息系统、表单驱动、回答集语义、需求规约、需求描述与验证

所属期刊栏目：32

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目60705095;广东省自然科学基金项目07300807;广东省自然科学基金项目07300237

在线出版日期：2012-06-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：2345-2352