×
胡安·德·拉腊;埃丝特·格拉

面向模型转换的灵活重用：基于图转换的形式化方法。 （英语） Zbl 1371.68055号

J.日志。阿尔盖布。方法计划。 83，编号5-6，427-458（2014）.
概要：模型转换是模型驱动工程（MDE）的核心和灵魂。然而，为了增加行业对MDE的采用，仍然需要大量开发模型转换并提高其构建质量和生产力的技术，如重用性。
在之前的工作中，我们开发了一种基于概念定义的图转换重用方法，该方法收集了元模型所需的结构需求，以满足转换的要求。可重用转换通过概念进行类型化，成为转换模板。通过将概念绑定到具体的元模型来实例化转换模板，从而为给定的元模型重新键入转换。
本文扩展了允许概念和元模型之间存在异构性的方法，从而增加了转换模板的重用机会。通过使用代数适配器来解决异构性，代数适配器可以诱导重新键入和转换的适应。作为一种替代方案，适配器也可以用来诱导元模型的自适应，在这项工作中，我们展示了两种转换重用方法等效的条件。

引用于2文件

MSC公司：

68N99型 软件理论
2012年第68季度 语法和重写系统

关键词：

模型驱动工程;图形变换;元建模;泛型;可重用性

软件：

威特拉2
PDF格式BibTeX公司 XML格式引用
\textit{J.de Lara}和\textit{E.Guerra}，J.Log。阿尔盖布。方法计划。83号5--6427--458（2014；Zbl 1371.68055）
全文： 内政部

参考文献：

