【摘 要】
：
保证需求完整一致是需求建模的关键,文中提出一种基于知识库推理检验一致性的需求建模方法,该方法在建模中引入本体以增强表达能力,并结合语义建立约束规则构建需求模型知识
【机 构】
：
山西大学软件学院,北京航空航天大学计算机学院
【基金项目】
：
国家自然科学基金资助项目（61300007,61003016）, 软件开发环境国家重点实验室开放基金资助项目（SKLSDE-2012ZX-28,SKLSDE-2013ZX-11）
论文部分内容阅读
保证需求完整一致是需求建模的关键,文中提出一种基于知识库推理检验一致性的需求建模方法,该方法在建模中引入本体以增强表达能力,并结合语义建立约束规则构建需求模型知识库,基于描述逻辑描述需求和检验需求一致性,将需求建模过程作为断言知识库的扩展过程,把需求完整性问题转化为需求一致性问题,并归结其为规则约束下的可满足问题。利用Tableau算法等实现需求一致性的检验,在整个建模活动中保证需求一致。应用实践中使用自行编制的ROB半自动建模软件进行需求建模与分析,验证了建模方法的需求一致性,并通过案例说明了扩展断言知
其他文献
渭干河流经南天山造山带南缘,为了解南天山洋演化历史,对该河流河砂样品中碎屑锆石进行U-Pb定年测试,结果表明,碎屑锆石年龄主要集中在460~400 Ma和310~260 Ma,少量分布在660
在调查研究及对大量资料进行综合的基础上，对内蒙古草原生态系统自然平衡中具有重要意义的捕食性，寄生性天敌昆虫的主要类群，分布情况以及捕食寄生对象，在草原生态系统中的作用进
渗漏是小型水库土石坝工程常见的病险形式之一。根据近几年已完成的安徽省几十座以土石坝为主的小型病险水库的工程地质勘察的经验，扼要论述了土石坝渗漏的主要类型、成因，同时
地质资料产业化是指将相关方面的地质资料汇交到网络平台上,并与其他机构、企业、组织或者个人进行共享,并在网络空间和现实空间中以地质资料信息产权经营理念为依据,对地质
针对现有基于语义知识规则分析的文本相似性度量方法存在时间复杂度高的局限性,提出基于分类词典的文本相似性度量方法。利用汉语词法分析系统ICTCLAS对文本分词,运用TF×IDF
2011年农机购置补贴实施工作即将启动，为使农机补贴惠农政策更贴进民心，把此项工作办好、办实，东丰县农机局早谋划，早部署，早运作，扎实做好农机购置补贴各项准备工作。
运用多个聚集强度指数（负二项参数K，扩散系数C,扩散型指数Iδ，Cassie指标，丛生指标I，聚块性指数m^＊／m）对长白山核桃楸林分布格局进行研究．结果表明，在取样大小合适的情况下，研究样地内的
本文分析现有汽车报警器的缺点,详细阐述了基于STC89单片机的GSM汽车报警器的系统设计和软件设计。该报警器利用STC89系列单片机优良的性价比,使用支持GSM/GPRS的TC35i专用通
目的观察精密过滤输液器在预防甘露醇所致静脉炎中的作用。方法将93例采用静脉留置套管针静脉滴注甘露醇的患者,随机分成两组：观察组46例,使用精密过滤输液器。对照组47例,使
随着全球经济一体化形势的不断深入和发展,随着国际交流和合作日益频繁,随着英语国际通用语言地位的渐次确立,世界各国为了积极适应和参与激烈的国际市场竞争,都不同程度地开