Sylvain Guérin, Joel Champeau2023-05-142023-05-142022https://dl.gi.de/handle/20.500.12116/41540Model federation is a multi-model management approach based on the use of virtual models and loosely coupled links. The models in a federation remain autonomous and represented in their original technological spaces whereas virtual models and links (which are not level bounded) serve as control components used to present different views to the users and maintain synchronization. In this paper we tackle the EMISAJ multi-level process modeling challenge, which consists in providing a solution to the problem of specifying and enacting processes. Solutions must fulfill a number of requirements for a process representation defined at an abstract process-definition level and at various more concrete domain-specific levels, resulting in a multi-level hierarchy of related models. We present a solution based on model federation and discuss the advantages and limitations of using this approach for multi-level modeling. Concretely, we use virtual models and more precisely the Federation Modeling Language (FML) that serves to describe them as the main building block in order to solve the process modeling challenge whereas the federation feature is used as a means to provide editing tools for the resulting process language. Our solution fulfills all the challenge requirements and is fully implemented with the Openflexo framework.enModel federationMulti-Level ModelingSystem modeling languagesAbstractionmodeling and modularityReusabilityText/Journal Article10.18417/emisa.17.9