[1] 阿特金森，C。；Kühne，T.，重新架构UML基础设施，ACM Trans。模型。计算。模拟。，12, 4, 290-321 (2002)
[2] 巴洛夫，A。；Varró，D.，VIATRA2框架中的高级模型转换语言构造，（Proc.SAC’06（2006）），1280-1287
[3] M.班布里拉。；卡博特，J。；Wimmer，M.，《实践中的模型驱动软件工程》（2012），Morgan&Claypool Publishers
[4] Borceux，F.，《范畴代数手册》，第1卷。《基本范畴理论》，《数学及其应用百科全书》（2008），剑桥大学出版社·Zbl 1143.18001号
[5] de Lara，J。；Bardohl，R.（巴多尔，R.）。；Ehrig，H。；Ehrig，K。；Prange，U。；Taentzer，G.，带节点类型继承的属性图变换，Theor。计算。科学。，376, 3, 139-163 (2007) ·Zbl 1116.68042号
[6] de Lara，J。；Guerra，E.，可重用图形转换模板，（AGTIVE’11。AGTIVE’11，LNCS，第7233卷（2012）），35-50
[7] de Lara，J。；Guerra，E.，《从类型到类型要求：模型驱动工程的通用性》，Softw。系统。型号。，12, 3, 453-474 (2013)
[8] de Lara，J。；Guerra，E。；Sánchez Cuadrado，J.，具有特定领域元建模语言的模型驱动工程，Softw。系统。模型。（2013），出版中
[9] Diskin，Z。；Maibaum，T.S.E。；Czarnecki，K.，Intermodeling，queries，and Kleisli categories，（FASE.FASE，LNCS，vol.7212（2012），Springer），163-177
[10] 多斯·赖斯，G。；Järvi，J.，什么是泛型编程？，（第一届以图书馆为中心的软件设计国际研讨会论文集（LCSD’05），OOPSLA’05研讨会（2005年10月））
[11] Ehrig，H。；Ehrig，K。；Prange，U。；Taentzer，G.，《代数图形变换基础》（2006），Springer-Verlag·Zbl 1095.68047号
[12] Ehrig，H。；Ermel，C.，《使用图和规则转换的模型转换的语义正确性和完整性》，（ICGT.ICGT，LNCS，第5214卷（2008）），194-210·Zbl 1175.68221号
[13] Ehrig，H。；赫尔曼，F。；Prange，U.，Cospan DPO方法：DPO图形转换的替代方法，Bull。欧洲协会。计算。科学。，98, 139-149 (2009) ·Zbl 1191.68361号
[14] Fowler，M.，《重构：改进现有代码的设计》（1999），Addison-Wesley:Addison-Whesley Boston，MA·Zbl 1020.68632号
[15] 加西亚，J。；Díaz，O。；Azanza，M.，《模型转换协同进化：半自动方法》，（SLE.SLE，LNCS，第7745卷（2012），Springer），144-163
[16] 加西亚，R。；Järvi，J。；Lumsdaine，A。；Siek，J.G。；Willcock，J.，通用编程语言支持的比较研究，SIGPLAN，38，11，115-134（2003）
[17] 格雷戈，D。；Järvi，J。；Siek，J。；斯特劳斯特鲁普，B。；Dos Reis，G。；Lumsdaine，A.，《概念：C++中泛型编程的语言支持》，SIGPLAN Not。，41, 10, 291-310 (2006)
[18] 盖伊，C。；康梅莱，B。；德里安，S。；钢铁，J。；Jézéquel，J.-M.，《关于模型子类型》（ECMDA-FA'12）。ECMDA-FA'12，LNCS，第7349卷（2012），施普林格出版社，400-415
[19] Heidenreich，F。；Johannes，J。；塞弗特，M。；Wende，C.，缩小建模和Java之间的差距，（SLE’09。SLE’09，LNCS，第5969卷（2009），施普林格），374-383
[20] 赫尔曼，F。；Ehrig，H。；Ermel，C.，《为确保电子政务网络安全而使用继承的类型图转换》（长版）（2008年），柏林技术大学，技术报告2008-7
[21] 赫尔曼，F。；Ehrig，H。；Ermel，C.，确保电子政务网络安全的带继承的类型图转换（FASE'09）。FASE’09，LNCS，第5503卷（2009），Springer），325-339
[22] Jouault，F。；Bézivin，J.，KM3:元模型规范的DSL（FMOODS’06）。FMOODS’06，LNCS，第4037卷（2006），施普林格），171-185
[23] 拉莫，Y。；Mantz，F。；Rutle，A。；de Lara，J.，基于图共跨的声明式双向模型转换方法（PPDP（2013）），1-12
[24] Legros，E。；阿梅伦森，C。；克拉尔，F。；Schürr，A.，用于检查和实施建模指南的通用和反射图转换，J.Vis。语言计算。，20, 4, 252-268 (2009)
[25] 马查多·R。；Foss，L。；里贝罗，L.，图文法方面，电子。Commun公司。澳大利亚海洋法委员会，第18号（2009年）
[26] Orejas，F。；Lambers，L.，属性图变换的符号属性图，电子。Commun公司。EASST，30（2010）
[27] Parisi-Prescce，F.，图文法的变换，（TAGT.TAGT，LNCS，第1073卷（1994），Springer），428-442·Zbl 1412.68113号
[28] Prange，U。；Ehrig，H。；Lambers，L.，胶粘剂和弱胶粘剂的结构和性能高级替代类别，应用。类别。结构。，16, 3, 365-388 (2008) ·Zbl 1143.18005号
[29] Sánchez Cuadrado，J。；Guerra，E。；de Lara，J.，《通用模型转换：只写一次，到处重用》（ICMT’11）。ICMT’11，LNCS，第6707卷（2011），施普林格），62-77
[30] Sánchez Cuadrado，J。；Guerra，E。；de Lara，J.，《灵活的模型到模型转换模板：ATL的应用》，J.Object Technol。，11, 2, 1-28 (2012)
[31] Sannella，D。；Tarlecki，A.，代数规范和形式化软件开发基础，EATCS理论计算机科学专著（2012），施普林格·Zbl 1237.68129号
[32] Schürr，A.，《具有三重图形语法的图形翻译器规范》（WG'94）。WG’94，LNCS，第903卷（1994），施普林格），151-163
[33] Sen，S。；莫哈，N。；Mahé，V。；Barais，O。；Baudry，B。；Jézéquel，J.-M.，可重用模型转换，Softw。系统。型号。，11, 1, 111-125 (2012)
[34] 斯坦伯格，D。；布丁斯基，F。；Paternostro，M。；Merks，E.，EMF:Eclipse建模框架（2008），Addison-Wesley
[35] Taentzer，G。；Mantz，F。；Lamo，Y.，图和类型图的协同变换及其在模型协同进化中的应用，（ICGT’12。ICGT’12，LNCS，第7562卷（2012年），施普林格），326-340·Zbl 1367.68154号
[36] Taentzer，G。；Rensink，A.，《确保基于图形的模型中的结构约束与类型继承》，（FASE.FASE，LNCS，第3442卷（2005），Springer），64-79·Zbl 1119.68365号
[37] 统一建模语言2.4.1
[38] 沃尔特，M。；Stahl，T.，模型驱动软件开发（2006），Wiley
[39] Wimmer，M。；卡佩尔，G。；库塞尔，A。；雷茨基格，W。；Schönböck，J。；Schwinger，W.，《使用复合映射操作符在异质丛林中生存》（ICMT’10）。ICMT’10，LNCS，第6142卷（2010），施普林格），260-275
[40] Wimmer，M。；库塞尔，A。；Schönböck，J。；雷茨基格，W。；施温格，W。；Kappel，G.，《关于使用就地转换实现模型协同进化》（第二届ATL模型转换国际研讨会论文集（MtATL 2010）（2010），INRIA&Ecole des Mines de Nantes）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。