[1]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]
Copy

Extension abox requirements modeling method

CAAI Transactions on Intelligent Systems[ISSN 1673-4785/CN 23-1538/TP] Volume: 10 Number of periods: 2015 1 Page number: 81-89 Column: 学术论文—知识工程 Public date: 2015-03-25
Title:
Extension abox requirements modeling method
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
Keywords:
model; consistency; completeness; multi-view; description logic; knowledge base; satisfiability; Tableau; requirement engineering
CLC:
TP311
DOI:
10.3969/j.issn.1673-4785.201409015
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.
Similar References:

Memo

-

Last Update: 2015-06-16

Copyright © CAAI Transactions on Intelligent Systems