×
卡洛斯·卡马乔;路易斯·拉纳;阿尔贝托·努涅斯

软件产品线的成本相关接口。 （英语） Zbl 1346.68059号

J.日志。阿尔盖布。方法计划。 85，第1号，第2部分，227-244（2016）.
概要：软件产品线建模通过自动化系统调试和分析来改进软件开发过程。本文的目标是扩展形式化框架SPLA，以表示成本对象等特性，以及产品之间的生产成本比较。我们通过为Chef（一种广泛使用的配置管理工具）创建有效的运行列表建模，用一个实际示例来说明此扩展。此外，我们使用SCOOP在分布式系统中执行我们的正式规范，并提供策略来优化计算SPLA项所需的工作。

引用于1文件

MSC公司：

68纳米30 软件工程的数学方面（规范、验证、度量、需求等）
68N99型 软件理论

关键词：

软件产品线;成本模型;形式化方法;要素模型;厨师长;运行列表

软件：

克洛诺斯;Uppaal公司
PDF格式BibTeX公司 XML格式引用
\textit{C.Camacho}等人，J.Log。阿尔盖布。方法计划。85，第1号，第2部分，227--244（2016；Zbl 1346.68059）
全文： 内政部

参考文献：

[1] Kang，K。；科恩，S。；赫斯，J。；诺瓦克，W。；Peterson，A.，《面向特征的领域分析（FODA）可行性研究》（1990年），卡内基梅隆大学，技术代表CMU/SEI-90-TR-21
[2] 格里斯，M。；Favaro，J.，《将特征建模与RSEB集成》，（第五届软件重用国际会议，第五届国际软件重用会议，ICSR'98（1998）），76-85
[3] Kollu，K.，《通过对街机游戏制造商产品线建模来评估plus域建模方法》（2005年），Umea大学博士论文
[4] 埃里克森，M。；Borstler，J。；Borg，K.，The plus方法-带特征、用例和用例实现的领域建模，（第九届软件产品线国际会议，第九届国际软件产品线会议，SPLC'06（2006），Springer-Verlag），33-44
[5] Sun，J。；张，H。；Wang，H.，特征建模的形式语义和验证，（第十届IEEE复杂计算机系统工程国际会议，第十届EEE复杂计算机系统国际会议，ICECCS’05（2005），IEEE计算机社会出版社），303-312
[6] Höfner，P。；Khédri，R。；Möller，B.，特征代数，（第14届形式方法国际研讨会，第14届国际形式方法研讨会，FM'06。第十四届形式方法国际研讨会。第十四届形式方法国际研讨会，FM'06，Lect。注释计算。科学。，第4085卷（2006年），施普林格出版社），300-315
[7] Höfner，P。；Khédri，R。；Möller，B.，产品族代数，Softw。系统。型号。，10, 2, 161-182 (2011)
[8] 安德烈斯，C。；卡马乔，C。；Llana，L.，软件产品线的正式框架，Inf.Softw。技术。，55, 11, 1925-1947 (2013)
[9] Mannion，M.，《使用一阶逻辑进行产品线模型验证》，（第二届国际软件产品线会议，第二届世界软件产品线大会，SPLC’02（2002），Springer），176-187·Zbl 1045.68543号
[10] Czarnecki，K。；Wasowski，A.，《功能图和逻辑：此起彼伏》，（第11届国际软件产品线会议，第11届世界软件产品线大会，SPLC'07（2007），IEEE计算机学会出版社），23-34
[11] 阿西雷利，P。；ter Beek，M.H。；格内西，S。；Fantechi，A.，建模产品系列的道义逻辑框架，（第四届软件集成系统可变性建模国际研讨会，第四届国际软件集成系统可变性建模研讨会，VaMoS’10（2010）），37-44
[12] 阿西雷利，P。；ter Beek，M.H。；Fantechi，A。；Gnesi，S.，《处理可变性的逻辑框架》（第八届综合形式方法国际会议，第八届国际综合形式方法会议，IFM’10（2010），Springer），43-58
[13] Nummenmaa，J.公司。；Nummenmaa，T。；Zhang，Z.，《关于使用LTS分析由功能组成的软件产品线产品》，（Sun，F.；Li，T.；李，H.，《知识工程与管理》，《高级智能系统计算》，第214卷（2014），Springer:Springer Berlin，Heidelberg），531-541
[14] Nakajima，S.，《FODA特征图的半自动诊断》，（第25届ACM应用计算研讨会，第25届ASM应用计算会议，SAC’10（2010），ACM出版社），2191-2197
[15] Bontemps，Y。；海曼斯，P。；肖本斯，P。；Trigaux，J.，FODA特征图的语义，（第一次产品衍生的软件可变性管理研讨会-面向工具支持。第一次产品衍生的软件可变性管理研讨会-面向工具支持，SPLCW’04（2004），施普林格），48-58
[16] Nguyen，V。；Deeds-rubin，S。；Tan，T.等人。；Boehm，B.，SLOC计数标准，（COCOMO II Forum 2007（2007）），1-16
[17] Boehm，B。；Abts，C。；A.布朗。；Chulani，S.，《使用COCOMO II进行软件成本估算》（2009），普伦蒂斯·霍尔出版社
[18] Jorgensen，M.，《软件开发工作专家评估研究综述》，J.Syst。软质。，70, 1-2, 37-60 (2004)
[19] Gencel，C.，《如何在工作量估算模型中使用宇宙函数大小？》？，（《软件过程和产品度量》，《软件过程与产品度量》（Software Process and Product Measurement），Lect.Notes Compute.Sci.，第5338卷（2008），Springer:Springer Berlin，Heidelberg），196-207
[20] 侯赛因一世。；Kosseim，L。；Ormandjieva，O.，《支持敏捷早期工作量估算的宇宙函数大小近似》，《数据知识》。工程，85，2-14（2013）
[21] 罗宾斯，J。；雅各布·A·Opscode厨师（2014）
[22] 沙克曼，H。；Horst，H.，《基于成本的软件产品线管理方法》，（《软件产品管理国际研讨会论文集》，《国际软件产品管理研讨会论文集，IWSPM’06（2006），IEEE计算机社会出版社），13-18
[23] Boehm，B。；A.布朗。；马达奇，R。；Yang，Y.，软件产品线生命周期成本估算模型，（《实证软件工程国际研讨会论文集》，国际实证软件工程研讨会论文集，ISESE’04（2004）），156-164
[24] 诺兰，A。；Abrahao，S.，《处理软件产品线中的成本估算：经验和未来方向》，（SPLC.SPLC，Lect.Notes Compute Sci.，第6287卷（2010），Springer），121-135
[25] 博克尔，G。；克莱门茨，P。；McGregor，J。；穆提格，D。；Schmid，K.，《软件产品线的成本模型》，（Linden，F.，《软件生产-家族工程》，软件产品-家族工程，Lect.Notes Compute.Sci.，第3014卷（2004），Springer:Springer Berlin，Heidelberg），310-316
[26] Anquetil，N。；Kulesza，美国。；Mitschke，R。；Moreira，A。；罗伊尔，J.-C。；伦姆勒，A。；Sousa，A.，软件产品线的模型驱动跟踪框架，Softw。系统。型号。，9, 4, 427-451 (2010)
[27] Satyananda，T.K。；Lee，D。；康，S。；Hashmi，S.I.，《使用形式概念分析识别软件产品线中特征模型和软件架构之间的可追溯性》，（2007年国际会议计算科学及其应用论文集。2007年国际计算科学及应用论文集，ICCSA'07（2007），IEEE计算机学会：IEEE计算机协会（美国华盛顿特区），380-388
[28] Czarnecki，K。；Pietroszek，K.，《根据规范OCL约束验证基于特征的模型模板》，（第五届生成程序设计和组件工程国际会议论文集。第五届国际生成程序设计与组件工程会议论文集，GPCE’06（2006），ACM：美国纽约州纽约市ACM）， 211-220
[29] Batory，D。；Benavides，D。；Ruiz，A.，《特征模型的自动分析：未来的挑战》，Commun。ACM，49，45-47（2006）
[30] 贝尔曼，G。；Larsen，K.G。；Rasmussen，J.I.，《使用定价时间自动机的最优调度》，SIGMETRICS Perform.Eval。修订版，32、4、34-40（2005）
[31] 贝尔曼，G。；Fehnker，A。；Hune，T。；拉森，K。；Pettersson，P。；罗米恩，J。；Vaandrager，F.，定价时间自动机的最小成本可达性，（Di Benedetto，M.；Sangiovanni-Vincentelli，A.，《混合系统：计算和控制》，Lect.Notes Compute.Sci.，第2034卷（2001），Springer:Springer Berlin，Heidelberg），147-161·Zbl 0991.68037号
[32] 阿鲁尔（Alur，R.）。；La Torre，S。；Pappas，G.，加权时间自动机中的最优路径，（Di Benedetto，M.；Sangiovanni-Vincentelli，A.，Hybrid Systems:Computation and Control，Lect.Notes Compute.Sci.，vol.2034（2001），Springer:Springer Berlin，Heidelberg），49-62·Zbl 0991.93076号
[33] Uppaal Cora（2005）
[34] 博兹加，M。；Daws，C。；马勒，O。；奥利维罗，A。；Tripakis，S。；Yovine，S.，Kronos：实时系统的模型检查工具，（Ravn，a.；Rischel，H.，《实时和容错系统中的形式化技术》，《实时与容错系统的形式化方法》，Lect.Notes Compute Sci.，第1486卷（1998），Springer:Springer Berlin，Heidelberg），298-302
[35] 贝尔曼，G。；大卫·A。；Larsen，K.G。；哈坎森，J。；佩特森，P。；Yi，W。；Hendriks，M.，Uppaal 4.0，（第三届系统定量评估国际会议论文集。第三届国际系统定量评估会议论文集，QEST’06（2006），IEEE计算机学会：IEEE计算机协会，美国哥伦比亚特区华盛顿），125-126
[36] 西崎，S。；Kiyoto，H.，《基于过程代数的成本分析形式框架》（Zhao，M.；Sha，J.，《通信和信息处理》，《通信与信息处理》（Commun.Compute.Inf.Sci.），第288卷（2012年），施普林格：施普林格柏林，海德堡），110-117
[37] Kiyoto，H。；Nishizaki，S.，《成本分析的扩展过程代数》，Found。计算。科学。技术。，2, 2, 197-214 (2012)
[38] Hillston，J.，《定量分析的过程代数》，（第20届计算机科学中的逻辑研讨会论文集。第20届计算科学中的逻辑学研讨会论文集，LICS’05（2005），IEEE计算机学会：IEEE计算机协会，美国华盛顿特区），239-248
[39] Buchholz，P。；Kemper，P.，《量化过程代数的动态行为》，（PAPM-PROBMIV 2001，亚琛·Zbl 1007.68130号
[40] Bosch，J.，《软件架构的设计和使用：采用和发展产品线方法》（2000），Addison-Wesley
[41] 阿特金森，C。；拜耳，J。；本斯，C。；Kamsties，E。；Laitenberger，O。；拉奎，R。；穆提格，D。；Paech，B。；Wüst，J。；Zettel，J.，《基于组件的UML产品线工程》（2002），Addison-Wesley
[42] 克日什托夫，C。；西蒙，H。；Ulrich，W.，《通过特征模型的专业化和多级配置进行分级配置》，Softw。工艺改进。实际。，10, 2, 143-169 (2005)
[43] Batory，D.，《特征模型、语法和命题公式》，（第九届国际软件产品线会议，第九届软件产品线国际会议，SPLC'05（2005），Springer），7-20
[44] Czarnecki，K。；Helsen，S.，《基于特征的模型转换方法调查》，IBM Syst。J.，45，3，621-646（2006）
[45] 海曼斯，P。；肖本斯，P。；Trigaux，J。；Bontemps，Y。；Matulevicius，R。；Classen，A.，评估特征图语言的形式属性，IET Softw。，2, 3, 281-302 (2008)
[46] 门登萨，M。；Wasowski，A。；Czarnecki，K.，《基于SAT的特征模型分析很容易》（第13届国际软件产品线会议，第13届SPLC’09（2009）国际软件产品系列会议），231-240
[47] Benavides，D。；塞古拉，S。；Ruiz，A.，《20年后特征模型的自动分析：文献综述》，信息系统。，35, 6, 615-636 (2010)
[48] 肖本斯，P.Y。；海曼斯，P。；Trigaux，J.-C。；Bontemps，Y.，特征图的通用语义，计算。净值。，51, 2, 456-479 (2007) ·Zbl 1119.68113号
[49] Hold-Geoffroy，Y。；加格农，O。；Parizeau，M.，一旦你挖到了，就不需要掏腰包了，（2014年极端科学与工程发现环境年会论文集（2014），ACM），60
[50] 格雷戈里奥·罗德里格斯，C。；拉娜，L。；Martínez-Torres，R.，《利用就绪模拟和iocos输入输出一致性模拟扩展MCRL2》，（第30届ACM应用计算研讨会论文集。第30届应用计算ACM研讨会论文集，SAC’15（2015），ACM出版社），1781-1788
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。