[1]郭新峰,马世龙,吕江花,等.扩展断言知识检验一致的需求建模方法[J].智能系统学报,2015,10(01):81-89.[doi:10.3969/j.issn.1673-4785.201409015]
 GUO Xinfeng,MA Shilong,LYU Jianghua,et al.Extension abox requirements modeling method[J].CAAI Transactions on Intelligent Systems,2015,10(01):81-89.[doi:10.3969/j.issn.1673-4785.201409015]
点击复制

扩展断言知识检验一致的需求建模方法(/HTML)
分享到:

《智能系统学报》[ISSN:1673-4785/CN:23-1538/TP]

卷:
第10卷
期数:
2015年01期
页码:
81-89
栏目:
出版日期:
2015-03-25

文章信息/Info

Title:
Extension abox requirements modeling method
作者:
郭新峰1 马世龙2 吕江花2 李睿2
1. 山西大学 软件学院, 山西 太原 030013;
2. 北京航空航天大学 计算机学院, 北京 100191
Author(s):
GUO Xinfeng1 MA Shilong2 LYU Jianghua2 LI Rui2
1. College of Software, Shanxi University, Taiyuan 030013, China;
2. Computer College, Beihang University, Beijing 100191, China
关键词:
需求模型一致性完整性多视点描述逻辑知识库可满足性Tableau需求工程
Keywords:
modelconsistencycompletenessmulti-viewdescription logicknowledge basesatisfiabilityTableaurequirement engineering
分类号:
TP311
DOI:
10.3969/j.issn.1673-4785.201409015
文献标志码:
A
摘要:
保证需求完整一致是需求建模的关键,文中提出一种基于知识库推理检验一致性的需求建模方法,该方法在建模中引入本体以增强表达能力,并结合语义建立约束规则构建需求模型知识库,基于描述逻辑描述需求和检验需求一致性,将需求建模过程作为断言知识库的扩展过程,把需求完整性问题转化为需求一致性问题,并归结其为规则约束下的可满足问题。利用Tableau算法等实现需求一致性的检验,在整个建模活动中保证需求一致。应用实践中使用自行编制的ROB半自动建模软件进行需求建模与分析,验证了建模方法的需求一致性,并通过案例说明了扩展断言知识库检验一致的需求建模过程。
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 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.

参考文献/References:

