A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous Models
The ANR INS project GEMOC investigates the following scientific breakthroughs:
- A modular executable metamodeling approach for behavioral semantics understanding, reuse and variability. This approach supports an explicit model of concurrency and domain-specific actions with a well-defined protocol between them (incl., mapping, feedback and callback).
- The definition of both structural and behavioral language interfaces; the structural interface to allow language structure manipulation, language substitutability and model polymorphism, and the behavioral interface for language behavioral coordination.
- The composable executable languages enable the specification of language coordination patterns to automatically integrate the model execution engines.
The following technological breakthroughs are developped:
- A language workbench, including dedicated meta-languages supporting the proposed modular executable metamodeling approach;
- A modeling workbench for model edition, concurrent execution of heterogeneous models, and model debugging (incl., graphical animation, trace and event management);
- Seamless integration to EMF.
The language workbench and the modeling workbench are included into the GEMOC Studio, an Eclipse package that contains components supporting the GEMOC methodology.
The scientific and technological breakthroughs are experimented to develop the industrial case study xCapella, an extension of Capella that supports the concurrent execution and animation of different Capella diagrams for early model debugging.
The GEMOC studio is open-source, domain-independent, and benefits from the support of the Eclipse IWG Polarsys for sustainable exploitation.