×
保罗·博尔巴;利奥波多·泰西拉;罗希特·盖伊

软件产品线细化理论。 （英语） Zbl 1254.68072号

西奥。计算。科学。 455, 2-30 (2012).
概要：为了安全地发展软件产品线，重要的是要有一个产品线细化的概念，以确保原始产品线产品的行为保持。因此，在本文中，我们提出了一种独立于语言的产品线细化理论，建立了可证明逐步和组合产品线进化的细化属性。此外，我们通过典型产品线工件的特定语言的形式化来实例化我们的理论，然后介绍并证明了一些相关产品线细化转换模板的可靠性。这些模板可用于推理特定产品线，并作为导出综合产品线细化目录的基础。

引用于2文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）

关键词：

软件产品线;软件进化;精炼;重构

软件：

Z轴;PVS公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Borba}等人，Theor。计算。科学。455，2--30（2012；Zbl 1254.68072）
全文： 内政部

参考文献：

[1] 波尔，K。；Böckle，G。；van der Linden，F.，《软件产品线工程：基础、原理和技术》（2005），施普林格出版社·Zbl 1075.68575号
[2] 范德林登，F。；施密德，K。；Rommes，E.，《软件产品线的运作：产品线工程的最佳工业实践》（2007），施普林格出版社
[3] Krueger，C.，《简化向软件大规模定制的过渡》，（第四届软件产品-家族工程国际研讨会，第四届国际软件产品-家庭工程研讨会，LNCS，第2290卷（2002），Springer），282-293·Zbl 1053.68860号
[4] 克莱门茨，P。；Northrop，L.，《软件产品线：实践和模式》（2001），Addison-Wesley
[5] 阿尔维斯，V。；马托斯，P。；科尔，L。；博尔巴，P。；Ramalho，G.，《提取和发展手机游戏产品线》（第九届国际软件产品线会议，第九届世界软件产品线大会，LNCS，第3714卷（2005），斯普林格出版社），70-81
[6] Borba，P.，《软件产品线重构简介》，（软件工程中的生成和转换技术III.软件工程III中的生成与转换技术，LNCS，第6491卷（2011），Springer），1-26
[7] W.Opdyke，《重构面向对象框架》，伊利诺伊大学香槟分校博士论文，1992年。；W.Opdyke，重构面向对象框架，博士论文，伊利诺伊大学厄巴纳-香槟分校，1992年。
[8] Fowler，M.，《重构：改进现有代码的设计》（1999），Addison-Wesley·Zbl 1020.68632号
[9] 博尔巴，P。；Sampaio，A。；卡瓦尔坎蒂，A。；Cornélio，M.，面向对象编程的代数推理，计算机编程科学，52，53-100（2004）·Zbl 1091.68027号
[10] 科尔，L。；Borba，P.，为AspectJ派生重构，（第四届面向方面软件开发国际会议（2005），ACM），123-134
[11] K.Kang，S.Cohen，J.Hess，W.Novak，A.S.Peterson，面向特征的领域分析（FODA）可行性研究，技术代表CMU/SEI-90-TR-21，卡内基梅隆大学软件工程研究所，1990年。；K.Kang，S.Cohen，J.Hess，W.Novak，A.S.Peterson，面向特征的领域分析（FODA）可行性研究，技术代表CMU/SEI-90-TR-21，卡内基梅隆大学软件工程研究所，1990年。
[12] Czarnecki，K。；艾森内克，U.，《生成性编程：方法、工具和应用》（2000），艾迪生-韦斯利出版社
[13] Hoare，C.A.R.，《数据表示正确性证明》，《信息学报》，271-281（1972）·Zbl 0244.68009号
[14] Dijkstra，E.，《结构化程序设计笔记》（1971），学术出版社
[15] 博尔巴，P。；Teixeira，L。；Gheyi，R.，《软件产品线细化理论》，（第七届国际计算理论研讨会（2010年），斯普林格），15-43·Zbl 1286.68069号
[16] Owre，S。；Rushby，J。；Shankar，N.，PVS:原型验证系统，（第11届自动扣除国际会议（1992年），施普林格），748-752
[17] V.Alves，R.Gheyi，T.Massoni，U.Kulesza，P.Borba，C.Lucena，重构产品线，收录于：第五届生成编程和组件工程国际会议，2006年，第201-210页。；V.Alves，R.Gheyi，T.Massoni，U.Kulesza，P.Borba，C.Lucena，重构产品线，收录于：第五届生成性编程和组件工程国际会议，2006年，第201-210页。
[18] 盖伊，R。；马索尼，T。；Borba，P.，《特征模型的代数定律》，《通用计算机科学杂志》，第14、21、3573-3591页（2008年）
[19] Czarnecki，K。；Helsen，S。；Eisenecker，U.，《形式化基于基数的特征模型及其专门化》，《软件过程：改进与实践》，10，1，7-29（2005）
[20] Batory，D.，《特征模型、语法和命题公式》，（第九届国际软件产品线会议，第九届世界软件产品线大会，LNCS，第3714卷（2005），Springer），7-20
[21] 肖本斯，P.-Y。；海曼斯，P。；Trigaux，J.-C。；Bontemps，Y.，《特征图的通用语义》，《计算机网络》，51，2，456-479（2007）·Zbl 1119.68113号
[22] R.Bonifácio，P.Borba，《将场景可变性建模为横切机制》，载于：第八届面向方面软件开发国际会议，2009年，第125-136页。；R.Bonifácio，P.Borba，《将场景可变性建模为横切机制》，载于：第八届面向方面软件开发国际会议，2009年，第125-136页。
[23] E.Figueiredo、N.Cacho、C.Sant’Anna、M.Monteiro、U.Kulesza、A.Garcia、S.Soares、F.Ferrari、S.Khan、F.Filho、F.Dantas，《进化软件产品线与方面：设计稳定性的实证研究》，载于：第三十届国际软件工程会议，2008年，第261-270页。；E.Figueiredo、N.Cacho、C.Sant’Anna、M.Monteiro、U.Kulesza、A.Garcia、S.Soares、F.Ferrari、S.Khan、F.Filho、F.Dantas，《进化软件产品线与方面：设计稳定性的实证研究》，载于：第30届国际软件工程会议，2008年，第261-270页。
[24] D.M.Weiss，J.J.Li，J.H.Slye，T.T.Dinh-Trong，H.Sun，《SPLE基于决策模型的代码生成》，第12届国际软件产品线会议，2008年，第129-138页。；D.M.Weiss，J.J.Li，J.H.Slye，T.T.Dinh-Trong，H.Sun，《SPLE基于决策模型的代码生成》，第12届国际软件产品线会议，2008年，第129-138页。
[25] 桑帕约，A。；Borba，P.，《顺序面向对象编程的变换法则》，（软件工程中的精化技术。软件工程中精化技术，LNCS，第3167卷（2004），Springer），18-63
[26] Kiczales，G。；Hilsdale，E。；胡古宁，J。；克尔斯滕，M。；Palm，J。；Griswold，W.，《AspectJ入门》，ACM通讯，44，10，59-65（2001）
[27] K.Czarnecki，K.Pietroszek，《根据规范OCL约束验证基于特征的模型模板》，载于：第五届生成性编程和组件工程国际会议，2006年，第211-220页。；K.Czarnecki，K.Pietroszek，《根据规范OCL约束验证基于特征的模型模板》，载于：第五届生成性编程和组件工程国际会议，2006年，第211-220页。
[28] 加塞克，C。；Anastasopoulos，M.，《实现产品线变量》，SIGSOFT软件工程注释，26，3，109-117（2001）
[29] 斯皮维，《Z符号：参考手册》（1987），普伦蒂斯·霍尔·兹比尔0777.68003
[30] S.Zschaler、P.Sánchez、J.Santos、M.Alférez、A.Rashid、L.Fuentes、A.Moreira、J.Araújo、U.Kulesza、VML*——软件产品线中可变性管理的语言系列，见：2009年第二届软件语言工程国际会议，第82-102页。；S.Zschaler、P.Sánchez、J.Santos、M.Alférez、A.Rashid、L.Fuentes、A.Moreira、J.Araújo、U.Kulesza、VML*——软件产品线中可变性管理的语言系列，见：2009年第二届软件语言工程国际会议，第82-102页。
[31] D.S.Batory，面向特征编程和AHEAD工具套件，载于：第26届国际软件工程会议，2004年，第702-703页。；D.S.Batory，面向特征的编程和AHEAD工具套件，载于：第26届国际软件工程会议，2004年，第702-703页。
[32] 阿佩尔，S。；卡斯特纳，C。；Lengauer，C.，Feature Featherweight Java：面向特征编程和逐步精化的微积分，（第七届生成编程和组件工程国际会议（2008）），101-112
[33] 盖伊，R。；马索尼，T。；Borba，P.，对象模型的抽象等价概念，《理论计算机科学中的电子笔记》，130，3-21（2005）·Zbl 1272.68248号
[34] 马索尼，T。；Gheyi，R。；Borba，P.，《形式化模型驱动程序重构》，（第11届软件工程基本方法国际会议，第11届国际软件工程基本途径会议，LNCS，第4961卷（2008），Springer），362-376
[35] S.Thaker，D.Batory，D.Kitchin，W.Cook，《产品线的安全构成》，载于：第六届生成性编程和组件工程国际会议，2007年，第95-104页。；S.Thaker，D.Batory，D.Kitchin，W.Cook，《产品线的安全构成》，载于：第六届生成性编程和组件工程国际会议，2007年，第95-104页。
[36] C.Kästner、S.Apel、T.Thüm、G.Saake，基于注释的产品线类型检查，《ACM软件工程与方法学报》（正在出版）。；C.Kästner、S.Apel、T.Thüm、G.Saake，基于注释的产品线类型检查，《ACM软件工程与方法学报》（正在出版）。
[37] J.A.Goguen，J.Meseguer，《安全政策和安全模型》，摘自：IEEE安全与隐私研讨会，1982年，第11页。；J.A.Goguen，J.Meseguer，《安全政策和安全模型》，摘自：IEEE安全与隐私研讨会，1982年，第11页·Zbl 0493.68014号
[38] L.Neves，L.Teixeira，D.Sena，V.Alves，U.Kulesza，P.Borba，《研究软件产品线的安全演变》，载于：第十届生成编程和组件工程国际会议，2011年，第33-42页。；L.Neves，L.Teixeira，D.Sena，V.Alves，U.Kulesza，P.Borba，《研究软件产品线的安全演变》，载于：第十届生成编程和组件工程国际会议，2011年，第33-42页。
[39] W.Opdyke，R.Johnson，《重构：设计应用框架和演化面向对象系统的帮助》，摘自：《面向对象编程强调实际应用研讨会》，1990年，第145-160页。；W.Opdyke，R.Johnson，《重构：设计应用程序框架和发展面向对象系统的辅助》，载于：强调实际应用的面向对象编程研讨会，1990年，第145-160页。
[40] Morgan，C.，《规范编程》（1994），普伦蒂斯·霍尔·Zbl 0829.68083号
[41] 罗斯科，A。；Hoare，C.，《occam编程定律》，《理论计算机科学》，60，2，177-229（1988）·Zbl 0719.68039号
[42] 霍尔，C.A.R。；斯皮维，J。；海耶斯，I。；He，J。；摩根，C。；罗斯科，A。；桑德斯，J。；索伦森，I。；Sufrin，B.，《编程法》，《ACM通信》，第30、8、672-686页（1987年）·Zbl 0629.68006号
[43] L.Silva，A.Sampaio，Z.Liu，带参考语义的面向对象定律，载于：第六届IEEE软件工程与形式化方法国际会议，2008年，第217-226页。；L.Silva，A.Sampaio，Z.Liu，具有参考语义的面向对象定律，载于：第六届IEEE软件工程和形式化方法国际会议，2008年，第217-226页。
[44] M.Critchlow，K.Dodd，J.Chou，A.van der Hoek，重构产品线架构，收录于：第一届重构国际研讨会：成就、挑战和效果，2003年，第23-26页。；M.Critchlow，K.Dodd，J.Chou，A.van der Hoek，重构产品线架构，收录于：第一届重构国际研讨会：成就、挑战和效果，2003年，第23-26页。
[45] R.Kolb，D.Muthig，T.Patzke，K.Yamauchi，重构遗留组件以便在产品线中重用的案例研究，载于：第21届软件维护国际会议，2005年，第369-378页。；R.Kolb，D.Muthig，T.Patzke，K.Yamauchi，重构遗留组件以便在产品线中重用的案例研究，载于：第21届软件维护国际会议，2005年，第369-378页。
[46] S.Trujillo，D.Batory，O.Diaz，《将多表示程序特征重构为产品线》，载于：第五届生成性编程和组件工程国际会议，2006年，第191-200页。；S.Trujillo，D.Batory，O.Diaz，《将多表示程序特征重构为产品线》，载于：第五届生成性编程和组件工程国际会议，2006年，第191-200页。
[47] J.Liu，D.Batory，C.Lengauer，遗留应用程序的面向特征重构，摘自：第28届软件工程国际会议，2006年，第112-121页。；J.Liu，D.Batory，C.Lengauer，面向特征的遗留应用程序重构，载于：第28届国际软件工程会议，2006年，第112-121页。
[48] C.Kastner、S.Apel、D.Batory，《使用AspectJ实现特性的案例研究》，载于：第11届国际软件产品线会议，2007年，第223-232页。；C.Kastner、S.Apel、D.Batory，《使用AspectJ实现特性的案例研究》，载于：第11届国际软件产品线会议，2007年，第223-232页。
[49] F.Calheros，P.Borba，S.Soares，V.Nepomuceno，V.Alves，产品线可变性重构工具，收录于：重构工具第一次研讨会，2007年，第33-34页。；F.Calheros、P.Borba、S.Soares、V.Nepomuceno、V.Alves，《产品线可变性重构工具》，载于《重构工具第一次研讨会》，2007年，第33-34页。
[50] V.Alves，F.Calheros，V.Nepomuceno，A.Menezes，S.Soares，P.Borba，FLiP:管理软件产品线提取和方面反应，见：第12届国际软件产品线会议，2008年，第354页。；V.Alves，F.Calheros，V.Nepomuceno，A.Menezes，S.Soares，P.Borba，FLiP:管理软件产品线提取和方面反应，见：第12届国际软件产品线会议，2008年，第354页。
[51] V.Alves，I.Cardim，H.Vital，P.Sampaio，A.Damasceno，P.Borba，G.Ramalho，J2ME游戏中移植策略的比较分析，收录于：第21届IEEE软件维护国际会议，2005年，第123-132页。；V.Alves，I.Cardim，H.Vital，P.Sampaio，A.Damasceno，P.Borba，G.Ramalho，J2ME游戏中移植策略的比较分析，收录于：第21届IEEE软件维护国际会议，2005年，第123-132页。
[52] R.Lotufo，S.She，T.Berger，K.Czarnecki，A.Wasowski，《Linux内核可变性模型的演变》，载于：第14届软件产品线国际会议，2010年，第136-150页。；R.Lotufo，S.She，T.Berger，K.Czarnecki，A.Wasowski，《Linux内核可变性模型的演变》，载于：第14届软件产品线国际会议，2010年，第136-150页。
[53] Steimann，F。；Thies，A.，《从公共到私有到缺席：在受限可访问性下重构Java程序》，（第23届欧洲面向对象编程会议，第23届欧盟面向对象编程大会，LNCS，第5653卷（2009），Springer），419-443
[54] 苏亚雷斯，G。；Gheyi，R。；塞利·D·。；Massoni，T.，《使程序重构更安全》，IEEE软件，27，52-57（2010）
[55] A.Banerjee，D.A.Naumann，类Java语言中的安全信息流和指针限制，载于：第15届IEEE计算机安全基础研讨会，2002年，第253-267页。；A.Banerjee，D.A.Naumann，《类Java语言中的安全信息流和指针限制》，收录于：IEEE第15届计算机安全基础研讨会，2002年，第253-267页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。