费尔南多·马西亚斯;乌韦·沃尔特;阿德里安·拉特尔;弗朗西斯科·杜兰;罗伯托·罗德里格斯·埃切韦里亚 多级耦合模型转换用于精确和可重用的模型行为定义。 （英语） Zbl 1423.68105号 J.日志。阿尔盖布。方法计划。 106, 167-195 (2019). 摘要：使用领域特定语言（DSL）是开发针对特定问题空间量身定制的工具的一个很有前途的领域，有效地降低了手工软件的复杂性。为了使模型尽可能精确、简单和可重用，我们使用多级建模中的概念来扩充DSL，其中抽象级别的数量不受限制。这对于带有行为的DSL定义特别有用，因为行为的概念本质上属于不同的抽象级别。在这里，模型可以表示建模系统的状态，并使用模型转换进行演化。这些转换可以从多级设置中受益，从而成为行为建模语言语义的精确且可重用的定义。本文介绍了多级耦合模型转换的概念，以及示例、形式化定义和工具，以评估其概念合理性和实用价值。 引用于三文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：模型驱动工程;图形变换;多层模型;多级耦合模型变换;行为建模 软件：变身;美兰尼;沟槽;AToMPM公司;ATL公司;AGG公司;威特拉2 PDF格式BibTeX公司 XML格式引用 \textit{F.Macías}等人，J.Log。阿尔盖布。方法计划。106167-195（2019年；Zbl 1423.68105） 全文： 内政部 arXiv公司 参考文献： [1] 惠特尔，J。；哈钦森，J。；Rouncefield，M。；负荷，H。；Heldal，R.，模型驱动工程的工业应用：工具真的是问题所在吗？，（Moreira，A.；Schätz，B.；Gray，J.；Vallecillo，A.；Clarke，P.，MODELS.MODELS，LNCS，第8107卷（2013），Springer），第1-17页 [2] 惠特尔，J。；哈钦森，J。；Rouncefield，M.，《模型驱动工程的实践状态》，IEEE软件。，31, 3, 79-85 (2014) [3] 负荷，H。；赫尔达尔，R。；Whittle，J.，《三大公司模型驱动工程的比较与对比》，（Morisio，M.；Dybá，T.；Torchiano，M.，ACM-IEEE国际经验软件工程与测量研讨会，ACM-IEEE国际实验软件工程与测量研讨会，ESEM（2014）），14:1-14:10 [4] 莫哈吉，P。；吉拉尼，W。；Stefanescu，A。；费尔南德斯，M。；Nordmoen，B。；Fritzsche，M.，模型驱动工程有何帮助？三个行业案例的经验，Softw。系统。型号。，12, 3, 619-639 (2013) [5] 莫哈吉，P。；吉拉尼，W。；Stefanescu，A。；Fernández，M.，四个工业案例中模型驱动工程实践和接受状态的实证研究，Empir。柔和。工程师，18，1，89-116（2013） [6] 莫哈吉，P。；费尔南德斯，M。；马特尔，J。；弗里茨彻，M。；Gilani，W.，《工业采用MDE：挑战和成功标准》，（Chaudron，M.R.V.，《模型研讨会和专题讨论会》，《模型车间和专题讨论会刊》，LNCS，第5421卷（2008年），Springer），54-59 [7] 托尔瓦宁，J。；Kelly，S.，《模型驱动的开发挑战和解决方案——工业领域特定建模的经验》，（Hammoudi，S.；Pires，L.F.；Selic，B.；Desfray，P.，《国际模型驱动工程和软件开发会议》，《国际模型驱动工程与软件开发会议，MODELSWARD》（2016），科学技术出版社），711-719 [8] 哈钦森，J。；惠特尔，J。；Rouncefield，M。；Kristoffersen，S.，《工业MDE实证评估》，（Taylor，R.；Gall，H.；Medvidovic，N.，国际软件工程会议。国际软件工程大会，ICSE（2011），ACM），471-480 [9] Petre，M.，“没有狗屎”或“哦，狗屎！”：对在专业实践中使用UML的观察结果的回应，Softw。系统。型号。，13, 4, 1225-1235 (2014) [10] Petre，M.，UML实践，（Notkin，D.；Cheng，B.；Pohl，K.，国际软件工程会议。国际软件工程大会，ICSE（2013），IEEE），722-731 [11] UML（“2017年”） [12] de Lara，J。；Guerra，E。；Sánchez Cuadrado，J.，《使用特定领域元建模语言的模型驱动工程》，Softw。系统。型号。，14, 1, 429-459 (2015) [13] 莫哈吉，P。；豪根，Ø。，评估特定领域的建模解决方案，（Trujillo，Juan；et al.，ER Workshop。ER Workshop，LNCS，vol.6113（2010），Springer），212-221 [14] 凯利，S。；Tolvanen，J.，《特定领域建模-支持完整代码生成》（2008），Wiley [15] Fowler，M.，《特定领域语言》（2011），Addison-Wesley [16] Eclipse建模框架 [17] UML（“2017年”） [18] 阿特金森，C。；Kühne，T.，降低领域模型中的意外复杂性，Softw。系统。型号。，7, 3, 345-359 (2008) [19] de Lara，J。；Guerra，E。；Sánchez Cuadrado，J.，《何时以及如何使用多级建模》，ACM Trans。柔和。工程方法。，24, 2, 12:1-12:46 (2014) [20] 阿特金森，C。；Gerbig，R.，《使用Melanee进行柔性深度建模》，（Betz，S.；Reimer，U.，Modellierung，第255卷（2016）），117-122 [21] （Atkinson，C.；Grossmann，G.；Kühne，T.；de Lara，J.，《国际多层建模研讨会》，《国际多级建模研讨会》（Internal.Workshop on Multi-Level Modelling），《欧洲经济研究中心研讨会议事录》，第1505卷（2015）） [22] （Atkinson，C.；Grossmann，G.；Clark，T.，国际多层建模研讨会。国际多层建模会议，CEUR研讨会程序，第1722卷（2016）） [23] 马西亚斯，F。；Rutle，A。；Stolz，V.，MultEcore:结合固定水平和多级元建模的最佳方法，（MULTI.MULTI，CEUR Workshop Proc.，vol.1722（2016）），1-10 [24] Brambilla，M。；卡博特，J。；Wimmer，M.，《实践中的模型驱动软件工程》（2012），Morgan&Claypool Publishers [25] （Mayerhofer，T.；Langer，P.；Seidewitz，E.；Gray，J.，《可执行建模国际研讨会》，《国际可执行建模研讨会》，CEUR Workshop Proc.，第1560卷（2016）） [26] 恩格斯，G。；豪斯曼，J。；赫克尔，R。；Sauer，S.，《动态元建模：UML中行为图操作语义的图形方法》，（统一建模语言：建模语言和应用。统一建模语言，建模语言与应用，UML。统一建模语种：建模语言与运用。统一建模语：建模语言及应用，UML，LNCS，第1939卷（2000）），323-337 [27] Fischer，T。；Niere，J。；托伦斯基，L。；Zündorf，A.，《故事图：一种基于统一建模语言的新图形重写语言》，（国际图论转换理论与应用研讨会，国际图论变换理论与应用会议，TAGT（1998）），1-12 [28] Mayerhofer，T。；兰格，P。；Wimmer，M。；Kappel，G.，xMOF：基于fUML的可执行DSML，（Erwig，M.；Paige，R.；Van Wyk，E.，《软件语言工程》，软件语言工程，SLE。《软件语言工程学》，SLE，LNCS，第8225卷（2013）），56-75 [29] Di Ruscio，D。；Jouault，F。；库尔捷夫，I。；Bézivin，J。；Pierantonio，A.，《扩展AMMA以支持DSL的动态语义规范》（2006年4月），南特大西洋信息实验室（LINA）：南特大西洋信息化实验室，法国南特，技术报告06.02 [30] Chen，K。；Sztipanovits，J。；Abdelwalhed，S。；Jackson，E.，模型转换的语义锚定，（模型驱动的体系结构：基础和应用。模型驱动的建筑结构：基础与应用，ECMDA-FA [31] P.-A.穆勒。；Fleurey，F。；Jézéquel，J.-M.，《将可执行性编织成面向对象的元语言》（MODELS.MODELS，LNCS，第3713卷（2005）），264-278 [32] （Rozenberg，G.，《图形语法和图形变换计算手册》，第1卷：基础（1997），《世界科学》）·Zbl 0908.68095号 [33] Ehrig，H。；埃里格，K。；Prange，U。；Taentzer，G.，《代数图形变换基础》，《理论计算机科学专著》（2006年），斯普林格出版社·Zbl 1095.68047号 [34] 塞尔坦，G。；Huszerl，G。；Majzik，I。；巴普，Z。；Pataricza，A。；Varró，D.，VIATRA-UML模型形式验证和验证的可视化自动转换，（国际自动化软件工程会议。国际自动化软件工程学会议，ASE（2002）），267-270 [35] de Lara，J。；Vangheluwe，H.，（Atom ^3）：多形式主义和元建模工具，（Kutsche，R.；Weber，H.《软件工程的基本方法》，FASE《软件工程基本方法》·Zbl 1059.68561号 [36] Taentzer，G.，AGG：软件建模和验证的图形转换环境，（Pfaltz，J.；Nagl，M。；Böhlen，B.，具有工业相关性的图变换的应用。图变换与产业关联的应用，AGTIVE。工业关联图变换的应用。图变换在工业关联中的应用，AGTIVE，LNCS，第3062卷（2004），Springer），446-453 [37] Rensink，A.，《GROOVE模拟器：生成状态空间的工具》（Pfaltz，J.；Nagl，M.；Böhlen，B.，AGTIVE 2003）。AGTIVE 2003，LNCS，第3062卷（2004）），479-485 [38] 里维拉，J。；杜兰，F。；Vallecillo，A.，《DSL时间相关行为建模的图形方法》，（视觉语言和以人为中心的计算研讨会。视觉语言和以人为本的计算研讨会，VL/HCC（2009）），51-55 [39] Schürr，A。；Rensink，A.，《使用图形转换进行软件和系统建模》，Softw。系统。型号。，13, 1, 171-172 (2014) [40] de Lara，J。；Vangheluwe，H.，通过元建模和图形转换定义视觉符号及其操作，J.Vis。语言计算。，第15页，第3-4页，第309-330页（2006年） [41] Sánchez Cuadrado，J。；García Molina，J.，《模型转换重用的方法：因子分解和合成》，（Vallecillo，a.；Gray，J.；Pierantonio，a.，《模型变换的理论与实践》，ICMT（2008），Springer），168-182 [42] Sánchez Cuadrado，J。；Guerra，E。；de Lara，J.，《通用模型转换：只写一次，到处重用》（Generic model transformations:write once，reuse everywhere），（Cabot，J.；Visser，E.，ICMT。ICMT，LNCS，vol.6707（2011），Springer），62-77 [43] de Lara，J。；Guerra，E.，《面向模型转换的灵活重用：基于图形转换的形式化方法》，J.Log。代数方法程序。，83, 5-6, 427-458 (2014) ·Zbl 1371.68055号 [44] 杜兰，F。；Moreno-Delgado，A。；Orejas，F。；Zschaler，S.，《特定领域语言与行为的融合》，J.Log。代数方法程序。，86, 1, 208-235 (2015) ·Zbl 1353.68028号 [45] Chechik，M。；Famelis，M。；萨拉伊，R。；Strüber，D.，《模型转换重用的观点》（A brahám，E.；Huisman，m.，《综合形式方法》，综合形式方法，IFM。综合形式方法。综合形式法，IFM，LNCS，第9681卷（2016），Springer），28-44 [46] 库塞尔，A。；Schönböck，J。；Wimmer，M。；卡佩尔，G。；雷茨基格，W。；Schwinger，W.，《模型到模型转换语言中的重用：我们到了吗？》？，柔和。系统。型号。，14, 2, 537-572 (2015) [47] Kusel，A。；Schönböck，J。；Wimmer，M。；雷茨基格，W。；施温格，W。；Kappel，G.，《模型转换重用的现实检查：ATL转换动物园案例研究》（Baudry，B.；Dingel，J.；Lucio，L.；Vangheluwe，H.，《模式转换分析》（AMT），第1077卷（2013）） [48] de Lara，J。；Guerra，E.，《使用概念、模板和混合层的通用元模型》（Petriu，D.；Rouquette，N.；Haugen，Ø.，MODELS（2010），Springer），16-30 [49] Rutle，A。；西麦考尔。；Wang，H。；Lamo，Y.，《行为建模的元建模方法》（BM-FA’12 Proc.（2012），ACM），5:1-5:10 [50] 阿特金森，C。；Gerbig，R。；Tunjic，C.，增强经典转换语言以支持多级建模，Softw。系统。型号。，14, 2, 645-666 (2015) [51] 阿特金森，C。；Gerbig，R。；Tunjic，C.，《迈向多层次感知模型转换》，（Hu，Z.；de Lara，J.，《模型转换的理论与实践》，ICMT，《模型变换的理论与实务》，ICNT，LNCS，第7307卷（2012）），208-223 [52] 阿特金森，C。；Gerbig，R。；Metzger，N.，《深度模型的执行》，（第一届可执行建模国际研讨会，第一届可运行建模国际研讨会《CEUR研讨会程序》，第1560卷（2015）） [53] Ehrig，H。；赫尔曼，F。；Prange，U.，Cospan DPO方法：DPO图形转换的替代方法，Bull。欧洲协会。计算。科学。，98, 139-149 (2009) ·Zbl 1191.68361号 [54] 卡博特，J。；克拉里索，R。；Guerra，E。；de Lara，J.，《通过OCL分析图形转换规则》，（Vallecillo，A.；Gray，J.；Pierantonio，A.，《模型转换的理论与实践》，ICMT，《模型变换的理论与实务》，ICMC，《模型转化的理论与实践》，LNCS，第5063卷（2008）），229-244 [55] 斯坦伯格，D。；布丁斯基，F。；Paternostro，M。；Merks，E.，EMF:Eclipse建模框架（2008），Addison-Wesley [56] Rutle，A。；罗西尼，A。；拉莫，Y。；Wolter，U.，MDE中约束规范和转换的正式方法，J.Log。代数方法程序。，81,422-457（2012年）·Zbl 1246.68098号 [57] 罗西尼，A。；de Lara，J。；Guerra，E。；Rutle，A。；Wolter，U.，《深度元建模的形式化》，Form.Asp。计算。，26, 6, 1115-1152 (2014) ·Zbl 1342.68098号 [58] 阿特金森，C。；Kühne，T.，重新架构UML基础设施，ACM Trans。模型。计算。模拟。，12, 4, 290-321 (2002) [59] Herrmannsdörfer，M。；Wachsmuth，G.，《软件元模型和模型的耦合演化》（Mens，T.；Serebrenik，A.；Cleve，A.，《演化软件系统》（2014），Springer），第33-63页 [60] Mantz，F。；泰恩泽，G。；拉莫，Y。；Wolter，U.，《协同进化元模型及其实例模型：基于图变换的形式化方法》，Sci。计算。程序。，104, 2-43 (2015) [61] 马西亚斯，F。；Rutle，A。；Wolter，U.，《关于类型链和类型链形态的分类》（2017年3月），卑尔根大学信息学系，技术代表2017-416 [62] Xtext（“2017年”） [63] 阿伦特，T。；比尔曼，E。；Jurack，S。；克劳斯，C。；Taentzer，G.，Henshin:用于就地EMF模型转换的先进概念和工具，（Petriu，D.C.；Rouquette，N.；Haugen，Ø.，MODELS.MODELS.LNCS，vol.6394（2010）），121-135 [64] 加马里安，A。；德莫尔，M。；Rensink，A。；Zambon，E。；Zimakova，M.，《使用GROOVE进行建模和分析》，Int.J.Softw。技术工具。传输。，14, 1, 15-40 (2012) [65] 科洛沃斯，D。；佩奇，R。；Polack，F.，《Epsilon变换语言》，（Vallecillo，A.；Gray，J.；Pierantonio，A.，《模型变换的理论与实践》，ICMT，《模型转换的理论与实务》，ICMC，LNCS，第5063卷（2008）），46-60 [66] Jouault，F。；阿利莱尔，F。；Bézivin，J。；Kurtev，I.，ATL：模型转换工具，科学。计算。程序。，72, 1-2, 31-39 (2008) ·兹比尔1154.68366 [67] Ullmann，J.，子图同构的算法，J.ACM，23，1，31-42（1976）·Zbl 0323.05138号 [68] Saltz，M。；Miller，J.，《大标记图上子图模式匹配的快速算法》（2013），UGA:UGA雅典，GA，美国，硕士论文 [69] Atkinson，C.，分布式对象环境的元建模，（企业分布式对象计算研讨会，企业分布式对象计算机研讨会，EDOC（1997）），90-101 [70] 阿特金森，C。；Kühne，T.，《多级元建模的本质》（Gogolla，M。；Kobryn，C.，《统一建模语言、建模语言、概念和工具》。统一建模语言，建模语言，概念和工具，UML。统一建模语言、建模语言、概念和工具。统一建模语言，建模语言、概念和工具，UML，LNCS，第2185卷（2001）），19-33·Zbl 1024.68623号 [71] de Lara，J。；Guerra，E.，《使用Metadepth进行深度元建模》（Objects，Models，Components，Patterns.Objects，Models，Component，Patterns，LNCS，vol.6141（2010），Springer），1-20 [72] 西里亚尼，E。；Vangheluwe，H。；Mannadiar，R。；Hansen，C。；Van Mierlo，S。；Ergin，H.，《AToMPM：基于网络的建模环境》（Demos/Posters/StudentResearch@MoDELS（2013）） [73] Van Mierlo，S。；Barroca，B。；Vangheluwe，H。；西里亚尼，E。；Kühne，T.，Modelverse中的多级建模，（Multi@MoDELS.Multi@MoDELS，CEUR Workshop Proc.，第1286卷（2014）） [74] Mallet，F。；拉加德，F。；安德烈，C。；Gérard，S。；Terrier，F.，《实现多级域模型的自动化过程》，（van den Brand，M.；Gašević，D.；Gray，J.，《软件语言工程》，软件语言工程，LNCS，第5969卷（2010），Springer），314-333 [75] 斯特吕贝尔，D。；鲁宾，J。；Chechik，M。；Taentzer，G.，《基于变量的可重用高效模型转换方法》（Egyed，A.；Schaefer，I.，《软件工程基本方法》（FASE））。软件工程基本方法（FASE），LNCS，第9033卷（2015），Springer，283-298 [76] Sen，S。；莫哈，N。；Mahé，V。；Barais，O。；波德里，B。；Jézéquel，J.-M.，可重用模型转换，Softw。系统。型号。，11, 1, 111-125 (2012) [77] Jablonski，S。；沃兹，B。；Dornstauder，S.，《特定领域过程管理的元建模框架》，（国际计算机软件和应用会议，国际计算机软件与应用会议，COMPSAC（2008）），1011-1016 [78] Zschaler，S。；科洛沃斯，D。；北卡罗来纳州Drivalos。；佩奇，R。；Rashid，A.，软件语言工程领域特定元建模语言，（van den Brand，M.；Gasevic，D.；Gray，J.，《软件语言工程》，软件语言工程学，SLE。软件语言工程，软件语言工程师，SLE，LNCS，第5969卷（2009），Springer），334-353 [79] Herrmannsdörfer，M。；Hummel，B.，模型重用的库概念，Electron。注释Theor。计算。科学。，253, 7, 121-134 (2010) [80] 阿特金森，C。；Guthail，M。；Kennel，B.，《多级语言工程的灵活基础设施》，IEEE Trans。柔和。工程师，35，6，742-755（2009） [81] Kühne，T。；Schreiber，D.，编程能否从两级风格中解放出来：用DeepJava进行多级编程，（Gabriel，R.；Bacon，D.；Videira Lopes，C。；Steele，G.，SIGPLAN面向对象编程、系统、语言和应用会议。SIGPLAN面向对象编程、系统、语言和应用会议，OOPSLA（2007），229-244 [82] Epsilon（2012） [83] Rensink，A.，图文法的显式状态模型检查，（Concurrency，Graphs and Models.Concurrence，Graphs-and Models，LNCS，vol.5065（2008），Springer），114-132·Zbl 1143.68462号 [84] 比尔曼，E。；埃里格，K。；科勒，C。；库恩斯，G。；Taentzer，G。；Weiss，E.，《Eclipse建模框架中就地转换的图形定义》，（MoDELS.MoDELS，LNCS，第4199卷（2006），Springer），425-439 [85] Boronat，A。；Meseguer，J.，MOMENT2:Maude中的EMF模型转换，（Vallecillo，A.；Sagardui，G.，XIV Jornadas de IngenieríA del Software y Bases de Datos，JISBD（2009）），178-179 [86] 杜兰，F。；Moreno-Delgado，A。；Alvarez-Palomo，J.，《e-Motions领域特定建模语言的统计模型检查》，（Stevens，P.；Wasowski，A.，《软件工程的基本方法》，软件工程基本方法，FASE（2016），Springer），305-322 [87] 里维拉，J。；瓦莱西略，A。；Durán，F.，《使用Maude对特定领域语言进行形式化规范和分析》，《模拟：翻译》。Soc.模型。模拟。国际法，85，11/12，778-792（2009） [88] 克劳斯，C。；蒂希，M。；Giese，H.，在批量同步并行模型中实现图转换，（软件工程的基本方法。软件工程的基本方法，FASE（2014），Springer），325-339 [89] 费尔南德斯，M。；基什内尔，H。；Namet，O.，图重写的策略语言，（基于逻辑的程序合成与转换国际研讨会（2011），斯普林格），173-188·Zbl 1377.68098号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。