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

摘要

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算法等实现需求一致性的检验，在整个建模活动中保证需求一致。应用实践中使用自行编制的ROB半自动建模软件进行需求建模与分析，验证了建模方法的需求一致性，并通过案例说明了扩展断言知识库检验一致的需求建模过程。