扩展断言知识检验一致的需求建模方法

摘要：

保证需求完整一致是需求建模的关键，文中提出一种基于知识库推理检验一致性的需求建模方法，该方法在建模中引入本体以增强表达能力，并结合语义建立约束规则构建需求模型知识库，基于描述逻辑描述需求和检验需求一致性，将需求建模过程作为断言知识库的扩展过程，把需求完整性问题转化为需求一致性问题，并归结其为规则约束下的可满足问题。利用Tableau算法等实现需求一致性的检验，在整个建模活动中保证需求一致。应用实践中使用自行编制的ROB半自动建模软件进行需求建模与分析，验证了建模方法的需求一致性，并通过案例说明了扩展断言知识库检验一致的需求建模过程。

关键词：需求模型、一致性、完整性、多视点、描述逻辑、知识库、可满足性、Tableau、需求工程

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

资助基金：国家自然科学基金资助项目61300007，61003016；软件开发环境国家重点实验室开放基金资助项目 SKLSDE-2012ZX-28，SKLSDE-2013ZX-11．

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

页数：共9页

页码：81-89