威特拉2 swMATH ID: 3511 软件作者: Dániel的Varró;安德烈·巴洛夫 描述: VIATRA2框架的模型转换语言。我们提出了VIATRA1框架的模型变换语言,该语言通过将图形转换和抽象状态机组合成一个单一规范范式,提供了一种基于规则和模式的转换语言,用于操作图形模型。该语言提供了高级构造,用于在形式模型分析中常用的单向模型转换中查询(例如递归图形模式)和操作模型(例如通用转换和元转换规则),以实现强大的抽象。 主页: http://wiki.eclipse.org/VIATRA2 关键词: 模型转换;图形变换;抽象状态机 相关软件: 进展;AGG公司;图形转换基准;VPM公司;A至M3;福贾巴语;沟槽;莫德;GrGen公司;GXL公司;ATL公司;变身;伊莎贝尔/HOL;自旋蛋白;AToMPM公司;美兰尼;同意;罗丹;电源保护;钙磷 引用于: 18文件 全部的 前5名41位作者引用 三 达尼尔·瓦罗 2 戈博尔·伯格曼 2 胡安·德·拉腊 2 埃丝特·格拉 2 弗莱德里克·尤尤尔(Frédéric Jouault) 2 伊万·库特夫 1 阿尔梅德罗斯-吉梅内斯,杰苏斯·曼努埃尔 1 纳撒利·阿基诺 1 安德拉斯·巴洛夫 1 费德里科·班蒂 1 阿图尔·博罗纳特 1 达科斯塔·卡瓦莱罗,西蒙·安德烈 1 弗朗西斯科·杜兰 1 卢西亚娜·福斯 1 奥尔纳·格隆伯格 1 阿尔科斯·霍瓦思 1 路易斯·伊涅斯塔 1 路易斯·伊里巴内 1 加博尔·卡赛 1 亚历山大·纳普 1 汉斯·约尔格·克鲁斯基 1 萨宾·库斯克 1 洛佩斯·费尔南德斯 1 费尔南多·马西亚斯 1 耶尔·梅勒 1 何塞·梅塞盖尔·瓜伊塔 1 安格尔莫拉塞古拉 1 罗纳德·内德佩尔 1 罗萨里奥·普格利泽 1 伊斯坦·拉思 1 莱拉·里贝罗 1 罗伯托·罗德里格斯·埃切韦里亚 1 阿德里安·拉特尔 1 马丁·斯特雷克 1 弗朗西斯科·蒂齐 1 佐尔坦·乌杰赫利 1 van den Berg,克拉斯 1 卡罗琳·冯·托特 1 马丁·威尔辛 1 Uwe E.沃尔特。 1 凯伦·约拉夫 全部的 前5名6篇连载文章中引用 三 计算机程序设计科学 三 程序设计中的逻辑和代数方法杂志 1 理论计算机科学 1 符号计算杂志 1 MSCS公司。计算机科学中的数学结构 1 工程软件进展 在1个字段中引用 18 计算机科学(68至XX) 按年份列出的引文