In the context of embedded systems design, the growing het erogeneity of systems leads to increasingly complex and unreliable tool chains. The Model Driven Engineering (MDE) community has been mak-ing considerable eff orts to abstract tool languages in meta-models, and to o ffer model transformation mechanisms for models exchanges. However, the interoperability problems are recurring and still not consistently addressed. For instance, when it comes to executable models exchanges, it is very di fficult to ensure the preservation of the models behavior from one tool to another. This is mainly due to a lack of understanding of the Models of Computation (MoC) and execution semantics behind the models within di erent environments. In this paper, we introduce a methodology and a framework to: make explicit the execution semantics of models (based on the theory of MoC); provide semantics enrichment mechanisms to ensure the preservation of the execution semantics of models between tools. Our case study is an integration between a UML speci cation tool and an industrial Intensive Data Flow processing tool. This contribution helps to highlight execution semantics concerns within tool integration context.