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

• 作者: 吕江花 李睿 郭新峰 马世龙
• 来源期刊: 智能系统学报
• 学科: 工学
• 关键词: 需求模型 一致性 完整性 多视点 描述逻辑 知识库 可满足性 Tableau 需求工程
• 年，卷（期）: 2015,（1）
• 页码范围: 81-89
• 页数: 9页
• 分类号: TP311
• 字数: 7770字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-4785.201409015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马世龙	北京航空航天大学计算机学院	58	445	8.0	20.0
2	郭新峰	山西大学软件学院	10	43	4.0	6.0
3	吕江花	北京航空航天大学计算机学院	15	52	5.0	6.0
4	李睿	北京航空航天大学计算机学院	15	49	3.0	6.0