×
加利纳州贝索娃;多米尼克·斯坦肯;海克·卫尔海姆

基于语法的模型转换：定义、执行和质量属性。 （英语） Zbl 1387.68067号

计算。语言系统。结构。 43, 116-138 (2015).
概要：模型转换是模型驱动软件工程中的一个关键概念。模型转换的定义通常基于描述语言抽象语法的元模型。虽然元模型因此能够从具体语法的多余细节中抽象出来，但它们往往会丢失语言中固有的结构信息，比如关于总是以特定形状一起出现的模型元素的信息。因此，模型转换不能自然地重用语言结构，从而导致其开发和质量保证中不必要的复杂性。在本文中，我们提出了一种新的模型转换开发方法，它允许通过开发语言结构来简化开发的转换并提高其质量。该方法基于无上下文图文法和由源文法和目标文法的配对生成定义的变换。我们证明了这种转换具有重要的属性：它们是终止的，并且是健全的、完整的和确定性的。

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
2012年第68季度 语法和重写系统

关键词：

模型转换;图建模;质量特性

软件：

TXL（热膨胀）;电动势;AGG公司
PDF格式BibTeX公司 XML格式引用
\textit{G.Besova}等人，《计算》。语言系统。结构。43、116--138（2015；Zbl 1387.68067）
全文： 内政部

参考文献：

