There are several tools for execution, analysis and verification of Abstract State Machines. They all differ in their version of ASMs they handle, in the syntax, the permitted constructs and maybe even in the semantics. This way it is not possible to use them together on the same models.
In this presentation it is shown that the integration between different ASM tools can be done using meta-models. The solution includes the handling of differences between the meta-models.