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

第 10卷第 1期 智 能 系 统 学 报 Vo1．10NQ．1 2015年 2月 CAAITransactionsonIntellizentSystems Feb．2015 DOI：DOI：10．3969／j．issn．1673—4785．201409015 网络出版地址：http：／／www．cnki．net／kcms／doi／10．3969／j．issn．1673—4785．html 扩展断言知识检验一致的需求建模方法 郭新峰 ，马世龙 ，吕江花 ，李睿 (1．山西大学 软件学院，山西 太原 030013；2．北京航空航天大学 计算机学院，北京 100191) 摘 要：保证需求完整一致是需求建模的关键，文中提出一种基于知识库推理检验一致性的需求建模方法，该方法 在建模中引入本体以增强表达能力 ，并结合语义建立约束规则构建需求模型知识库，基于描述逻辑描述需求和检验 需求一致性 ，将需求建模过程作为断言知识库的扩展过程，把需求完整性问题转化为需求一致性问题，并归结其为 规则约束下的可满足问题。利用Tableau算法等实现需求一致性的检验，在整个建模活动中保证需求一致。应用实 践中使用 自行编制的ROB半 自动建模软件进行需求建模与分析，验证了建模方法的需求一致性 ，并通过案例说明了 扩展断言知识库检验一致的需求建模过程。 关键词 ：需求模型；一致性 ；完整性；多视点；描述逻辑；知识库；可满足性；Tableau；需求工程 中图分类号：TP311 文献标志码：A 文章编号：1673—4785(2015)01—0081—10 中文引用格式：郭新峰，马世龙。吕江花，等．扩展断言知识检验一致的需求建模方法 [J]．智能系统学报，2015，10(1)：81-89． 英文引用格式：GUOXinfeng。MAShilong，LYUJianghua，eta1．Requirementmodelingmethodforinspectingtheconsistencyof theexpandedassertedknowledge[J]．CAAITransactionsonIntelligentSystems，2015，10(1)：81-89． Extensionaboxrequirementsmodelingmethod GU0Xinfeng ，MA Shilong ，LYUJianghua ，LIRui (1．CollegeofSoftware，ShanxiUniversity，Taiyuan030013，China；2．ComputerCollege，BeihangUniversity，Beijing100191，China) Abstract：Assuringacompleteandconsistentrequirementisthekeytorequirementmodeling．Thispaperproposes arequirementmodelingmethodforinspectingconsistencyonthebasisofknowledgebasereasoning．Anontologyis addedintothemodelingprocesstoimprovetheexpressionability．Inaddition，thesemanticestablishmentconstraint ruleisusedtobuildtheknowledgebaseofrequirementmodeling．Therequirementmodelingprocessistakenasan expansionprocessoftheassertionknowledgebasebasedontheconsistencyamongthedescriptivelogic，descriptive requirementandinspectionrequirement．Thematterofrequirementcompletenessisconve~edintorequirementcon—