In the context of growing number of design activities, tools and fonnalisms for system design, it becomes di.flicult to ensure that an entry system madel will retain its consistency and coherence after passing through different tools. Indeed, the design tools often rely on different formalisms, syntaxes and semantics. Therefore, the preservation of the semantics and correctness of models is difficult to ensure. In this article, we are especially interested in the mechanisms to maintain the correct behavior of modela through different tools possessing different execution semantics. We propose ta show an experiment we conducted to connect the UML Rhapsody specification tool with the Formai Design and simulation ForSyDe-SystemC tool.