茶花二号

VIATRA2框架的模型转换语言。我们提出了VIATRA2框架的模型转换语言,它提供了一种基于规则和模式的转换语言,通过将图转换和抽象状态机结合到一个单一的规范范例中来操作图形模型。这种语言提供了高级的结构,用于查询(例如递归图模式)和操作模型(例如泛型转换和元转换规则)中的单向模型转换,通常用于形式化模型分析,以进行强大的抽象。


zbMATH参考文献(参考 33篇文章 参考)

显示第1到第20个结果,共33个。
按年份排序(引用)
  1. Fernando Macías;Wolter,Uwe;Rutle,Adrian;Durán,Francisco;Rodriguez Echeverria,Roberto:用于精确和可重用的模型行为定义的多级耦合模型转换(2019年)
  2. Strecker,Martin:图形转换的交互式和自动化证明(2018)
  3. da Costa Cavalheiro,Simone André;Foss,Luciana;Ribeiro,Leila:带属性和负应用条件的定理证明图文法(2017)
  4. Almendros Jiménez,Jesús M.;Iribarne,Luis;López Fernández,Jesús;Mora Segura,Ángel:PTL:基于逻辑编程的模型转换语言(2016)
  5. Ujhelyi,Zoltán;Bergmann,Gábor;VarróDániel:模型查询的Rete网络切片(2016)
  6. Varró,Dániel:增量查询和转换:从概念到工业应用(2016)ioport公司
  7. de Lara,Juan;Guerra,Esther:《面向模型转换的灵活重用:基于图转换的形式化方法》(2014)
  8. Bergmann,Gábor;Ráth,István;Szabó,Tamás;Torrini,Paolo;VarróDániel:传递闭包有效计算的增量模式匹配(2012)ioport公司
  9. Orna,Grumberg;Meller,Yael;Yorav,Karen:将软件模型检查技术应用于行为UML模型(2012)
  10. Kreowski,Hans-Jörg;Kuske,Sabine;von Toth,Caroline:将图变换和代数规范结合到模型转换中(2012)
  11. 班蒂,费德里科;普格利泽,罗萨里奥;蒂兹,弗朗切斯科:一个面向服务的UML模型的可访问验证环境(2011)
  12. Balogh,András;Bergmann,Gábor;Csertán,György;Gönczy,László;Horváth,Ákos;Majzik,István;Pataricza,András;Polgárázs;ráth,István;VarróDániel;Varro,Gergely:使用模型转换的工作流驱动工具集成(2010)ioport公司
  13. Horváth,Ákos;Bergmann,Gábor;Ráth,István;VarróDániel:将模式匹配策略与VIATRA2相结合的实验评估(2010)ioport公司
  14. Edgar Jakumeit;Buchwald,Sebastian;Kroll,Moritz:GrGen.NET。表达、方便、快速的图形重写系统(2010)ioport公司
  15. 卡赛,加博:从建立图形转换系统中吸取的教训(2010)
  16. Ujhelyi,Zoltán:模型转换程序的静态类型检查(2010)ioport公司
  17. Balogh,Zoltán;Varró,Dániel:使用归纳逻辑编程的示例转换模型(2009)ioport公司
  18. 博罗纳特,阿图尔;克纳普,亚历山大;梅斯盖尔,何塞;维尔辛,马丁:什么是多重建模语言?(2009年)
  19. Cuadrado,Jes sánchez;Molina,Jesús García:通过阶段化机制实现模型转换的模块化(2009)ioport公司
  20. Iñesta,Luis;Aquino,Nathalie;Sánchez,Juan:UIML语言扩展的框架和创作工具(2009)