斯特吕贝尔，D。;J.鲁宾。;阿伦特，T。;M.契契克。;泰特泽，G。;Plöger，J。 基于可变性的模型转换：形式基础和应用。 （英语） Zbl 1380.68133号 正式Asp。计算。 30，第1期，133-162（2018）. MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：模型转换;图形变换;可变性;范畴理论 软件：ATL公司;变身;VMQL（VMQL）;gSpan（量程）;规则合并;GGL公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Strüber}等人，正式Asp。计算。30，第1号，133--162（2018；Zbl 1380.68133） 全文： 内政部 参考文献： [1] Arendt T、Biermann E、Jurack S、Krause C、Taentzer G（2010）Henshin：就地EMF模型转换的先进概念和工具。摘自：模型驱动工程语言和系统国际会议论文集。施普林格，第121-135页 [2] Arendt T，Habel A，Radke H，Taentzer G（2014）《从核心OCL不变量到嵌套图约束》。图变换国际会议论文集，第97-112页·Zbl 1423.68092号 [3] Alkhazi B、Ruas T、Kessentini M、Wimmer M、Grosky WI（2016）ATL模型转换的自动重构：基于搜索的方法。摘自：模型驱动工程语言和系统国际会议论文集。ACM，第295-304页 [4] Acretoaie V，Störrle H（2015）使用VMQL进行高效模型查询。摘自：关于将建模与基于搜索和示例的方法相结合的研讨会论文集，第7-16页。http://CEUR-WS.org [5] Anjorin A，Saller K，Lochau M，Schürr A（2014）使用规则求精对三重图文法进行模块化。摘自：软件工程基本方法国际会议论文集，第340-355页 [6] Atallah MJ（2002）算法和计算理论手册。剑桥CRC出版社·Zbl 0916.68001号 [7] Enrico B，Claudia E，Gabriele T（2012）通过代数图变换实现一致EMF模型变换的形式基础。软件系统建模11（2）：227-250·doi:10.1007/s10270-011-0199-7 [8] Bürdek J，Kehrer T，Lochau M，Reuling D，Kelter U，Schürr A（2015）使用特征模型上的复杂差异进行产品线进化推理。自动化软件工程杂志23（4）：1-47 [9] Born K，Lambers L，Strüber D，Taentzer G（2017）图变换系统中冲突和依赖的粒度。图变换国际会议论文集。施普林格，pp 125-141·兹比尔1425.68155 [10] Blouin D，Plantec A，Dissaux P，Singhoff F，Diguet J-P（2014）用三重图语法同步丰富语言的模型：一份经验报告。摘自：模型转换理论与实践国际会议论文集 [11] Czarnecki K，Antkiewicz M（2005）《将特征映射到模型：基于叠加变体的模板方法》。摘自：《生成性编程和组件工程国际会议论文集》，ACM，第422-437页 [12] Chechik M、Famelis M、Salay R、Strüber D（2016）《模型转换重用的观点》。在：综合正式方法国际会议记录。施普林格，第28-44页 [13] Cuadrado JS、Guerra E、de Lara J（2014）《模型转换的可重用性逆向工程》。摘自：模型转换理论与实践国际会议论文集。施普林格，第186-201页·Zbl 1002.18006号 [14] Krzysztof C，Simon H（2006），模型转换方法的基于特征的调查。IBM系统J 45（3）：621-646·数字对象标识代码：10.1147/sj.453.0621 [15] Sánchez CJ，Garcia MJ（2009）嵌入式领域特定语言家族的基于模型的方法。IEEE Trans Softw工程35（6）：825-840·doi:10.1109/TSE.2009.14 [16] Clements PC，Northrop L（2001）《软件产品线：实践和模式》。波士顿Addison-Wesley [17] Cook SA（1971）理论证明程序的复杂性。摘自：第三届ACM计算理论年会论文集。ACM，第151-158页·Zbl 0253.68020号 [18] Deissenboeck F、Hummel B、Juergens E、Pfaehler M、Schaetz B（2010）《实际中的模型克隆检测》。摘自：软件克隆研讨会论文集。ACM，第57-64页 [19] Hartmut E，Karsten E，Ulrike P，Gabriele T（2006）基于粘着HLR范畴的类型化属性图和图变换的基本理论。Fundam Inf 74（1）：31-61·Zbl 1106.68055号 [20] Hartmut E，Karsten E，Ulrike P，Gabriele T（2006）代数图变换基础。理论计算机科学专著。EATCS系列。施普林格·Zbl 1106.68055号 [21] Ehrig H，Golas U，Habel A，Lambers L，Orejas \[F（2012）{\mathcal{M}}\]具有嵌套应用条件的M-粘合剂转化系统。第二部分：嵌入、关键对和局部汇合。Fundam Inf 118（1-2）：35-63·Zbl 1242.68128号 [22] Ehrig H、Golas U、Habel A、Lambers L、Orejas F（2014）《嵌套应用条件下的M-粘合剂转化系统》。第1部分：并行、并发和合并。数学结构计算科学24（04）：240406·Zbl 1342.68176号 [23] Famelis M、Lucio L、Selim G、Salay R、Chechik M、Cordy JR、Dingel J、Vangheluwe H、Ramesh S（2015）《迁移汽车产品线：案例研究》。摘自：模型转换理论与实践国际会议论文集。施普林格 [24] Ulrike G、Annegret H、Hartmut E（2014）《间位胶类应用条件下规则的多重错位》。数学结构计算科学24（04）：240405·Zbl 1342.68178号 ·doi:10.1017/S0960129512000345 [25] Ghamarian AH，Rensink A（2012），图变换中的广义组合性。图变换国际会议论文集。施普林格，第234-248页·Zbl 1367.68131号 [26] Hermann F、Gottmann S、Nachtigall N、Braatz B、Morelli G、Pierre A、Engel T（2013）《使用三重图形语法自动翻译卫星程序》。摘自：模型转换理论与实践国际会议论文集。施普林格，第50-51页 [27] Annegret H，Reiko H，Gabriele T（1996）《负应用条件下的图文法》。Fundam Inf 26（3/4）：287-313·Zbl 0854.68055号 [28] Heckel R，Küster JM，Taentzer G（2002）类型化属性图变换系统的汇聚。图变换国际会议论文集。施普林格，第161-176页·Zbl 1028.68031号 [29] Horváthá、VarróG和VarröD（2007）用于匹配高级图形模式的通用搜索计划。ECEASST 6。http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/49 [30] Holthusen S、Wille D、Legat C、Beddig S、Schaefer I、Vogel-Heuser B（2014）自动化软件中功能框图的族模型挖掘。收录：国际软件产品线会议记录。ACM，第36-43页 [31] IzsóB，Szatmári Z，Bergmann Gábor，Horváthá，R（2013）《预测图形查询性能的精确指标》。收录：自动化软件工程国际会议论文集。IEEE，第421-431页 [32] Jouault F、Allilaire F、Bézivin J、Kurtev I、Valduriez P（2006）ATL：类QVT转换语言。附：面向对象编程系统、语言和应用研讨会论文集。ACM，第719-720页 [33] Kästner C，Apel S（2008）《集成产品线工程的合成和注释性方法》。摘自：《产品线工程模块化、合成和生成技术研讨会论文集》，第35-40页 [34] Kavimandan A、Gokhale A、Karsai G、Gray J（2011）通过可重用模型转换管理软件产品线架构的质量。摘自：QoSA/ISARCS会议记录。ACM，第13-22页 [35] Miryung K，Vibha S，David N，Gail M（2005）《代码克隆谱系的实证研究》。ACM SIGSOFT软件工程注释30（5）：187-196·doi:10.145/1095430.1081737 [36] Kusel A、Schönböck Johannes、Wimmer Manuel、Kappel Gerti、Retschitzegger Werner、Schwinger Wieland（2013）模型到模型转换语言中的重用：我们已经存在了吗？J软件系统建模1-36 [37] Krause C，Tichy M，Giese H（2014）在批量同步并行模型中实现图形转换。摘自：《软件工程基本方法国际会议论文集》，施普林格，325-339页 [38] Mann M，Ekker H，Flamm C（2013）图形语法库——化学图形重写系统的通用框架。摘自：模型转换理论与实践国际会议论文集。施普林格，第52-53页·Zbl 1002.18006号 [39] Tamás M、Gergely M、Tihamér L、Márk A（2010）《模型转换系统的手动和自动性能优化》。国际J Softw Tools Technol Transf 12（3-4）：231-243 [40] Mihaly M，Marek Z（2001）简单\[{\omega}\]ω-范畴和圆盘的对偶性。理论应用类别8（7）：114-243·Zbl 1002.18006号 [41] Anh NH、Thanh NT、Pham NH、Jafar A-K、Nguyen TN（2012）《进化软件的克隆管理》。IEEE Trans Softw工程38（5）：1008-1026·doi:10.1109/TSE.2011.90 [42] Shiva N、Mehrdad S、Marsha C、Steve E、Pamela Z（2012）《变体特征规范的匹配与合并》。IEEE Trans Softw工程38（6）：1355-1375·doi:10.1109/TSE.2011.112 [43] 天啊。http://www.omg.org/spec/UML/2.5/。上次访问时间：2011年1月·Zbl 1106.68055号 [44] Pham NH、Nguyen HA、Ngueen TT、Al-Kofahi JM、Nugyen TN（2009）《基于图形的模型中的完整和准确克隆检测》。摘自：《软件工程国际会议论文集》，IEEE，第276-286页 [45] Richa，Borde E，Pautet L（2015）《将ATL模型转换为代数图转换》。摘自：模型转换理论与实践国际会议记录。施普林格，第183-198页 [46] Rubin J，Chechik M（2012）将相关产品整合到产品线中。摘自：《软件工程基本方法国际会议论文集》，施普林格，第285-300页 [47] Rubin J，Chechik M（2013）《产品线合并重组质量》。摘自：《软件工程基本方法国际会议论文集》，Springer，第83-98页 [48] Rensink A（2010）图变换中的构图性。收录：自动化、语言和编程国际研讨会论文集。施普林格，第309-320页·Zbl 1288.68144号 [49] Rentschler A（2015）具有模块化信息隐藏的模型转换语言。卡尔斯鲁厄理工学院博士论文·Zbl 0854.68055号 [50] Rensink A，Kuperus J-H（2009）《重印天竺葵：关于嵌套图转换规则》。ECEASST 18。http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/260 [51] Ryssel U、Ploennigs J、Kabitzsch K（2010）基于功能块的模型中的自动变量点识别。收录：《生成编程与组件工程国际会议论文集》，ACM，第23-32页·Zbl 1242.68128号 [52] Rensink A，Schmidtá，VarróD（2004）《模型检查图变换：两种方法的比较》。In：程序。图变换国际会议，第226-241页。施普林格·Zbl 1116.68486号 [53] Rudolf M（1998）利用约束满足技术进行有效的图形模式匹配。收录：图形变换理论与应用研讨会论文集。施普林格，第238页·Zbl 0971.68650号 [54] Rentschler A、Werle D、Noorshams Q、Happe L、Reussner R（2014），使用自动聚类技术对遗留模型转换进行重新模块化。摘自：模型转换分析研讨会论文集，第4-13页。http://CEUR-WS.org [55] Sellis TK（1988）多查询优化。ACM跨数据库系统（TODS）13（1）：23-52·数字对象标识代码：10.1145/42201.42203 [56] Syriani E，Gray J（2012）模型转换中解决质量因素的挑战。摘自：软件测试、验证和确认国际会议记录。IEEE，第929-937页 [57] Segura S、Galindo JA、Benavides D、Parejo JA和Ruiz-Cortes A（2012）BeTTy：特征模型自动分析的基准测试和测试。摘自：软件密集型系统可变性建模研讨会论文集，第63-71页 [58] Sijtema M（2010）在ATL中引入可变性规则，以管理基于MDE的产品线中的可变性。附：ATL模型转换研讨会会议记录，第39-49页 [59] Shane S，Wojtek K（2003）模型转换：模型驱动软件开发的核心和灵魂。IEEE软件20（5）：42-45·doi:10.1109/MS.2003.1231150 [60] Strüber D、Kehrer T、Arendt T、Pietsch C、Reuling D（2016）《模型转换的可扩展性：立场文件和基准集》。内容：可扩展模型驱动工程研讨会，第21-30页 [61] Strüber D，Plöger J，Acretoaie V（2016）基于图形的模型转换语言的克隆检测。摘自：模型转换理论与实践国际会议论文集。施普林格，第191-206页 [62] Strüber D，Rubin J，Arendt T，Chechik M，Taentzer G，Plöger J（2016）RuleMerger：基于变量的规则的自动构建。摘自：《软件工程基本方法国际会议论文集》，施普林格出版社，第122-140页·兹比尔1378.68024 [63] Strüber D，Rubin J，Chechik M，Taentzer G（2015）一种基于可变性的可重用和高效模型转换方法。摘自：《软件工程基本方法国际会议论文集》，施普林格出版社，第283-298页 [64] Strüber D，Schulz S（2016）管理模型转换规则族的工具环境。图转换国际会议（ICGT）论文集，纪念Hartmut Ehrig。施普林格，第89-101页 [65] Störrle H（2014）关于布局质量对理解UML图的影响：尺寸很重要。摘自：模型驱动工程语言和系统国际会议论文集。施普林格，第518-534页 [66] Strüber D（2016）《大型模型驱动工程：模型和模型转换系统的重构技术》。Philipps-Universität Marburg博士论文 [67] Taentzer G（1996）并行和分布式图转换：基于通信的系统的形式化描述和应用。柏林技术大学博士论文 [68] Taentzer G、Arendt T、Ermel C、Heckel R（2012），《重构基于规则的就地模型转换系统》。摘自：模型转换分析研讨会论文集。ACM，第41-46页 [69] Thüm T、Apel S、Kästner C、Schaefer I、Saake G（2014）《软件产品线分析策略的分类和调查》。ACM计算概况47（1）：6:1-6:45·Zbl 1242.68128号 [70] Tichy M、Krause C、Liebel G（2013）《检测汉申模型转换的性能异味》。摘自：《模型转换分析研讨会论文集》，第82-86页。http://CEUR-WS.org [71] Trujillo S、Zubizarreta A、De Sosa J、Mendialdua X（2009）《关于模型到文本转换的细化》。收录：Jornadas de Ingenieria del Software y Bases de Datos的会议记录，第123-133页 [72] VarróG，Deckwerth F（2013）增量模式匹配的rete网络构建算法。摘自：模型转换理论与实践国际会议论文集。施普林格，pp 125-140 [73] Gergely V，Katalin F，Dániel V（2006）使用模型敏感搜索计划进行模型转换的自适应图模式匹配。计算机科学电子笔记152:191-205·doi:10.1016/j.entcs.2005.10.025 [74] VarróG，Schürr A，VarröD（2005）图变换的基准测试。摘自：视觉语言和以人为中心的计算国际研讨会论文集。IEEE，第79-88页 [75] Wille D（2014）《管理大量模型：饥荒方法》。摘自：软件工程基础国际研讨会论文集。ACM，第817-819页 [76] Rui X，Donald W等人（2005）《聚类算法调查》。IEEE Trans神经网络16（3）：645-678·doi:10.1109/TNN.2005.845141 [77] Yan X，Han J（2002）gspan：基于图的子结构模式挖掘。收录于：数据挖掘国际会议论文集。IEEE，第721-724页 [78] 裴翔Z，佳伟H（2010）关于大型网络中的图形查询优化。致：VLDB捐赠会议记录3（1-2）：340-351 [79] Ziadi T、Henard C、Papadakis M、Ziane M、Le TY（2014）《软件产品线逆向工程的语言无关方法》。在：应用计算研讨会论文集。ACM，第1064-1071页 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。