@会议记录{10.1007/3-540-45923-5_12，author=“劳拉，胡安·德和Vangheluwe，Hans”，editor=“库切，拉尔夫·德特勒夫和赫伯特·韦伯”，title=“AToM3:多形式主义和元建模工具”，booktitle=“软件工程的基本方法”，year=“2002”，publisher=“施普林格-柏林-海德堡”，address=“柏林，海德堡”，pages=“174--188”，摘要=“本文介绍了多形式主义建模和元建模的结合使用，以促进复杂系统的计算机辅助建模。该方法允许人们使用不同的形式主义对系统的不同部分进行建模。借助形式主义Transfor中的信息，模型可以在形式主义之间自动转换。”信息图（FTG），作者提出。为了帮助自动生成多形式主义建模工具，形式主义在适当的形式主义中以自己的方式（在元级别）建模。这已经在交互式工具AToM3中实现。该工具用于描述动态系统仿真中常用的形式，以及生成自定义工具来处理（创建、编辑、转换、模拟、优化…）以相应形式表示的模型。AToM3依赖于图重写技术和图语法来执行形式主义之间的转换以及其他任务，例如代码生成和操作语义规范。",isbn=“978-3-540-45923-1”}