ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 29/4-5 - 2010  - pp.453-478  - doi:10.3166/tsi.29.453-478
TITRE
Une approche formelle de l'interopérabilité en modélisation orientée métier

TITLE
A formal approach to deal with interoperability in domain specific modeling

RÉSUMÉ
Ce travail concerne la modélisation orientée métier fondée sur les « Domain Specific Languages » (DSL). L'article présente une solution pour assurer l'interopérabilité de composants décrits en utilisant différents DSL. Pour traiter l'interopérabilité non seulement au niveau syntaxique par la métamodélisation, nous nous orientons vers une solution qui privilégie le volet sémantique. Notre solution utilise la sémantique formelle de chacun des langages et se base sur l'utilisation de résultats connus de la théorie des catégories, qui nous permettent d'obtenir de manière semi-automatique la définition d'un langage unificateur de la famille, ainsi que des traducteurs depuis les langages initiaux. De plus, nous pouvons transposer une propriété d'un DSL vers le langage unificateur, où elle est automatiquement satisfaite. L'approche ainsi obtenue nous permet de continuer d'utiliser les langages originaux comme d'habitude, tout en assurant l'interopérabilité des composants.


ABSTRACT
This paper reports on a business modeling approach based on the use of Domain Specific Languages (DSL). We focus on the interoperability between various components specified using various related DSLs that are part of the same family. In order to deal with interoperability at more than a syntactical level we choose a solution focusing on the semantic level. We start from the formal semantics of each of these languages and we use well established results in the category theory that allow us to obtain in a semi-automatical manner the definition of a unifying language of the family, as well as translators towards this one, from the original DSLs. Additionally, this approach allows us to exploit in the unifying context, properties established in the context of the original languages. We end up in a development setting with component interoperability, while allowing us to keep unchanged the way the original languages are used.


AUTEUR(S)
Ali Abou DIB, Louis FÉRAUD, ileana OBER, christian PERCEBOIS

MOTS-CLÉS
modélisation orientée domaine, composants hétérogènes, interopérabilité, langages dédiés, spécification algébrique, théorie des catégories, specware.

KEYWORDS
domain specific modeling, heterogeneous components, interoperability, domain specific languages (DSL), algebraic specification, category theory, specware.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (463 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier