智能系统学报Issue(1)：81-89,9.DOI:10.3969/j.issn.1673-4785.201409015
扩展断言知识检验一致的需求建模方法
Extension abox requirements modeling method
摘要
Abstract
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 con-sistency 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/需求工程Key words
model/consistency/completeness/multi-view/description logic/knowledge base/satisfiability/Tab-leau/requirement engineering分类
信息技术与安全科学引用本文复制引用
郭新峰,马世龙,吕江花,李睿..扩展断言知识检验一致的需求建模方法[J].智能系统学报,2015,(1):81-89,9.基金项目
国家自然科学基金资助项目（61300007，61003016）；软件开发环境国家重点实验室开放基金资助项目（ SKLSDE-2012ZX-28，SKLSDE-2013ZX-11）． （）
