ATL公司

ATL:一个模型转换工具。在模型驱动工程环境中,模型是主要的开发构件,模型转换是应用于模型的最重要的操作之一。已经提出了许多专门的语言,旨在指定模型转换。除了转换语言的软件工程特性外,高质量的工具支持的可用性对于MDE的工业应用和最终成功也是至关重要的。本文介绍了一种基于Eclipse框架的模型转换语言ATL及其执行环境。ATL工具为使用语言所涉及的主要任务提供支持:编辑、编译、执行和调试。


zbMATH参考文献(参考 23篇文章 引用,1标准件)

显示第1到第20个结果,共23个。
按年份排序(引用)
  1. Fernando Macías;Wolter,Uwe;Rutle,Adrian;Durán,Francisco;Rodriguez Echeverria,Roberto:用于精确和可重用的模型行为定义的多级耦合模型转换(2019年)
  2. El Hokayem,Antoine;Falcone,Yliès;Jaber,Mohamad:正式基于组件的系统中模块化行为和架构横切关注点——行为交互优先框架的应用(2018)
  3. Strüber,D.;Rubin,J.;Arendt,T.;Chechik,M.;Taentzer,G.;Plöger,J.:基于可变性的模型转换:正式基础和应用(2018)
  4. 弗朗西斯科的杜兰;安东尼奥的莫雷诺·德尔加多;费尔南多的奥雷哈斯;斯特芬的茨查尔:领域特定语言与行为的融合(2017)
  5. Kheldoun,Ahmed;Barkaoui,Kamel;Ioualalen,Malika:基于高级Petri网的复杂业务流程的正式验证(2017)
  6. Almendros Jiménez,Jesús M.;Iribarne,Luis;López Fernández,Jesús;Mora Segura,Ángel:PTL:基于逻辑编程的模型转换语言(2016)
  7. Iosif Lazăr,Alexandru F.;Wąsowski,Andrzej:安全关键产品线的可信赖变体推导及翻译验证(2016)
  8. 弗朗西斯科杜兰;曼努埃尔·罗尔丹;安东尼奥·莫雷诺;阿尔瓦雷斯、何塞·马利亚:UML模型的maude原型的动态验证(2014)ioport公司
  9. Mitsch,Stefan;Passmore,Grant Olney;Platzer,André:混合动力系统的协同验证驱动工程(2014)ioport公司
  10. Saritas,Hidayet Burak;Kardas,Geylani:智能卡软件开发的模型驱动架构(2014)ioport公司
  11. Kappel,Gerti;Langer,Philip;Retschitzegger,Werner;Schwinger,Wieland;Wimmer,Manuel:通过示例进行模型转换:第一波调查(2012年)ioport公司
  12. Büttner,Fabian;Gogolla,Martin:将对象约束语言模块化嵌入编程语言(2011)ioport公司
  13. Mora,Beatriz;García,Félix;Ruiz,Francisco;Piattini,Mario:图形与文本软件度量建模:实证研究(2011)ioport公司
  14. 卡博特,乔迪;保罗,拉奎尔;拉文图斯,鲁思:从UML/OCL到SBVR规范:一个富有挑战性的转变(2010)ioport公司
  15. Derrick,John;Wehrheim,Heike:跨视图的模型转换(2010)
  16. Naouel Moha;Sen,Sagar;Faucher,Cyril;Barais,Olivier;Jézéquel,Jean-Marc:Kermeta解决基于图的问题的评价(2010)ioport公司
  17. Montali,Marco:声明式开放交互模型的规范与验证。基于逻辑的方法(2010)
  18. Angelo,Gargantini;Riccobene,Elvinia;Scandurra,Patrizia:基于元模型语言的语义框架(2009)ioport公司
  19. Gherbi,Abdelouahed;Khendek,Ferhat:从UML/SPT模型到可调度性分析:使用ATL的方法和原型实现(2009)ioport公司
  20. 朱奥特,弗里德里克;贝齐文,让;巴贝罗,米卡埃尔:迈向先进的模型驱动工程工具箱(2009)ioport公司