[1]郭新峰,马世龙,吕江花,等.扩展断言知识检验一致的需求建模方法[J].智能系统学报,2015,10(1):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(1):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(1):81-89.[doi:10.3969/j.issn.1673-4785.201409015]
扩展断言知识检验一致的需求建模方法
《智能系统学报》[ISSN 1673-4785/CN 23-1538/TP] 卷:
10
期数:
2015年第1期
页码:
81-89
栏目:
学术论文—知识工程
出版日期:
2015-03-25
- Title:
- Extension abox requirements modeling method
- Keywords:
- model; consistency; completeness; multi-view; description logic; knowledge base; satisfiability; Tableau; requirement engineering
- 分类号:
- TP311
- 文献标志码:
- 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(6):536.
LEI Ming,ZHOU Chao,ZHOU Shaolei,et al.Decentralized formation control of multiple mobile agents considering timevarying delay[J].CAAI Transactions on Intelligent Systems,2012,7():536.
[2]袁健,周忠海,金光虎,等.基于卡尔曼滤波的自主式水下航行器大尺度编队控制[J].智能系统学报,2013,8(4):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():344.[doi:10.3969/j.issn.1673-4785.201304033]
[3]徐志强,陈雪波.包含原理的群体机器人队形一致协调控制[J].智能系统学报,2015,10(2):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():301.[doi:10.3969/j.issn.1673-4785.201311073]
[4]王中林,刘忠信,陈增强,等.一种多智能体领航跟随编队新型控制器的设计[J].智能系统学报,2014,9(3):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():298.[doi:10.3969/j.issn.1673-4785.]
[5]李苗,刘忠信,陈增强.一种多非完整移动机器人分布式编队控制方法[J].智能系统学报,2017,12(1):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():88.[doi:10.11992/tis.201512021]
[6]夏倩倩,刘开恩,纪志坚.基于二阶邻居事件触发多智能体系统的一致性[J].智能系统学报,2017,12(6):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():833.[doi:10.11992/tis.201702008]
[7]刘远山,杨洪勇,李玉玲,等.分布式事件触发多自主体领导跟随一致性研究[J].智能系统学报,2019,14(5):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():991.[doi:10.11992/tis.201809035]
[8]陈楠楠,巩晓婷,傅仰耿.基于改进规则激活率的扩展置信规则库推理方法[J].智能系统学报,2019,14(6):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():1179.[doi:10.11992/tis.201906046]
备注/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