×
乔舒亚·格莱泽;克莱尔、海科;埃里克·汉堡

寻找模型转换网络的通用执行策略。 （英语） Zbl 1467.68038号

Guerra，Esther（编辑）等人，《软件工程的基本方法》，第24届国际会议，FASE 2021，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12649, 87-107 (2021).
摘要：当使用多个模型来描述一个（软件）系统时，可以使用模型转换网络来保持更改后模型的一致性。然而，如果网络具有任意拓扑，则不存在协调转换执行的策略。在本文中，我们分析了需要执行转换的频率和顺序。我们讨论了为什么线性执行界限限制性太强，在实践中没有用处，并证明了必要执行的数量没有上限。为了避免非终止，我们提出了一种保守的策略，使执行失败更容易理解。这些见解有助于转型网络的开发人员和用户了解他们的网络在何种情况下可以终止。此外，建议的策略有助于他们找到网络无法恢复一致性的原因。
关于整个系列，请参见[Zbl 1466.68016号].

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）

关键词：

模型一致性;模型转换网络
PDF格式BibTeX公司 XML格式引用
\textit{J.Gleitze}等人，Lect。注释计算。科学。12649，87-107（2021；Zbl 1467.68038）
全文： 内政部

参考文献：

[1] Anjorin，A.、Rose，S.、Deckwerth，F.和Schürr，A.：“视图三重图语法的高效模型同步”。在：建模基础和应用，第1-17页。施普林格国际出版公司（2014）
[2] Cleve，A.、Kindler，E.、Stevens，P.和Zaytsev，V.：“多向转换和同步（18491年达格斯图尔研讨会）”。达格斯图尔报告8（12），1-48（2019）
[3] Di Rocco，J.、Di Ruscio，D.、Heinz，M.、Iovino，L.、Lämmel，R.和Pierantonio，A.：“交互建模中的一致性恢复”。参加：第三届可执行建模国际研讨会，与ACM/IEEE第20届模型驱动工程语言和系统国际会议合办。第2019卷，第116-122页。CEUR-WS.org（2017）
[4] Diskin，Z.、Gholizadeh，H.、Wider，A.和Czarnecki，K.：“双向模型同步的三维分类学”。《系统与软件杂志》111，298-322（2016）
[5] Diskin，Z.、König，H.和Lawford，M.：“多元三角透镜的多模型同步”。在：软件工程的基本方法，第21-37页。施普林格国际出版公司（2018）·Zbl 1423.68096号
[6] Diskin，Z.、Xiong，Y.、Czarnecki，K.、Ehrig，H.、Hermann，F.和Orejas，F.：“基于状态到三角洲的双向模型变换：对称情况”。摘自：《模型驱动工程语言和系统》，第304-318页。施普林格，柏林-海德堡（2011）
[7] Ehrig，H.、Ehrig、K.、Lara，J.de、Taentzer，G.、Varró，D.和Varrö-Gyapay，S.：“模型转换的终止标准”。在：软件工程的基本方法，第49-63页。施普林格，柏林-海德堡（2005）·Zbl 1119.68344号
[8] Etien，A.、Aranega，V.、Blanc，X.和Paige，R.F.：“链模型转换”。摘自：模型转换分析第一次研讨会，第9-14页。ACM（2012年）
[9] Etien，A.、Muller，A.、Legrand，T.和Blanc，X.：“组合独立模型转换”。2010年美国计算机学会应用计算研讨会，第2237-2243页。ACM（2010）
[10] Gleitze，J.：《GitHub:转型网络模拟器》，（2021年）。https://github.com/jGleitz/transformationnetwork-simulator（2021年1月14日访问）
[11] Gleitze，J.：《转型网络模拟器》（2021）。https://jgleitz.github.io/transformationnetwork-simulator网站（2021年1月14日访问）
[12] Guissouma，H.、Klare，H.，Sax，E.和Burger，E.：“汽车软件发布和配置管理当前和未来挑战的实证研究”。摘自：2018年第44届欧洲微公司软件工程和高级应用会议，第298-305页。IEEE（2018）
[13] Klare，H.：“多模型一致性保持”。摘自：第21届ACM/IEEE模型驱动工程语言和系统国际会议：相关会议记录，第156-161页。ACM（2018）
[14] Klare，H.和Gleitze，J.：“保持多个模型一致性的共性”。在：第22届ACM/IEEE模型驱动工程语言与系统国际会议，第371-378页。IEEE（2019）
[15] Klare，H.、Kramer，M.E.、Langhammer，M.、Werle，D.、Burger，E.和Reussner，R.：“在基于视图的系统开发中实现一致性——维特鲁威方法”。《系统与软件杂志》171（2020）
[16] Klare，H.、Syma，T.、Burger，E.和Reussner，R.：“转型网络中互操作性问题的分类”。第十二届国际模型转换会议。对象技术杂志（2019）
[17] Königs，A.和Schürr，A.：“MDI：基于规则的多文档和工具集成方法”。软件和系统建模5（4），349-368（2006）
[18] Kusel，A.、Etzlstorfer，J.、Kapsammer，E.、Langer，P.、Retschitzegger，W.、Schoenboeck，J.，Schwinger，W.和Wimmer，M.：“增量模型转换方法的调查”。参加：模型和演化研讨会，与ACM/IEEE第16届模型驱动工程语言和系统国际会议合办。第1090卷，第4-13页。CEUR-WS.org（2013）
[19] Lücio，L.、Mustafiz，S.、Denil，J.、Vangheluwe，H.和Jukss，M.：“FTG+PM：模型转换链研究的综合框架”。摘自：SDL 2013：模型驱动可靠性工程，第182-202页。施普林格-柏林-海德堡（2013）
[20] Macedo，N.、Cunha，A.和Pacheco，H.：“走向多向模型转换框架”。参加：第三届双向转型国际研讨会。第1133卷。CEUR-WS.org（2014）
[21] Macedo，N.、Jorge，T.和Cunha，A.：“基于特征的模型修复方法分类”。IEEE软件工程学报43（7），615-640
[22] 对象管理组（OMG）：“元对象工具（MOF）2.0-Query/View/Transformation Specification”，1.3版（2016）
[23] Pilgrim，J.von，Vanhooff，B.，Schulz-Gerlach，I.和Berbers，Y.：“构建和可视化转换链”。在：模型驱动架构-基础和应用，第17-32页。施普林格-柏林-海德堡（2008）
[24] Reussner，R.H.、Becker，S.、Happe，J.、Heinrich，R.、Koziolek，A.、Koziolek，H.、Kramer，M.和Krogmann，K.：“建模与仿真软件架构–帕拉迪奥方法”。麻省理工学院出版社（2016）
[25] Samimi-Dehkordi，L.、Zamani，B.和Kolahdouz-Rahimi，S.：“双向模型转换方法——比较研究”。摘自：第六届国际计算机与知识工程会议，第314-320页。IEEE（2016）
[26] Schürr，A.：“具有三重图形语法的图形翻译器规范”。摘自：《计算机科学中的图论概念》，第151-163页。施普林格-柏林-海德堡（1995）
[27] Stevens，P.：“双向模型转换的前景”。摘自：《软件工程中的生成和转换技术II》，第408-424页。施普林格-柏林-海德堡（2008）
[28] Stevens，P.：“QVT中的双向模型转换：语义问题和开放问题”。软件和系统建模9（1）、7（2010）
[29] Stevens，P.：“将软件构建与保持模型之间的一致性联系起来：从大模型走向健全、优化和灵活的构建”。软件和系统建模19（4），935-958（2020）
[30] Stevens，P.：“保持模型网络的一致性：大范围的双向转换”。软件和系统建模19（1），39-65（2020）
[31] Stünkel，P.、König，H.、Lamo，Y.和Rutle，A.：“通过模型间约束的多模型对应”。摘自：第二届编程协会艺术、科学和工程国际会议，第9-17页。ACM（2018）
[32] Linux基金会：OpenAPI倡议，（2021年）。https://www.openapis.org/（2021年1月14日访问）
[33] Trollmann，F.和Albayrak，S.：“将模型同步结果从三重图语法扩展到多个模型”。摘自：《模型转换的理论与实践》，第91-106页。施普林格国际出版公司（2016）
[34] Trollmann，F.和Albayrak，S.：“将模型扩展到模型转换是从三重图语法到多个模型的结果”。《模型转换的理论与实践》，第214-229页。施普林格国际出版公司（2015）
[35] Vanhooff，B.、Ayed，D.、Van Baelen，S.、Joosen，W.和Berbers，Y.：“UniTI:统一转型基础设施”。摘自：《模型驱动工程语言和系统》，第31-45页。施普林格-柏林-海德堡（2007）
[36] Wagelaar，D.、Tisi，M.、Cabot，J.和Jouault，F.：“面向基于规则的模型转换的通用合成语义”。摘自：《模型驱动工程语言和系统》，第623-637页。施普林格-柏林-海德堡（2011）
[37] Xiong，Y.、Song，H.、Hu，Z.和Takeichi，M.：“基于双向转换同步并发模型更新”。软件和系统建模12（1），89-104（2013）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。