变身 swMATH ID: 10085 软件作者: 托尔斯滕·阿伦特;恩里科·比尔曼;斯特凡·尤拉克;克里斯蒂安·克劳斯(Christian Krause);加布里埃尔·坦泽尔 描述: Henshin:用于就地EMF模型转换的高级概念和工具。Eclipse建模框架(EMF)为基于结构化数据模型的Java应用程序提供了建模和代码生成工具。Henshin是一种用于EMF模型就地转换的新语言和相关工具集。Henshin转换语言在最底层使用基于模式的规则,这些规则可以被构造成具有定义良好的操作语义的嵌套转换单元。所谓的合并单元是一种特殊类型的转换单元,为所有操作员提供模式替换。对于所有这些概念,Henshin提供了可视化语法、复杂的编辑功能、执行和分析工具。Henshin转换语言源于属性图转换,它为EMF模型转换的验证提供了形式化基础。转换概念通过两个案例研究进行了演示:EMF模型重构和元模型演化。 主页: http://link.springer.com/chapter/10.1007/978-3-642-16145-2_9 相关软件: AGG公司;沟槽;GrGen公司;棱镜;规则合并器;石溪;算法97;Verigraph公司;OCL2AC公司;莫德;伊莎贝尔/HOL;自动变速器;威特拉2;同意;UML到CSP;合金;SimSG公司;PTGTS公司;孔普伦;MDE优化程序 引用于: 23文件 全部的 前5名49位作者引用 9 加布里埃尔·坦泽尔 6 霍尔格·吉斯 5 马提亚斯·巴考斯基 5 莱恩·兰伯斯 5 丹尼尔·斯特吕贝尔 4 延斯·科索尔 三 托尔斯滕·阿伦特 2 克里斯托弗出生 2 Brian Courtehoute先生 2 丰满,细节 2 莱拉·里贝罗 2 阿德里安·鲁特尔 1 布莱尔·阿奇博尔德 1 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi) 1 简·斯特芬·贝克尔 1 贝泽拉、乔纳斯·桑托斯 1 Graham H.坎贝尔。 1 玛莎·契契克 1 安德烈·科斯塔 1 达科斯塔·卡瓦莱罗,西蒙·安德烈 1 弗朗西斯科·杜兰 1 哈特穆特·埃里格 1 Foss,卢西亚娜 1 乌尔里克·戈拉斯 1 阿内格丽特·哈贝尔 1 瑞科·赫克尔 1 蒂莫·凯勒 1 乌多·凯尔特 1 克里斯蒂安·克劳斯 1 盖扎·库尔斯阿尔 1 Yngve拉莫 1 罗德里戈·马查多 1 费尔南多·马西亚斯 1 玛丽亚·马克西莫娃 1 内布拉斯加州纳赛尔 1 曼纽尔·奥恩多夫 1 费尔南多·奥雷贾斯 1 克里斯托弗·皮埃奇 1 詹妮弗·普洛格 1 亨德里克·拉德克 1 罗德里格斯,莱昂纳多·马尔克斯 1 罗伯托·罗德里格斯·埃切韦里亚 1 朱莉娅·鲁宾 1 玛丽亚姆·加法里·萨达特 1 梅兰妮·施奈德 1 米歇尔·塞维格纳尼 1 Uwe E.沃尔特。 1 Zöllner,基督徒 1 斯泰芬·兹夏勒 3篇连载文章中引用 5 程序设计中的逻辑和代数方法杂志 2 理论计算机科学 2 计算的形式方面 在2个字段中引用 23 计算机科学(68-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文