Skip to Main content Skip to Navigation

Une approche formelle de l'interopérabilité pour une famille de langages dédiés

Ali Abou Dib 1
1 IRIT-MACAO - Modèles, Architectures, Composants, Agilité et prOcessus
IRIT - Institut de recherche en informatique de Toulouse
Abstract : In this thesis, we introduce a rigorous formally founded method to address the interoperability of a family of domain specific languages (DSLs). Our approach targets DSLs from the same business domain and consists in constructing a unifying language. The unification is obtained by using a categorical approach. For this, we use the category of algebraic specifications of each language in the family. On this category, we apply the colimit on algebraic specifications of each DSL to generate their unifying. This approach allows us to obtain a set of translators from each family member to the unifying language. Moreover, properties established in the context of a language of the family are transferred to the unifier. The approach experimented in the context of the Specware software for categorical computations and of the Isabelle proof assistant.
Document type :
Complete list of metadatas

Cited literature [117 references]  Display  Hide  Download
Contributor : Ali Abou Dib <>
Submitted on : Wednesday, March 24, 2010 - 11:20:29 AM
Last modification on : Friday, October 23, 2020 - 4:52:28 PM
Long-term archiving on: : Monday, June 28, 2010 - 4:34:36 PM


  • HAL Id : tel-00466580, version 1



Ali Abou Dib. Une approche formelle de l'interopérabilité pour une famille de langages dédiés. Informatique [cs]. Université Paul Sabatier - Toulouse III, 2009. Français. ⟨tel-00466580⟩



Record views


Files downloads