sle2013/paper11

SLE 2013 paper:
A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation

Papa Issa Diallo, Joël Champeau, Loïc Lagadec

• DOI: 10.1007/978-3-319-02654-1_12
• T4B: Horizontal Transformation
  • The core problem is interoperability across heterogeneous tools, addressed through explicit mappings/exchanges between executable models.
• T5D: Formal Methods
  • It leverages formal “models of computation” to reason about and constrain executable model exchanges in a principled way.
• T1D: Composition
  • The paper is fundamentally about coordinating and integrating heterogeneous tool chains and execution models.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.