[1] SPANOUDAKIS G, ZISMAN A. Inconsistency management in software engineering: survey and open research issues[M]. Handbook of Software Engineering and Knowledge Engineering. Singapore: World Scientific Publishing Co., 2001: 329-380.
[2] SPANOUDAKIS G, FINKELSTEIN A, TILL D. Overlaps in requirements engineering[J]. Automated Software Engineering, 1999, 6(2): 171-198.
[3] NUSEIBEH B, EASTERBROOK S, RUSSO A. Leveraging inconsistency in software development[J]. Computer, 2000, 33(4): 24-29.
[4] NUSEIBEH B, FINKELSTEIN A, KRAMER J. Viewpoints: meaningful relationships are difficult![C]//Proc of the 25th Int’l Conf. on Software Engineering. Portland: IEEE Computer Press, 2003: 676-683.
[5] 王智学,董庆超,朱卫星,等.一种支持能力需求概念一致性和合理性分析的方法[J].计算机学报, 2013, 36(1): 10-21.WANG Zhixue,DONG Qingchao,ZHU Weixing. An approach for conceptual analysis on capability requirements consistency and reasonability [J].Chinese Journal of Computers, 2013, 36(1): 10-21.
[6] NECHES R, FIKES R E, FININ T, et al. Enabling technology for knowledge sharing[J]. AI Magazine, 1991, 12(3): 36-56.
[7] GRUBER T R. A translation approach to portable ontology specifications[J]. Knowledge Acquisition, 1993, 5(3): 199-220.
[8] 陆汝钤,金芝,陈刚.面向本体的需求分析[J].软件学报,2000,11(8):1009-1017.LU Ruqian,JIN Zhi,CHEN Gang. Ontology-oriented requirements analysis[J]. Journal of Software, 2000, 11(8): 1009-1017.
[9] 陈小红,尹斌,金芝.基于问题框架的需求建模:一种本体制导的方法[J].软件学报, 2011, 22(2): 177-194.CHEN Xiaohong,YIN Bin,JIN Zhi. Ontology—guided requirements modeling based on problem frames approach[J].Journal of Software, 2011, 22(2): 177-194.
[10] FRANZ B, DIEGO C, DEBORAH L, et al. The description logic handbook: theory, implementation, and applications[M]. New York: Cambridge University Press, 2003: 555-574.
[11] GRUBER T R. A translation approach to portable ontology specifications[J]. Knowledge Acquisition, 1993, 5(2): 199-220.
[12] FRANZ B, IAN H, ULRIKE S. Description logics as ontology languages for the semantic web[C]//Mechanizing Mathematical Reasoning: Essays in Honor of JORG H Siekmann on the Occasion of His 60th Birthday, 2005:228-248.
[13] SCHMIDT S, SMOLKA G. Attributive concept descriptions with complements[J]. Artificial Intelligence, 1991.48(1): 1-26.
[14] 常亮,史忠植,陈立民,等.一类扩展的动态描述逻辑[J].软件学报, 2010, 21(1): 1-13.CHANG Liang, SHI Zhongzhi, CHEN Limin, et al. Family of extended dynamic description logics[J]. Journal of Software, 2010, 21(1): 1-13.
[15] 常亮,史忠植,古天龙,等.可判定的时序动态描述逻辑[J].软件学报, 2011, 22(7): 1524-1537CHANG Liang, SHI Zhongzhi, GU Tianlong, et al. Decidable Temporal Dynamic Description Logics[J]. Journal of Software, 2011, 22(7): 1524-1537.
[16] 沈国华,张伟,黄志球,等.基于描述逻辑的特征语义建模及验证[J].计算机研究与发展, 2013, 50(7): 1501-1512SHEN Guohua, ZHANG Wei, HUANG Zhiqiu. Description-logic-based feature modeling and verification[J]. Journal of Computer Research and Development, 2013, 50(7): 1501-1512.
[17] 刘全,崔志明,高阳,等.一种逻辑强化学习的tableau推理方法[J].智能系统学报, 2008, 3(4): 355-360.LIU Quan,CUI Zhi-ming,GAO Yang, et al. Tableau reasoning method based on logical reinforcement learning[J]. CAAI Transactions on Intelligent Systems, 2008, 3(4): 355-360.
[18] 叶育鑫,欧阳丹彤,刘瑶,等.基于SHOIQ(D)的本体一致性检测[J].计算机工程与科学,2009, 31(8):7-10.YE Yuxin,OUYANG Dantong, LIU Yao, et al. Consistency checking of the SHOIQ(D)-based ontology[J].Computer Engineering & Science, 2009, 31(8):7-10.
[19] 石莲,孙吉贵.描述逻辑综述[J].计算机科学,2006, 33(1):194-197.SHI Lian,SUN Jigui. Description Logic Survey[J].Computer Science,2006, 33(1):194-197.
[20] 古华茂,王勋,凌云,等.完全析取范式群判定 SHOIN(D)-可满足性[J].软件学报,2010, 21(8):1863-1877.GU Huamao, WANG Xun, LING Yun, et al. Determining the SHOIN(D)-satisfiability with a complete disjunctive normal form group[J]. Journal of Software,2010,21(8):1863-1877.

相似文献/References:

[1]雷明,周超,周绍磊,等.考虑时变时滞的多移动智能体分布式编队控制[J].智能系统学报,2012,7(06):536.
 LEI Ming,ZHOU Chao,ZHOU Shaolei,et al.Decentralized formation control of multiple mobile agents considering timevarying delay[J].CAAI Transactions on Intelligent Systems,2012,7(01):536.
