VPM公司

VPM:一个可视化的、精确的、多层次的元建模框架,用于描述数学领域和UML作为uml2.0正在发展成为一个具有单独指定语义的语言家族,对自动化和正确的模型转换的需求越来越大,(i)确保局部视图(不同图)的集成(ii)提供从UML模型到不同语义域(Petri网、Kripke自动机、过程代数等)的良好映射,以便进行形式化分析,例如,提交OMG RFP以获得可调度性、性能和时间。然而,这种向不同语义域的转换通常需要深入理解底层数学,这阻碍了形式化规范技术在工业应用中的应用。本文提出了一种具有精确静态和动态语义(基于精化演算和图形转换)的多级元建模技术,该技术可以用UML表示法定义数学模型的结构和操作语义,而不需要繁琐的数学公式。


zbMATH中的参考文献(参考文献11条)

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

  1. 霍尔瓦思,Ákos;伯格曼,Gábor;拉特,伊斯特万;Varró,Dániel:将模式匹配策略与VIATRA2相结合的实验评估(2010)ioport公司
  2. 杰克逊,伊桑;Sztipanovits,Janos:领域特定建模语言的结构语义形式化(2009)ioport公司
  3. 列文多夫斯基,蒂哈迈尔;伦杰尔,拉斯洛;Mészáros,Tamás:用元建模支持特定领域的模型模式(2009)ioport公司
  4. 阿兰,马库斯;Porres,Ivan:一种支持子集和联合属性的元建模语言(2008)ioport公司
  5. 丁格尔,J。;迪斯金,Z。;Zito,A.:理解和改进UML包合并(2008)ioport公司
  6. 蒙坦盖罗,卡罗;劳拉·塞米尼:《倒钩模型驱动软件开发:案例研究》(2008)ioport公司
  7. 德拉,胡安;巴多尔,罗斯维萨;赫里格,哈特穆特;艾瑞格,卡斯滕;普拉格,乌尔里克;Taentzer,Gabriele:具有节点类型继承的属性图转换(2007)
  8. 约特,弗里德里克;Ivan Kurtev:论模型到模型转换语言的互操作性(2007)
  9. 瓦尔罗,达尼尔;Balogh,András:VIATRA2框架的模型转换语言(2007)
  10. 泰泽,加布里埃尔;Rensink,Arend:确保基于图的模型中具有类型继承的结构约束(2005)
  11. 瓦尔罗,达尼尔;Pataricza,András:VPM:描述数学领域和UML的可视化、精确和多级元建模框架(2003)ioport公司