L'integration des modeles

ETA-MOD 

ELISATION 31

1.4.5 L'integration des modeles

Les travaux du LURPA

De nombreux travaux ont egalement eu lieu au LURPA sur la meta-modelisation [Lesage94] au sein de l'equipe Conception des Systemes Avances de Production. Pour realiser les

meta-modeles

, le

formalisme

retenu a ete le formalisme entite/relation juge bien adapte a la representation de la

syntaxe

et de la

semantique

des

techniques de

modelisation

. Ces travaux precurseurs ont amene les auteurs de [Denis et al.93] a denir la meta-modelisation:

(( Modeliser une

methode de conception

, c'est donc:

(({ modeliser chacune des

techniques de modelisation retenues

(essen-tiellement la syntaxe des modeles)

,

(({ modeliser les

techniques de construction de modeles (semantiques

associees aux modeles)

,

(({ modeliser les

techniques de passage d'un modele a un autre

(l'as-pect \integration" de la methode)

.

Nous appelons meta-modele le modele global, ainsi constitue, d'une technique de modelisation ou d'une methode de conception. ))

Cette denition permet de facon evidente de bien montrer l'originalite des travaux realises au sein du LURPA. Les travaux qui y sont realises ne portent en eet pas unique-ment sur la denition des techniques de modelisation, mais egaleunique-ment sur leur integration au sein des methodes.

Dans ses travaux de these, Bruno Denis [Denis94] montre ainsi tout l'inter^et de la meta-modelisation pour denir la syntaxe et la semantique de modeles construits dans un formalisme nouveau (modele d'implantation) ou dans un formalisme deja connu (SA-RT). A partir de ces deux meta-modeles, il en construit un troisieme qui montre l'integration entre ces deux formalismes. L'integration consiste alors a denir des relations entre des entites issues des deux meta-modeles existants, aucune nouvelle entite n'etant creee.

Par ailleurs, [Lesage et al.92] demontre par l'exemple (la meta-modelisation de la me-thode integree de passage d'un MCT a un MOT) comment les meta-modeles peuvent ^etre utilises pour la denition des methodes. Les methodes sont envisagees suivant deux aspects: les techniques de construction des modeles d'une part, et l'integration des die-rents modeles au sein d'un projet d'autre part. Ainsi, les entites (( regle de gestion )) et

((action))(gure 1.10) sont des entites ne faisant pas partie des modeles produits mais de la technique de construction des modeles. Chacune de ces entites participe a l'integration

synchro. d’organisation évalue règle d’émission d’organisation émet règle d’émission émet opération synchro. évalue déclenche procédure fonctionnelle ^affectée poste de travail déclenche action évènement se décompose est constituée est constituée

est une _gestion

traduit 0-n 1-n 1-n 0-n 1-n 1-1 1-1 0-n 1-n 1-1 1-n 1-1 1-1 1-n 1-n 1-1 ^0-1 1-n 0-1 1-n 1-1 1-1 1-n

modélisation des techniques de constructions de modèles

modélisation de l’intégration 0-n

Fig. 1.10: Meta-modele partiel de la methode integree de passage d'un MCT a un MOT [Lesage et al.92]

des deux modeles, soit parce qu'elle fait partie des deux, soit parce qu'elle participe a la mise en relation d'entites des deux modeles.

La limite majeure de cette approche est sa vision purement statique des methodes. Le choix du formalisme entite/relation occulte les phases de construction ou de traduction de modeles qui sont des aspects primordiaux des methodes.

La these de Francois Kiefer

Les travaux de Francois Kiefer [Kiefer96] ont eu pour cadre l'atelier de prototypes de la societe AEROSPATIALE, a Chatillon (92). Confronte a la multiplicite et a la diversite des methodes de conception des

Systemes Integres de Production

(SIP), F. Kiefer a etudie les dierents cas possibles

d'integration de methodes

. La diversitedes methodes utilisees l'ont amene a re echir a une integration par l'intermediaire d'un

langage pivot

. Le choix d'un langage pivot a permis de limiter le nombre d'integrations a etudier. Le

1.4. LES TRAVAUXDE M  ETA-MOD  ELISATION 33 GÉNÉRALISATION NOM-RELATION-CIMOSA LIB-RELATION-CIMOSA RELATION-CIMOSA ENTITÉ NOM-ENTITÉ DERIVE-RELATION ^RELATION-E/A NOM-RELATION-E/A AGRÉGAT-DE PARTIE-DE SOUS-CLASSE CLASSE VUE-OBJET-CIMOSA BASE-OBJET-CIMOSA ID-OBJET-CIMOSA LIBELLE-CIMOSA OBJET-CIMOSA OBJET-CIMOSA ÉLÉMENT-INFORMATION PROPRIÉTÉ-CIMOSA NOM-PROPRIÉTÉ-CIMOSA LIB-PROPRIÉTÉ-CIMOSA CARACTÉRISE ASSOCIE DÉCRIT PROPRIÉTÉ-E/A NOM-PROPRIÉTÉ-E/A ORIGINE DESTINATION DÉRIVE-OBJET I3 PERCEPTION-DE DERIVE-PROPRIÉTÉ AGRÉGATION PARTICULIÈRE 0,N 0,N 0,N 0,N 0,N 0,N 0,N 0,N 0,N 0,N 0,N 0,N 0,N 0,N 1,N 1,N 1,N 1,N 1,1 1,1 1,1 1,1 1,1 1,1 0,1

Fig. 1.11: Meta-modele de la vue information de CIM-OSA [Kiefer96]

choix de CIM-OSA comme pivot a permis d'avoir une couverture complete des dierentes

phases

d'etude des SIP. La nombre important de methodes etudiees lui a permis de mettre en evidence dix cas de correspondance entre une methode et le langage pivot. Ces dix cas correspondent a la fois a un travail sur la

semantique

mais egalement au type

d'action

realisable. Entite/relation est utilise pour la construction des meta-modeles. Par contre, les

regles

d'importation et d'exportation sont exprimees en francais, ce qui malheureusement ne permet pas de verier leur coherence interne et encore moins leur coherence par rapport aux meta-modeles.

Le travail realise est a notre avis le plus complet et le plus directement applicable dans le domaine de l'integration de methodes. Le choix de entite/relation pour construire des

meta-modeles a but pedagogique et pragmatique, comme support ecace de communi-cation au sein de l'entreprise, etait tres pertinent. Par contre, il s'est avere un handicap pour la phase d'expression des regles de passage d'un modele a un autre en rendant cette description textuelle independante de la description des dierents modeles. Comme nous l'avons deja dit, ce choix emp^eche aussi la modelisation du comportement dynamique des modeles.

Dans le document Apport de la méta-modélisation formelle pour la conception des Systèmes Automatisés de Production (Page 32-35)