【摘 要】
：
高品质的复杂信息系统软件设计与开发源自合理的、完整的和准确的软件需求.为了描述需求领域的非确定问题,并在需求获取不完全的情况下对需求规约进行非单调推理,本文将回答
【机 构】
：
中山大学软件学院; 中山大学信息科学与技术学院软件研究所; 华南师范大学计算机学院; 华南师范大学教育信息技术学院;
【基金项目】
：
国家自然科学基金项目(60705095)资助;广东省自然科学基金项目(07300807)资助,广东省自然科学基金项目(07300237)资助
论文部分内容阅读
高品质的复杂信息系统软件设计与开发源自合理的、完整的和准确的软件需求.为了描述需求领域的非确定问题,并在需求获取不完全的情况下对需求规约进行非单调推理,本文将回答集逻辑程序和基于因果关系的动作理论应用于需求描述与验证.针对复杂信息系统需求问题空间规模较大的特点,将动作描述语言C与动作查询语言Q结合形成动作语言Lo,作为需求描述的基础;通过分析需求领域各个元素及其相互关系,以表单驱动引导需求,并作为需求描述依据与核心,提出了描述需求问题空间静态关系和动态行为关系的"主谓宾状"需求模型MRspoa.利用回答集逻辑程序求解器SMODELS,可以对需求规约进行多层次规划与检测.本文的研究来自工程项目实践的总结与提高,研究成果得到具体应用.
其他文献
历史文化街区,融合了居住、生产、文化功能,承载着城市历史文化的传承,是活态的文化遗产。晋江五店市的传统街区保护与开发案例分析,论证了该传统历史文化街区的保护与开发,
1工程概况 清安河排涝泵站位于楚州区境内淮河入海水道北堤外侧，在清安河穿堤涵洞（入海水道北堤）东侧约50m处，与清安河穿堤涵洞共同承担清安河排涝任务。当入海水道不行洪时，清安
在工程建设中,进行所用物资的成本核算,是考核物资管理水平和控制项目成本的重要手段,也能为拟建项目提供借鉴。此文在阐述工程物资成本核算存在的主要问题的基础上,探讨已完
目的探讨临床药师在肺栓塞患者临床治疗中的作用。方法对临床药师参与治疗的1例典型病例进行报告分析。结果临床药师参与患者药物治疗过程,提高了肺栓塞患者用药的安全性、有
内蒙古锡林郭勒盟有百余个含煤盆地，已探明的煤炭储量１４４８亿吨，探明加预测储量超过２６００亿吨。已探明资源储量大于１００亿吨的煤田就有５处，即胜利煤田、白音华煤田、五间房煤田、巴棋北煤田和巴
在850、900和950℃不同轧制温度、1×10-2Pa的高焊接真空度以及90%的总轧制压下率条件下,用真空轧制复合技术制备无中间层的纯钛/钢/纯钛三层复合板,研究了界面微观组织结构
正弦定理、余弦定理是关于任意三角形边角之间关系的两个重要定理,是用代数法解决几何问题的典型内容之一.利用正、余弦定理来研究三角形问题时,一般要综合应用三角形的性质
目的探讨复发性糖尿病脑梗死患者血清白细胞介素-18(IL-18)和基质金属蛋白酶-9(MMP-9)与颈动脉硬化斑块的相关性及其在脑梗死复发中的预报价值。方法收集215例糖尿病脑梗死患
平舆县地处淮北平原,地势平坦,交通便利,施工条件较好。供水工程所在地地势平坦、开阔,可作为临时料场;施工用水就地取用,钢筋、水泥及砂石料可就近从市场采购,用汽车运至工