Multi-Level Modeling with Openflexo/FML

A Contribution to the Multi-Level Process Challenge


  • Sylvain Guérin ENSTA Bretagne, Lab-STICC, UMR 6285
  • Joel Champeau ENSTA Bretagne, Lab-STICC, UMR 6285
  • Jean-Christophe Bach IMT Atlantique, Lab-STICC, UMR 6285
  • Antoine Beugnard IMT Atlantique, Lab-STICC, UMR 6285
  • Fabien Dagnat IMT Atlantique, Lab-STICC, UMR 6285
  • Salvador Martínez IMT Atlantique, Lab-STICC, UMR 6285



Model federation, Multi-Level Modeling, System modeling languages, Abstraction, modeling and modularity, Reusability


Model 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.






Special Issue: Multi-Level Process Challenge