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

Extension abox requirements modeling method

作　　者：郭新峰[1] 马世龙[2] 吕江花[2] 李睿[2] 

机构地区：[1]山西大学软件学院,山西太原030013 [2]北京航空航天大学计算机学院,北京100191

出　　处：《智能系统学报》2015年第1期81-89,共9页CAAI Transactions on Intelligent Systems

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

摘　　要：保证需求完整一致是需求建模的关键,文中提出一种基于知识库推理检验一致性的需求建模方法,该方法在建模中引入本体以增强表达能力,并结合语义建立约束规则构建需求模型知识库,基于描述逻辑描述需求和检验需求一致性,将需求建模过程作为断言知识库的扩展过程,把需求完整性问题转化为需求一致性问题,并归结其为规则约束下的可满足问题。利用Tableau算法等实现需求一致性的检验,在整个建模活动中保证需求一致。应用实践中使用自行编制的ROB半自动建模软件进行需求建模与分析,验证了建模方法的需求一致性,并通过案例说明了扩展断言知识库检验一致的需求建模过程。Assuring a complete and consistent requirement is the key to requirement modeling. This paper proposes a requirement modeling method for inspecting consistency on the basis of knowledge base reasoning. An ontology is added into the modeling process to improve the expression ability. In addition,the semantic establishment constraint rule is used to build the knowledge base of requirement modeling. The requirement modeling process is taken as an expansion process of the assertion knowledge base based on the consistency among the descriptive logic,descriptive requirement and inspection requirement. The matter of requirement completeness is converted into requirement consistency and attributed to the satisfiability under the constraint by rules. Tableau algorithm is utilized to realize the inspection on requirement consistency,assuring the requirement to be consistent in the entire modeling process. In the application practice,the self-programmed ROB semiautomatic modeling software was applied to requirement modeling and analysis to verify the requirement consistency of the modeling method. In addition,the requirement modeling process on detecting the consistency of an expanded asserted knowledge base was shown by cases.

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

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]