×

变身

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文件

按年份列出的引文