AuM3

AdoM3:一种用于多形式和元建模的工具。本文介绍了多种形式建模和元建模的结合使用,以促进复杂系统的计算机辅助建模。该方法允许使用不同的形式化模型来模拟系统的不同部分。由于作者提出的形式主义变换图(FTG)中的信息,模型可以在形式主义之间自动转换。为了帮助自动生成多形式主义建模工具,形式主义在他们自己的权利(在元级)内在适当的形式主义中建模。这已经在交互式工具原子3中实现。该工具用于描述在动态系统仿真中常用的形式主义,以及生成定制工具以处理(创建、编辑、变换、模拟、优化、……)在相应的形式主义中表达的模型。Atom 3依赖于图形重写技术和图文法来执行形式主义和其他任务之间的转换,例如代码生成和操作语义规范。


ZBMaX中的参考文献(32篇)1标准条款

显示结果1至20的32。
按年份排序(引文
  1. 何,萧;胡,长军;马,Zhiyi;邵,魏中:一个基于双向变换的软件可视化和可视化编辑框架(2014)伊波尔特
  2. 韩娜迟,Mohamed Amine;Bouassida Rodriguez,伊斯梅尔;Drra,哈利勒;Pomares Hernandez,Saul Eduardo:GMTE:图变换和精确/不精确图匹配的工具(2013)
  3. Iacono,M.BabieRATO,E;GriabuDo,M.:SimthyS多式主义建模框架(2012)伊波尔特
  4. 卡珀尔,Gerti;Langer,菲利普;Retschitzegger,沃纳;施温格,Wieland;威默,曼努埃尔:范例转换:第一次浪潮的调查(2012)伊波尔特
  5. Kreowski、汉斯J·G·G·库斯克、Sabine、von Totth、卡洛琳:将图形变换和代数规范相结合转化为模型变换(2012)
  6. 迈尔斯,Bart;VangeluuWe,汉斯:建模语言演化的框架(2011)伊波尔特
  7. Karsai,Gabor:建立一个图形变换系统的经验(2010)
  8. Mezei,Gergely,LevdodovsZky,Tayhane;Asztalos,MaRrk:模型转换系统的手动和自动性能优化(2010)伊波尔特
  9. Chavarriaga,恩里克;Macéas,JoeaA:建立现代语义Web用户界面的模型驱动方法(2009)
  10. 库亚德拉多,Jes s s ShannCz;莫丽娜,Jes S GARC Ia:通过阶段化机制对模型转换进行模块化(2009)伊波尔特
  11. Fleurey,弗兰克;鲍德里,班诺特;Muller,Pierre Alain;LeTron,YVES:模型转换的合格输入测试数据(2009)伊波尔特
  12. LevdodovsZKy,TayhaneR;Lengyel,Lasssl;Messz Ar ROS,TaMaS:支持领域模型的元模型模式(2009)伊波尔特
  13. Baar,托马斯:正确定义的具体语法(2008)伊波尔特
  14. Guerra,埃丝特;D.IAZ,PalMA;de Lara,胡安:领域特定视觉语言度量的视觉规范(2008)伊波尔特
  15. Mazanek,斯特芬;Maer-Sangja;Minas,马克:超图替换文法的超图完成算法(2008)
  16. Muller,Pierre Alain;FoudMess,Fr.EdEric;Fruly,Fr.C.;Hassenforder,米歇尔;Schnekenburger,Remii;GeeRaad,Se巴斯蒂安;Jez z Quell,Jean Marc:文本驱动的文本句法分析和合成(2008)伊波尔特
  17. Mustafiz,Sadaf;Sun,西盟;Kienzle,J.O.Rg;VangeluuWe,汉斯:模型驱动的系统可靠性评估(2008)伊波尔特
  18. Siikarla、米卡、Tyja、TARJA:转换模式系统——需要的一些程序集(2008)伊波尔特
  19. de Lara,胡安;巴多尔,Roswitha;Errg,Hartmut;Errg,CaltSn;Prange,Urikk;Taunz,Gabriele:带节点类型继承的属性图变换(2007)
  20. Guerra,埃丝特;De Lara,胡安:事件驱动文法:与抽象语言和具体层次的视觉语言相关(2007)伊波尔特