VPM公司

VPM:一个可视化的、精确的、多层次的元建模框架,用于描述数学领域和UML,作为uml2.0正在发展成为一个具有单独指定语义的语言家族,越来越需要自动化和正确的模型转换,以(i)确保局部视图(不同图)的集成为统一建模语言(UML)和可调度性(projection)提供了统一的、面向时间的、可调度的系统模型。然而,这种向不同语义域的转换通常需要深入理解底层数学,这阻碍了形式化规范技术在工业应用中的应用。本文提出了一种具有精确静态和动态语义(基于精化演算和图形转换)的多级元建模技术,该技术可以用UML表示法定义数学模型的结构和操作语义,而不需要繁琐的数学公式。


zbMATH参考文献(参考 11篇文章

显示结果1到11,共11个。
按年份排序(引用)

  1. Horváth,Ákos;Bergmann,Gábor;Ráth,István;VarróDániel:将模式匹配策略与VIATRA2相结合的实验评估(2010)ioport公司
  2. Jackson,Ethan;Sztipanovits,Janos:领域特定建模语言的结构语义的形式化(2009)ioport公司
  3. Levendovszky,Tihamér;Lengyel,László;Mészáros,Tamás:使用元建模支持特定领域的模型模式(2009)ioport公司
  4. Marcus Alanen;Porres,Ivan:支持子集和联合属性的元建模语言(2008)ioport公司
  5. 改进UML;和diskzita,2008;改进UML,dingz)ioport公司
  6. Montangero,Carlo;Semini,Laura:《倒钩模型驱动软件开发:案例研究》(2008)ioport公司
  7. de Lara,Juan;Bardohl,Roswitha;Ehrig,Hartmut;Ehrig,Karsten;Prange,Ulrike;Taentzer,Gabriele:具有节点类型继承的属性化图变换(2007)
  8. Joault,Frédéric;Kurtev,Ivan:关于模型到模型转换语言的互操作性(2007)
  9. Varró,Dániel;Balogh,András:VIATRA2框架的模型转换语言(2007)
  10. Taentzer,Gabriele;Rensink,Arend:用类型继承确保基于图的模型中的结构约束(2005)
  11. Varró,Dániel;Pataricza,András:VPM:描述数学领域和UML的可视化、精确和多级元建模框架(2003)ioport公司