{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,4,1]]，“日期-时间”：“2024-04-01T20:43:05Z”，“时间戳”：1712004185520}，“参考-计数”：49，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“3”，“许可证”：[{“开始”：{-date-parts”：[2014,10]]，《日期-时间》：“2014-11-10T00:00:00Z”，“时间戳”：1415577600000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[2015,3]]}增量建模是一种促进软件产品线自动化产品衍生的方法。它基于一组增量，指定增量应用于核心产品的修改。增量的适用性取决于应用条件而非功能。本文介绍抽象delta建模<\/jats:italic>，从抽象代数的角度探索delta建模。与之前的工作相比，我们通过引入冲突解决增量的概念，对修改之间的冲突采取了更灵活的方法。此外，我们扩展了我们的方法，允许嵌套增量模型以提高模块性。我们还提供了有关三角洲结构的条件，以确保明确的产品生成<\/jats:p>“，”DOI“：”10.1017\/s0960129512000941“，”type“：”journal-article“，”created“：{”date-parts“：[[2014,11,10]]，”date-time“：”2014-11-10T17:39:00Z“，”timestamp“：141564114000}，”page“：“：[{”given“：”DAVE“，”family“：”CLARKE“，“sequence“：”first“，”affiliation“：[]}，{“given”：“MICHIEL”，“family”：“HELVENSTEIJN”，“sequence”：“additional”，“affiliance”：[]{“给定”：“INA”，“家族”：“SCHAEFER”，“序列”：“附加”，“filiation”：[]}]，“member”：“56”，“published-online”：{“date-parts”：[[2014,11,10]]}941_ref49“，”非结构化“：”Zhang H.和Jarzabek S.（2003）基于XVCL的软件产品线开发方法。在：软件工程和知识工程267\u2013275.“}，{“key”：“S0960129512000941_ref48”，“doi-asserted-by”：“crossref”，“unstructured”：“V\u00f6lter M.和Groher I.（2007）使用面向方面和模型驱动的软件开发实现产品线。在：SPLC 233\u2013242.”，“doi”：“10.1109\/SPLINE.2007.23”}S0960129512000941_ref46“，”doi-asserted-by“：”crossref“，”unstructured“：”Tarr P.，Osser H.，Harrison W.和Sutton S.Jr（1999）N分离度：关注的多维分离。在：ICSE 107\u2013119.“，”DOI“：”10.1145\/302405.302457“}，{“key”：“S0960129512000941_ref45”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1145\/505145.505148”}，“key“：”S096012512000941_ref41“，”DOI-assert-by“：”publisher“，”DOI“：40“，“非结构化”：“Schaefer I.（2010）软件产品线的模型驱动开发的可变性建模。In:软件密集型系统可变性建模国际研讨会（VaMoS 2010）85\u201392.“}，{”key“：”S0960129512000941_ref39“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BFb0053389“}”，{“key”：“S0960192512000942_ref38”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/3-540-28901-1”}，“{”密钥“：”SO960129512000941_ref35“，“非结构化”：“Odersky M.（2007）《Scala语言规范》，2.4版。EPFL编程方法实验室技术报告。“}，{”key“：”S0960129512000941_ref34“，”doi-asserted-by“：”crossref“，”unstructured“：”Noda N.and Kishi T.（2008）面向方面的可变性管理建模。In：SPLC 213\u2013222.“，”doi“：”10.1109\/SPLC.2008.44“}“遗留应用程序的面向功能重构。在：ICSE 112\u2013121.“，”DOI“：”10.1145\/1134285.1134303“}，{”key“：”S0960129512000941_rep27“，”DOI-asserted-by“：”publisher“，”DOI“：“10.1007\/BFb0053381”}，“key”：“S09601251200941_reb25”，“DOI-assert-by”：“publisher”，“DOI”：“10.1145\/1368088.1368131”}、{”key“：“S0960129512000942_ref33”，“DOI-asserted-by”：“crossref”，“first page”：“127”，”DOI“：”10.1145\/1029894.1029915“，”volume-title“：”SIGSOFT FSE“，”author“：”Mezini“，”year“：”2004“}，{”key“：”S0960129512000941_ref24“，”first page“：“223”，”volume-title“：“SPLC”，”author“：”K\u00e4stner“，”年“：”2007“}”，{“key”：“S09012951200094 1_ref18”，”doi-asserted-by“：”publisher“，”doi“：”10.1 109\/SPLC.2008.25“}，{”key“：”S0960129512000941_ref3“，”doi-asserted-by“：”crossref“，”unstructured“：”Apel S.，K\u00e4stner C.和Lengauer C.（2009b）FeatureHouse:语言相关的自动化软件组合。其中：ICSE 221\u2013231.“，”DOI“：”10.1109\/ICSE.2009.5070523“}，{“key”：“S0960129512000941_ref43”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1145\/1868688.1868696”}，“{”key“：”S09601290512000942_ref26“，”unstructured“：”K\u00e4stner C.，Apel S.，ur Rahman S.，Rosem\u00fcller M.，Batory D.和Saake G.（2009）关于可选特征问题的影响：分析和案例研究。摘自：国际软件产品线会议（SPLC）会议记录。181\u2013190.“}，{”key“：”S0960129512000941_ref16“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/1119479.1119483“}”，{“key”：“S09601290512000942_ref14”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/978-3-540-28630-1_17”}，“key“:”S09012951200094 1_ref36“，”doi-asserted-by“”：”crossref“，“unstructured”：“Oldevik J.，Haugen\u00d8。和M\u00f8ller-Pedersen B.（2009）《域相关产品线转换中的融合》。在：FASE 34\u201348.“，”DOI“：”10.1007\/978-3-642-00593-0_3“}，”key“：”S09601951200941_ref47“，”DOI-asserted-by“：”publisher“，”DOI“：“10.2498\/cit.2002.01.01”}，“key”：“S0960129512000941_ref27”，“DOI-assert-by”：“crossref”，“unstructured”：“Perrouin G.，Klein J.，Guelf N.和J\u00e9z\u00e9quel J.-M.（2008）协调产品衍生的自动化和灵活性。在：SPLC 339\u2013348.“，”DOI“：”10.1109\/SPLC.2008.38“｝，｛”key“：”S0960129512000941_ref28“，”DOI断言“：”publisher“，”DOI“：”10.1109\/MS.2002.1020284“｝，｛”key“：”S0960129512000941_ref23“，”首页“：”258“，”卷标题“：”ASE“，”作者“：”K\u00e4stner“，”年份“：”2008“｝，｛”key“：”S0960129512000941941 _ref17“，”DOI断言者“：”crossref“，”非结构化“：”H\u00e4hnle R.（2010）HATS：使用正式方法的高度适应性和可信赖的软件。收录于：ISoLA（2）3\u20138.“，”DOI“：”10.1007\/978-3642-16561-0_2“}，{“key”：“S0960129512000941_ref19”，“unstructured”：“Heidenreich F.and Wende C.（2007）Bridge the gap between features and model.In:Aspect-Oriented Product Line Engineering（AOPLE'07）。”}，“{”key“：”S09012951200094 1_ref31“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1007\/978-3-540-27799-6_11“}，{“key”：“S0960129512000941_ref44”，“unstructured”：“Schaefer I.，Worret A.和Poetzsch-Heffter A.（2009）自动化产品衍生的基于模型的框架。In:产品线工程基于模型的方法研讨会论文集（MAPLE 2009）14\u201321。”}doi-asserted-by“：”publisher“，”doi“：”10.1007 \/11531142_8“}，{“key”：“S0960129512000941_ref12”，“volume-title”：“软件产品线：实践和模式”，“author”：“Clements”，“year”：“2001”}，“key“：”S096012512000941_ref20“，”doi-assert-by“ref2“，”doi-asserted-by“：”crossref“，”非结构化“：”Apel S.、K\u00e4stner C.和Batory D.S.（2008a）《使用功能方面的程序重构》。其中：GPCE 161\u2013170.“，”DOI“：”10.1145\/1449913.1449938“}，{“key”：”S0960129512000941_ref15“，”首页“：”1“，”volume-title“：”OOPSLA’05软件工厂国际研讨会“，”author“：”Czarnecki“，”year“：”2005“}”，{”key“：”S0.96012951200941_ref42“，”DOI-asserted-by“：”publisher“，”DOI“：“10.1145\/1960275.1960283”}，{“键”：“S0960129512000941_ref8”，“非结构化“：”Batory D.和Smith D.（2007）有限映射空间和夸克：程序结构的代数。技术报告TR-07-66，德克萨斯大学奥斯汀分校计算机科学系。“}，{”key“：”S0960129512000941_ref4“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/TSE.2007.70770“}“，{“key”：“S096019512000941_ref32”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/j.entcs.2004.08.038”}，“{”密钥“：”s09512000942_ref5“，”doi-asserted-by“，”：“publisher”，“doi”：”10.1016\/j.scico.2010.02.001“}，{“key”：“S0960129512000941_ref22”，“doi-asserted-by“：”crossref“，”unstructured“：”Kang K.C.，Cohen S.，Hess J.，Nowak W.和Peterson S.（1990）面向特征的领域分析（FODA）可行性研究。技术报告CMU\/SEI-90-TR-021，卡内基梅隆大学软件工程研究所。“，”DOI“：”10.21236\/ADA235785“}，{“key”：”S0960129512000941_ref1“，”DOI-asserted-by“：”crossref“，“unstructured”：“Apel S.，Janda F.，Trujillo S.和K\u00e4stner C.（2009a）软件产品线中的模型叠加。in:模型转换国际会议（ICMT）4\u201319.“S0960129512000941_ref6“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/136586.136587“}，”key“：”S09601951200941_ref“，”doi-asserte-by“：”publisher“，”DI:“10.1109\/TSE.2004.23”}，“key”：“S09012951200094 1_ref9”，“doi-assert-by”：“crossref”，“unstructured”：“Bettini L.，Damiani F.and Schaefer I.（2010）使用特性实现软件产品线。In:Proceedings of Object-Oriented Programming Languages and Systems（OOPS），Track of ACM SAC 2096\u20132102.“，”DOI“：”10.1145\/1774088.1774530“}，{“key”：“S096019512000941_ref10”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/j.entcs.2007.10004”}，“key“：”S0951299941_ref11“，”first page“：“13”，“volume-title”：“Proceeding of GPCE”，“作者“：”克拉克“，”年“：“2010”}，{“key”：“S0960129512000941_ref13”，“首页”：“1”，“volume-title”：“DLS”，“author”：“Costanza”，“year”：“2005”}计算机科学中的数学结构“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129512000941“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,7,18]]，”date-time“2023-07-18T00:50:44Z“，”timestamp“：1689641444000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier \/S0960129512000941\/type\/journal_article“}}，“subtittle”：[]，“shorttitle”：[[]，“issued”：{“date-parts”：[[2014,11,10]}，‘references-count’：49，‘journal-issue’：{‘issue'：“3”，“published-print”：{date-parts“：[[2015,3]]}}，”alternative-id“：[”S0960129512000941“]，”URL“：”http://\/dx.doi.org\/101017\/S0960129512000941“，”relationship“：{}，“ISSN”：[”0960-1295“，”1469-8072“]，“ISSN-type”：[{“value”：“0960-1295'，”type“：”print“}，{“value”：“1469-8072'，”type“：”electronic“}”]，“主题”：[]，“发布”：{“日期部分”：[[2014,11,10]]}}