[2]袁健,周忠海,金光虎,等.基于卡尔曼滤波的自主式水下航行器大尺度编队控制[J].智能系统学报,2013,8(04):344.[doi:10.3969/j.issn.1673-4785.201304033]
 YUAN Jian,ZHOU Zhonghai,JIN Guanghu,et al.Large-scale formation control for autonomous underwater vehicles based on Kalman filtering[J].CAAI Transactions on Intelligent Systems,2013,8(01):344.[doi:10.3969/j.issn.1673-4785.201304033]
[3]徐志强,陈雪波.包含原理的群体机器人队形一致协调控制[J].智能系统学报,2015,10(02):301.[doi:10.3969/j.issn.1673-4785.201311073]
 XU Zhiqiang,CHEN Xuebo.Consensus coordinated control for swarm robots formation based on inclusion principles[J].CAAI Transactions on Intelligent Systems,2015,10(01):301.[doi:10.3969/j.issn.1673-4785.201311073]
[4]王中林,刘忠信,陈增强,等.一种多智能体领航跟随编队新型控制器的设计[J].智能系统学报,2014,9(03):298.[doi:10.3969/j.issn.1673-4785.]
 WANG Zhonglin,LIU Zhongxin,CHEN Zengqiang,et al.A kind of new type controller for multi-agent leader-follower formation[J].CAAI Transactions on Intelligent Systems,2014,9(01):298.[doi:10.3969/j.issn.1673-4785.]
[5]李苗,刘忠信,陈增强.一种多非完整移动机器人分布式编队控制方法[J].智能系统学报,2017,12(01):88.[doi:10.11992/tis.201512021]
 LI Miao,LIU Zhongxin,CHEN Zengqiang.A distributed formation control method formultiple nonholonomic mobile robots[J].CAAI Transactions on Intelligent Systems,2017,12(01):88.[doi:10.11992/tis.201512021]
[6]夏倩倩,刘开恩,纪志坚.基于二阶邻居事件触发多智能体系统的一致性[J].智能系统学报,2017,12(06):833.[doi:10.11992/tis.201702008]
 XIA Qianqian,LIU Kaien,JI Zhijian.Event-triggered consensus of multi-agent systems based on second-order neighbors[J].CAAI Transactions on Intelligent Systems,2017,12(01):833.[doi:10.11992/tis.201702008]
[7]刘远山,杨洪勇,李玉玲,等.分布式事件触发多自主体领导跟随一致性研究[J].智能系统学报,2019,14(05):991.[doi:10.11992/tis.201809035]
 LIU Yuanshan,YANG Hongyong,LI Yuling,et al.Distributed event-triggered consensus control of multi-agent systems with leader-following[J].CAAI Transactions on Intelligent Systems,2019,14(01):991.[doi:10.11992/tis.201809035]
[8]陈楠楠,巩晓婷,傅仰耿.基于改进规则激活率的扩展置信规则库推理方法[J].智能系统学报,2019,14(06):1179.[doi:10.11992/tis.201906046]
 CHEN Nannan,GONG Xiaoting,FU Yanggeng.Extended belief rule-based reasoning method based on an improved rule activation rate[J].CAAI Transactions on Intelligent Systems,2019,14(01):1179.[doi:10.11992/tis.201906046]

备注/Memo

备注/Memo:
收稿日期:2014-9-9;改回日期:。
基金项目:国家自然科学基金资助项目(61300007,61003016);软件开发环境国家重点实验室开放基金资助项目(SKLSDE-2012ZX-28,SKLSDE-2013ZX-11).
作者简介:郭新峰,男,1974年生,硕士,主要研究方向软件工程、智能计算及应用;马世龙,男,1953年生,教授,博士生导师,博士,主要研究方向为计算机软件与理论;吕江花,女,1975年生,副教授,博士后,主要研究方向为计算机软件与理论。
通讯作者:郭新峰.E-mail:rjxy_gxf@sxu.edu.cn.
更新日期/Last Update: 2015-06-16