基于本体的概念体系结构导出的一致性验证
|
摘要
软件产品线工程方法中利用需求特征模型自动导出概念体系结构,然而手工检测概念体系结构对需求的表达是否一致是降低导出效率的主要因素。鉴于此,本文提出一种基于本体的概念体系结构导出的一致性验证方法,首先建立概念体系结构元模型,然后在此基础上构建概念体系结构本体并提出相应的推理规则;在产品特征模型到概念体系结构映射过程中,使用该本体对映射后的概念体系结构进行本体描述;利用SWRL规则描述语言将自然语言描述的推理规则转换成本体推理机能够识别的数据格式;将本体模型和规则文件作为推理机的输入进行推理,通过检验模型满足规则的程度完成模型的一致性验证。通过一个VOIP系统案例对上述步骤进行详细描述,以此验证该方法的可行性,并且在理论上与其他常见的一致性验证方法进行对比来评估其优缺点。
In the software product line engineering,the feature model is used to automatically derive the conceptual architecture.However,it is the main factor to reduce the export efficiency whether manual detection concept architecture is consistent with the demand expression or not. In order to assist designers to carry out efficient conceptual architecture derivation,this paper proposed an ontology-based method for consistency verification. Firstly,the paper modeled the conceptual architecture meta-model. On the basis of this,the conceptual architecture ontology model was constructed and the corresponding reasoning rules were proposed.Then in the process of deriving the conceptual architecture,the ontology was used to describe it. After that the SWRL language is used to convert the inference rules of the natural language description into the data format which can be recognized by the ontology reasoning machine. Finally,the rule file and ontology description file were imported into the Jena inference engine to verify the consistency. In this paper,a case of VOIP system is described in detail,which verifies the feasibility of the method,and compares the advantages and disadvantages of the method in theory with other common consistency verification methods.
In the software product line engineering,the feature model is used to automatically derive the conceptual architecture.However,it is the main factor to reduce the export efficiency whether manual detection concept architecture is consistent with the demand expression or not. In order to assist designers to carry out efficient conceptual architecture derivation,this paper proposed an ontology-based method for consistency verification. Firstly,the paper modeled the conceptual architecture meta-model. On the basis of this,the conceptual architecture ontology model was constructed and the corresponding reasoning rules were proposed.Then in the process of deriving the conceptual architecture,the ontology was used to describe it. After that the SWRL language is used to convert the inference rules of the natural language description into the data format which can be recognized by the ontology reasoning machine. Finally,the rule file and ontology description file were imported into the Jena inference engine to verify the consistency. In this paper,a case of VOIP system is described in detail,which verifies the feasibility of the method,and compares the advantages and disadvantages of the method in theory with other common consistency verification methods.
引文
[1]李克勤,陈兆良,梅宏,等.领域工程概述[J].计算机科学,1999,26(5):21-25.
[2]Krueger C W.New methods in software product line practice[J].Communications of the ACM,2006,49(12):37-40.
[3]Weiss D M,Clements P C,Kang K,et al.Software product line hall of fame[C]//Proc.10th Int.Software Product Line Conference.2006:237.
[4]Bass L,Clements P,Kazman R.Software Architecture in Practice[M].Addison-Wesley,1998.
[5]Batory D.Feature models,grammars,and propositional formulas[C]//Proc.Int.Software Product Line Conference.2005:7-20.
[6]Kang K C.Feature-oriented domain analysis(FODA)[J].Alphascript Publishing,1990,4(4):206-207.
[7]于文静,赵海燕,张伟,等.基于特征模型的软件产品自动导出方法综述[J].软件学报,2016,27(1):26-44.
[8]张伟,梅宏.一种面向特征的领域模型及其建模过程[J].软件学报,2003,14(8):1345-1356.
[9]刘冬云,梅宏.从需求到软件体系结构:一种面向特征的映射方法[J].北京大学学报(自然科学版),2004,40(3):372-378.
[10]李玉琴,赵文耘.从领域需求到产品线体系结构的映射——一种面向特征的方法[J].计算机研究与发展,2007,44(7):1236-1242.
[11]何文民,沈国华,黄志球,等.基于本体的特征模型演化的一致性验证[J].计算机应用研究,2013,30(7):2072-2076.
[12]彭鑫,赵文耘,刘奕明.基于特征模型和构件语义的概念体系结构设计[J].软件学报,2006,17(6):1307-1317.
[13]Franz Baader,Diego Calvanese,Deborah L Mc Guinness,et al.The Description Logic Handbook:Theory,Implementation and Applications[M].Cambridge University Press,2007.
[14]彭鑫.基于本体、特征驱动的产品线开发方法[D].上海:复旦大学,2006.
[15]王杏林,曹晓东.概念建模[M].北京:国防工业出版社,2007.
[16]叶丽君.基于UML描述的概念模型校验技术研究[D].郑州:解放军信息工程大学,2008.
[17]Zhang Guanxiang,He Shan,Zhang Zhiyong.Study on model validation of logistics system based on Petri nets[J].Applied Mechanics&Materials,2012,195-196:853-858.
[18]陈岩,李志淮,谭贤四,等.基于x UML的Do DAF可执行体系结构开发与验证[J].系统仿真学报,2014,26(1):152-158.
[19]Chen Shu,Wu Guoqing.Modeling and analysis of workflow based on TLA[J].Journal of Computers,2009,4(1):27-34.
[20]陈彩辉,姜汉龙.任务空间概念模型(CMMS)研究[J].计算机仿真,2005,22(9):80-84.
[21]Zhang Minmin,Qian Dalin,Chen Xiaohong,et al.The reasoning process of qualitative reasoning model of pedestrian disturbing delay[C]//The 10th International Conference of Chinese Transportation Professionals.2010:1560-1568.
[2]Krueger C W.New methods in software product line practice[J].Communications of the ACM,2006,49(12):37-40.
[3]Weiss D M,Clements P C,Kang K,et al.Software product line hall of fame[C]//Proc.10th Int.Software Product Line Conference.2006:237.
[4]Bass L,Clements P,Kazman R.Software Architecture in Practice[M].Addison-Wesley,1998.
[5]Batory D.Feature models,grammars,and propositional formulas[C]//Proc.Int.Software Product Line Conference.2005:7-20.
[6]Kang K C.Feature-oriented domain analysis(FODA)[J].Alphascript Publishing,1990,4(4):206-207.
[7]于文静,赵海燕,张伟,等.基于特征模型的软件产品自动导出方法综述[J].软件学报,2016,27(1):26-44.
[8]张伟,梅宏.一种面向特征的领域模型及其建模过程[J].软件学报,2003,14(8):1345-1356.
[9]刘冬云,梅宏.从需求到软件体系结构:一种面向特征的映射方法[J].北京大学学报(自然科学版),2004,40(3):372-378.
[10]李玉琴,赵文耘.从领域需求到产品线体系结构的映射——一种面向特征的方法[J].计算机研究与发展,2007,44(7):1236-1242.
[11]何文民,沈国华,黄志球,等.基于本体的特征模型演化的一致性验证[J].计算机应用研究,2013,30(7):2072-2076.
[12]彭鑫,赵文耘,刘奕明.基于特征模型和构件语义的概念体系结构设计[J].软件学报,2006,17(6):1307-1317.
[13]Franz Baader,Diego Calvanese,Deborah L Mc Guinness,et al.The Description Logic Handbook:Theory,Implementation and Applications[M].Cambridge University Press,2007.
[14]彭鑫.基于本体、特征驱动的产品线开发方法[D].上海:复旦大学,2006.
[15]王杏林,曹晓东.概念建模[M].北京:国防工业出版社,2007.
[16]叶丽君.基于UML描述的概念模型校验技术研究[D].郑州:解放军信息工程大学,2008.
[17]Zhang Guanxiang,He Shan,Zhang Zhiyong.Study on model validation of logistics system based on Petri nets[J].Applied Mechanics&Materials,2012,195-196:853-858.
[18]陈岩,李志淮,谭贤四,等.基于x UML的Do DAF可执行体系结构开发与验证[J].系统仿真学报,2014,26(1):152-158.
[19]Chen Shu,Wu Guoqing.Modeling and analysis of workflow based on TLA[J].Journal of Computers,2009,4(1):27-34.
[20]陈彩辉,姜汉龙.任务空间概念模型(CMMS)研究[J].计算机仿真,2005,22(9):80-84.
[21]Zhang Minmin,Qian Dalin,Chen Xiaohong,et al.The reasoning process of qualitative reasoning model of pedestrian disturbing delay[C]//The 10th International Conference of Chinese Transportation Professionals.2010:1560-1568.