梅加·布珊;希瓦尼·戈尔 使用本体方法改进软件产品线。 （英文） Zbl 1365.68411号 萨达纳 41，第12期，1381-1391（2016）. 概要：软件产品线（SPL）是生成软件产品的一种紧急策略。特征模型说明了SPL的可变性和共性。软件产品的质量取决于SPL的正确性。软件产品线工程（SPLE）的整体效益会因FM中的各种缺陷（例如死特征和错误的可选特征）而降低。这些缺陷可以在从缺陷产品线模型（PLM）构建的软件产品中继承。本文讨论了提高SPLE衍生软件产品质量的问题。根据一阶逻辑（FOL）规则，提出了一种基于本体的方法来识别缺陷，即死特征和假可选特征。定义了FM中代表SPL可变性的这些缺陷的情况分类。在产品线（PL）社区标准案例的FM的帮助下，对所提出的方法进行了解释。最初的经验该方法的评估分析了35个不同尺寸的FM。所获得的结果表明，所提出的方法准确、有效，可扩展多达200个特征，从而提高了SPL。 MSC公司： 68立方英尺 知识表示 68N99型 软件理论 关键词：特征模型（FM）;软件产品线;缺陷;本体;特征模型本体（FMO） 软件：功能IDE;瓦里亚莫斯;弹丸 PDF格式BibTeX公司 XML格式引用 \textit{M.Bhushan}和\textit{S.Goel}，萨达纳41号，第12期，1381-1391（2016；Zbl 1365.68411） 全文： 内政部 链接 参考文献： [1] Clements P和Northrop L 2001软件产品线：实践和模式，Addison-Wesley Professional [2] 博世J 2002软件产品线的成熟度和演化：方法、人工制品和组织。In:软件产品线，计算机科学讲稿，Springer。257-271. doi:10.1007/3-540-45652-X16·Zbl 1045.68533号 [3] Kang K C、Cohen S G、Hess J A、Novak W E和Peterson A S 1990年面向特征的领域分析（FODA）可行性研究。技术报告CMU/SEI-90-TR-21、ESD-90-TR-222、SEI [4] Elfaki A O、Fong S、Aik K和Johar M M D 2013使用一阶逻辑规则检测领域工程过程中的冗余。国际J·诺尔。工程软数据范式4（1）：1-20。doi:10.1504/IJKESDP.2013.052716 [5] Elfaki A O、Fong S L、Vijayaprasad P、Johar M G M和Fadhil M S 2014使用基于规则的方法检测软件产品线中的异常。Res.J.应用。科学。工程技术。7(2): 275-281 [6] Elfaki A O，Phon-Amnuaisuk S和Ho C K 2009使用一阶逻辑验证特征模型。摘自：第三届软件集成系统（VaMoS）可变性建模国际研讨会论文集。第169-172页 [7] Elfaki A O 2016一种基于规则的方法，用于检测和防止域工程过程中的不一致。专家系统。33（1）：3-13。doi:10.1111/exsy.12116·doi:10.1111/exsy.12116 [8] Mannion M 2002使用一阶逻辑进行产品线模型验证。摘自：第二届软件产品线国际会议（SPLC2）会议记录，施普林格出版社：Verlag。第176-187页。doi:10.1007/3-540-45652-X11·Zbl 1045.68543号 [9] Rincón L F、Giraldo G L、Mazo R和Salinesi C 2014一种基于本体论规则的方法，用于分析特征模型中的死特征和假可选特征。电子。注释理论。计算。科学。302:111-132。数字对象标识：http://dx.doi.org/10.1016/j.entcs.2014.01.023 ·doi:10.1016/j.entcs.2014.01.023 [10] Wielemaker J 2007 SWI-Protog（5.6.36版），自由软件，阿姆斯特丹大学 [11] Salinesi C、Mazo R和Diaz D 2010特征模型验证标准。收录：第28届INFORSID会议记录（INFormatique Des ORganisations et Syst'emes d'Information et dédecision）。第293-308页 [12] Von Der Massen T和Lichter H 2004特征模型中的缺陷。摘自：产品衍生软件可变性管理研讨会论文集-面向工具支持。第59-62页 [13] Lopez-Herrejon R和Batory D 2001评估生产线方法的标准问题。摘自：《第三届生成性和基于组件的软件工程国际会议论文集》，施普林格出版社：柏林-海德堡，第10-24页。doi:10.1007/3-540-44800-4_2·Zbl 1029.68801号 [14] Salinesi C和Mazo R 2012产品线模型中的缺陷以及如何识别它们。软件产品线-高级主题，InTech。97-122. doi:10.5772/35662·doi:10.5772/35662 [15] Segura S 2008使用原子集对特征模型进行自动分析。摘自：2008年SPLC软件产品线分析第一次研讨会论文集（ASPL 2008）。第201-207页 [16] Gruber T R 1993可移植本体规范的翻译方法。知识。收购。5(2): 199-220. doi:10.1006/knac.1993.1008·doi:10.1006/knac.1993.1008 [17] Czarnecki K、Kim C H P和Kalleberg K T 2006特性模型是关于本体的视图。摘自：IEEE计算机学会第十届软件产品线国际会议论文集。第41-51页 [18] De Bruijn J和Heymans S 2006将本体论从基于谓词的语言翻译为基于框架的语言。收录：第二届语义网规则和规则标记语言国际会议论文集，IEEE。第7-16页。doi:10.1109/RULEML.2006.23 [19] Mazo R、Lopez-Herrejon R、Salinesi C、Diaz D和Egyed A 2011约束逻辑编程的一致性检查：特征模型案例。摘自：第35届国际计算机软件和应用年会（COMPSAC）会议记录，IEEE出版社。第456-465页 [20] Zaid L A、Houben G、De Troyer O和Kleinermann F 2008协作特征建模中基于OWL的集成方法。摘自：第四届语义网络软件工程研讨会论文集（SWESE2008）。第93-100页 [21] Noorian M、Ensan A、Bagheri E、Boley H和Biletskiy Y 2011基于描述逻辑推理的功能模型调试。摘自：第17届分布式多媒体系统国际会议论文集（DMS’11）。第158-164页 [22] Goldstein R C和Storey V C 1991数据库和专家系统应用程序。摘自：德意志联邦共和国柏林国际会议记录，施普林格：维也纳维也纳。第124-129页。doi:10.1007/978-3-7091-7555-2_21 [23] Pohl K、Bockle G和Van Der Linden F 2005软件产品线工程基础原理和技术。施普林格出版社：Verlag New York，ISBN:3540243720·Zbl 1075.68575号 ·doi:10.1007/3-540-28901-1 [24] Johansen M F、Fleurey F、Acher M、Collet P和Lahire P 2010探索特征模型和本体之间的协同作用。参加：SPLC研讨会。第163-171页 [25] Kim C H P 2006关于特征模型和本体之间的关系。滑铁卢大学，硕士论文。（见http://gsd.uwaterloo.ca/2006/05/11/peter-kims-mas-thesis/.14） [26] Lee S、Kim J、Song C和Baik D 2007软件产品线工程中使用本体分析特征共性和可变性的方法。摘自：第五届软件工程研究、管理和应用国际会议论文集。第727-734页 [27] Sirin E、Parsia B、Grau BC、Kalyanpur A和Katz Y 2007 Pellet：一个实用的OWL-DL推理器。Web Semant。科学。，服务代理万维网。5: 51-53. doi:10.1016/j.websem.2007.03.004·doi:10.1016/j.websem.2007.03.004 [28] Wang H，Li Y F，Sun J，Zhang H和Pan J 2005特征建模和验证的语义网方法。在：语义网络软件工程研讨会论文集（SWESE'05）。爱尔兰戈尔韦 [29] Wang H H、Li Y F、Sun J、Zhang H和Pan J 2007使用OWL验证特征模型。Web Semant。科学。，服务代理万维网。5: 117-129. 数字对象标识：http://dx.doi.org/10.1016/j.websem.2006.11.006 ·doi:10.1016/j.websem.2006.11.006 [30] Matcha V B、Reddy P V G D P、Hari C V M K、Srinivas G、Rao N S、Jayachand B、Kumar J N V R S、SriRamGanesh G、Krishna N V R V、Pradeep I K和Ramesh C 2009软件重用：特征建模的本体方法。国际期刊计算。科学。Netw公司。安全9（8）：262-268 [31] Zaid L A、Kleinermann F和Troyer O D 2009将语义web技术应用于特征建模。摘自：2009年ACM应用计算研讨会论文集（SAC’09）。ACM，美国纽约州纽约市，第1252-1256页。数字对象标识：http://doi.acm.org/10.1145/15529822.12529563 [32] 马祖，R。；Salinesi，C。；Diaz，D.，VariaMos:一种基于约束方法的产品线驱动系统工程工具，25-29（2012），Gdansk-Poland [33] Thüm T、Kästner C、Benduhn F、Meinike J、Saake G和Leich T 2014 FeatureIDE：面向特征的软件开发的可扩展框架。科学。计算。程序。79: 70-85. 数字对象标识：http://dx.doi.org/10.1016/j.scico.2012.06.002 ·doi:10.1016/j.scico.12.06.002 [34] 特立尼达P、贝纳维德斯A和鲁伊斯·科尔特斯A 2006特征模型中的独立特征检测。论文发表于卢森堡高级信息系统工程（CAiSE）。数字对象标识：http://www.ceur-ws.org/Vol-231/Paper19.pdf [35] 特立尼达P、贝纳维德斯D、杜兰A、鲁伊兹·科尔特斯A和托罗M 2008a特征建模敏捷化的自动错误分析。J.系统。柔和。81: 883-896. doi:10.1016/j.jss.2007.10.30 [36] 特立尼达P、贝纳维德斯D、鲁伊斯·科尔特斯A、塞古拉s和希梅内兹A 2008b FAMA框架。摘自：第十二届国际软件产品线会议（SPLC'12）论文集，IEEE计算机学会。第359页。doi:10.1109/SPLC.2008.50 [37] Broek P和Galváo I 2009使用广义特征树分析特征模型。摘自：西班牙塞维利亚大学第三届软件密集型系统可变性建模国际研讨会论文集（VaMoS'09）。第71-76页。数字对象标识代码：10.1.1.216.5377 [38] Zhang G、Ye H和Lin Y 2013软件产品线中验证特征模型的方法。J.软件。工程7（1）:1-29。doi:10.3923/jse.2013.1.29·doi:10.3923/jse.2013.1.29 [39] Javed M、Naeem M和Wahab H A 2014面向特征领域分析的成熟度模型。计算。经济。柔和。4(3): 170-182 [40] Ripon S、Hossain J和Bhuiyan T 2013管理和分析软件产品线需求。国际期刊软件。工程应用。4（5）:63-75。doi:10.5121/ijsea.2013.4505·doi:10.5121/ijsea.2013.4505 [41] Millo J-V、Ramesh S、Krishna S N和Narwane G K 2013软件产品线的组合验证。摘自：《第十届综合形式方法国际会议论文集》，施普林格，计算机科学讲稿。第7940卷，第109-123页。doi:10.1007/978-3-642-38613-88 [42] 特立尼达·P和鲁伊斯·科尔特斯（Ruiz-Certés A 2009）：特征模型的外推推理和自动分析：它们是如何联系起来的。摘自：第三届软件集成系统可变性建模国际研讨会论文集。第145-153页。doi:10.13140/2.1.4955.0400 [43] Millo J-V、Mohalik S K和Ramesh S 2011软件产品线综合分析：一致性、活性和共性检查的基于约束的框架。收录：第四届印度软件工程会议论文集，ISEC’11，美国纽约州纽约市。第41-50页。doi:10.1145/1953355.1953361 [44] 奥斯曼，A。；Amnuaisuk，SP公司；Ho，CK，验证特征模型的基于知识的方法，217-225（2008），爱尔兰 [45] Giraldo G L、Rincón-Perez L和Mazo R 2013确定产品线模型中的死特征及其原因：本体论方法。修订版DYNA。81: 68-77. doi:10.15446/dyna.v81n183.36348 [46] Rincón L、Giraldo G L、Mazo R、Salinesi C和Diaz D 2015用于识别产品线模型缺陷纠正的方法。电子。注释理论。公司。科学。314: 61-81. doi:10.1016/j.entcs.2015.05.005 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。