[1] Czarnecki，K。；Helsen，S.，《基于特征的模型转换方法调查》，IBM Syst J，45，3，621-646（2006）
[2] Ruscio，D.D。；R.埃拉莫。；Pierantonio，A.，《模型转换》（Bernardo，M.；Cortellessa，V.；Pierantinoi，A.，SFM，计算机科学课堂讲稿，第7320卷（2012），Springer:Springer Berlin，Heidelberg），第91-136页
[7] Aho，A。；Lam，M。；Sethi，R。；Ullman，J.，《编译器：原理、技术和工具》（2006），Pearson/Addison-Wesley：Pearson/Eddison-卫斯理波士顿，马萨诸塞州，美国
[8] Pratt，T.W.，《配对语法、图形语言和字符串到图形的翻译》，《计算系统科学杂志》，第5、6、560-595页（1971年）·Zbl 0229.68029号
[9] Besova，G。；Steenken，D。；Wehrheim，H.，基于语法的模型转换，（Ganzha，M.；Maciaszek，L.A.；Paprzycki，M.，FedCSIS（2014）），1601-1610
[10] （Rozenberg，G.，《图形语法和图形转换计算手册》，第1卷（1997年），世界科学出版公司）·Zbl 0908.68095号
[11] Hoare，C.A.R.，《通信顺序过程》（1985），Prentice-Hall公司：Prentice-Hall公司，美国新泽西州上鞍河·Zbl 0637.68007号
[12] 西里亚尼，E。；Gray，J.，《模型转换中解决质量因素的挑战》（Antoniol，G.；Bertolino，A.；Labiche，Y.，国际软件测试会议（2012），IEEE:IEEE Washington，DC，USA），929-937
[13] 瓦罗，D。；Asztalos，M。；Bisztray，D。；Boronat，A。；丹·D·H。；Geiß，R.，UML模型到csp的转换：图形转换工具的案例研究，（Schürr，a.；Nagl，M.；Zündorf，a.，AGTIVE，计算机科学课堂讲稿，第5088卷（2007），Springer:Springer Berlin，Heidelberg），540-565
[14] 贝索娃，G。；Walther，S。；韦赫海姆，H。；Becker，S.，多层系统的基于编织的配置和模块化转换，（法国，R.B.；Kazmeier，J.；Breu，R.；Atkinson，C.，MoDELS，计算机科学课堂讲稿，第7590卷（2012），Springer:Springer Berlin，海德堡），776-792
[16] Schürr，A.，《具有三重图形语法的图形翻译器规范》，（Mayr，E.W.；Schmidt，G.；Tinhofer，G.，WG，计算机科学课堂讲稿，第903卷（1994），Springer:Springer Berlin，Heidelberg），151-163
[17] Taentzer，G.，AGG：代数图变换的工具环境
[20] Jouault，F。；阿利莱尔，F。；Bézivin，J。；Kurtev，I.，ATLa模型转换工具，科学计算程序，72，1-2，31-39（2008）·兹比尔1154.68366
[21] 卡博特，J。；Clarisó，R。；Guerra，E。；de Lara，J.，通过不变量验证和验证声明性模型到模型的转换，J Syst Softw，83，2，283-302（2010）
[22] Büttner，F。；埃基亚，M。；卡博特，J。；Gogolla，M.，《使用转换模型和模型发现器验证ATL转换》（Aoki，T.；Taguchi，K.，ICFEM，计算机科学课堂讲稿，第7635卷（2012），施普林格：施普林格柏林，海德堡），198-213
[23] 罗曼，C。；Greenyer，J。；江，J。；Systä，T.，《将三重图文法应用于基于模式的工作流模型转换》，《对象技术杂志》，6，9，253-273（2007）
[24] Drewes，F。；霍夫曼，B。；Minas，M.，《上下文超边缘替换》（Schürr，A.；Varró，D.；Varó，G.，AGTIVE，计算机科学课堂讲稿，第7233卷（2012），施普林格：施普林格柏林，海德堡），182-197
[25] Küster，J.M.，模型转换的定义和验证，Softw系统模型，5233-259（2006）
[26] Ehrig，H。；Ehrig，K。；de Lara，J。；Taentzer，G。；瓦罗，D。；Varró-Gyapay，S.，模型转换的终止标准，（Cerioli，M.，FASE，计算机科学课堂讲稿，第3442卷（2005），Springer:Springer Berlin，Heidelberg），49-63·Zbl 1119.68344号
[27] 瓦罗，D。；南卡罗来纳州瓦罗-吉帕伊。；Ehrig，H。；Prange，U。；Taentzer，G.，用petri网对模型变换进行终止分析，（Corradini，A.；Ehrig，H.；Montanari，U.；Ribeiro，L.；Rozenberg，G，《图形变换》，计算机科学课堂讲稿，第4178卷（2006），Springer:Springer Berlin，Heidelberg），260-274·Zbl 1156.68501号
[29] Ehrig，H。；埃梅尔，C。；赫尔曼，F。；Prange，U.，（Schürr，A.；Selic，B.，《基于三重图文法的模型转换的即时构建、正确性和完整性》，MoDELS，计算机科学课堂讲稿，第5795卷（2009），Springer），241-255
[30] 赫尔曼，F。；Ehrig，H。；Orejas，F。；Golas，U.，基于三重图文法的模型转换功能行为的形式分析，（Ehrig，H.；Rensink，A.；Rozenberg，G.；Schürr，A.，《图形转换》，计算机科学讲稿，第6372卷（2010），Springer），155-170·兹比尔1306.68074
[31] Corradini，A。；蒙塔纳里，美国。；罗西，F。；Ehrig，H。；赫克尔，R。；Löwe，M.，图变换的代数方法。第一部分：基本概念和双重推出方法，（Rozenberg，G.，《图文法和图变换计算手册》，基础，第1卷（1997），世界科学出版社：世界科学出版社，美国新泽西州River Edge），163-246
[32] Varró，D.，通过示例进行模型转换，（Nierstrasz，O.；Whittle，J.；Harel，D.；Reggio，G.，MoDELS，计算机科学课堂讲稿，第4199卷（2006），Springer:Springer Berlin，Heidelberg），410-424
[33] 兰格，P。；Wimmer，M。；Kappel，G.，通过演示实现模型到模型的转换，（Tratt，L.；Gogolla，M.，ICMT，计算机科学课堂讲稿，第6142卷（2010），施普林格：施普林格柏林，海德堡），153-167
[34] 孙，Y。；怀特，J。；Gray，J.，通过演示进行模型转换，（Schürr，A.；Selic，B.，MoDELS，计算机科学课堂讲稿，第5795卷（2009），施普林格：施普林格柏林，海德堡），712-726
[35] Liang，H。；Dingel，J.，《使用txl进行模型转换的实用评估》，（Gašević，D.；Lämmel，R.；Wyk，E.，SLE，计算机科学课堂讲稿，第5452卷（2009），施普林格：施普林格柏林，海德堡），245-264
[36] 伊拉扎巴尔，J。；Pons，C.，依赖模型作为ADT的模型转换语言，（Brand，M.；Gašević，D.；Gray，J.，SLE，计算机科学讲义，第5969卷（2010），施普林格：施普林格-柏林，海德堡），133-143
[37] Cordy，J.R.，TXL源转换语言，科学计算程序，61，3，190-210（2006）·兹比尔1102.68434
[38] Wimmer，M。；Kramler，G.，Briding grammarware and modelware，（Bruel，J.-M.，MoDELS卫星活动，计算机科学课堂讲稿，第3844卷（2006），Springer:Springer Berlin，Heidelberg），159-168
[39] Ehrig，K。；库斯特，J.M。；Taentzer，G.，从元模型生成实例模型，Softw Syst Model，8，4，479-500（2009）
[41] Henderson-Sellers，B.，《软件工程中的桥接元模型和本体》，J Syst Softw，84，2，301-313（2011）
[44] 史蒂文森，A。；Cordy，J.R.，《软件工程中的语法推理：最新技术概述》，（Czarnecki，K.；Hedin，G.，SLE，计算机科学课堂讲稿，第7745卷（2012），施普林格：施普林格柏林，海德堡），204-223
[45] 阿特金森，C。；Gerbig，R。；Tunjic，C.，《迈向多层次感知模型转换》，（Hu，Z.；de Lara，J.，ICMT，计算机科学课堂讲稿，第7307卷（2012），Springer），208-223
[46] 琼斯，B。；安德烈亚斯，J。；Bauer，D。；赫尔曼·K·M。；K.奈特，《基于语义的机器翻译与超边缘替换语法》（Kay，M.；Boitet，C.，COLING（2012），孟买印度理工学院），1359-1376
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。