MACAO 4'1

1
MACAO 4.1

• Spécification de la prise en compte des éléments
  du modèle objet UML
• France Télécom - LIRMM

2
Objectif

• Adaptation des algorithmes aux hiérarchies UML
• Nécessité de construire la (les)  matrice(s) 
• pertinente(s) pour la construction de la SHG

3
Notion de  propriété 

• Les  features  dUML
• La définition de propriété  revisitée 
• Notion de coréférent et de référent
• Propriété générique

4
Coréférent
5
Référent et propriété générique
a1
refAtt1
a2
refP
refAtt2
a0
refP1
refP0
p1
refP3
p0
refP2
p2
refP4
p3
p4
6
Méta-modèle proposé
0..1
0..

Feature ( Co-référent)
Classifier
0..

lt refine
a pour réf gt
Classe
1
0..
0..
Référent
0..
1
specialize gt
Propriété générique
7
Régles heuristiques

• Pour déterminer les référents
• Pour déterminer lordre des référents au sein
  dune propriété générique

8
Attributs
visibilité nom-attribut multiplicité type
val Initiale propriétés
- prénom 1..3 String Zoé  changeable

• Régles
• Type
• Multiplicité
• Valeur initiale
• Propriétés

• Problèmes

9
Opérations - Méthodes
visibilité nom-op (l param) type retour
propriétés corps
affiche (coul String) String corps

• Régles
• Classe
• Corps
• Super
• Exception

• Problèmes

10
Associations
GeneralizableElement
1
2.. ordered
1

AssociationEnd Visibility IsNavigable
Multiplicity
Classifier
Association
type
0..1
qualifier

Attribute

AssociationClass
11
Associations

• Coréférents et référents pour les classes

ai gt
origDeai
C
ai gt
C
destDeai
ai gt
clDeai
C
12
Associations

• Coréférents et référents pour les associations

role
ai gt
toC
C
nrorole
mult
momult
role
ai gt
C
tdC
mult
nrdrole
mdmult
13
Associations

• Coréférents et référents pour les associations

navODvrai
ai gt
pop
p
ai gt
navDOvrai
p
pdp
ai gt
caC
soit
C x
x
14
Associations

• Régles
• Nom de Rôle
• Type des extrémités
• Multiplicité
• Contrainte
• Spécialisation

• Problèmes

15
Mise en uvre

• Exemple

Locataire nom adresse
Syndic président nSIRET
lt Entretient
Loue gt
1
1
Enfant nom adresse école


Maison type
lt Gère
Achète gt


Propriétaire nom adresse
AgenceImmob directeur nSIRET
1..
1..
16
Mise en uvre

• Etape 1 Généralisation des classes
• Construction de la matrice des classes
• Calcul des fermés
• Construction dune SHG pour les associations
• Etape 2 Généralisation des associations
• Construction de la matrice des associations
• Calcul des fermés
• Construction dune SHG pour les classes
• Etape 3 Itération des généralisations jusquà
  saturation

17
Etape 1

• Construction de la matrice initiale des classes

18
Etape 1

• Calcul des fermés

• Deux nouveaux concepts de classes apparaissent
  avec les fermés suivants
• - Pour  nom  et  adresse 
  (NC1) Enfant,Locataire,Propriétairenom,adress
  e
• - Pour  responsable  et  nSiret  (NC3)
• Syndic,AgenceImmoresponsable,nSIRET

19
Etape 1
Pour  nom  et  adresse  introduction de la
nouvelle classe NC1 Enfant,Locataire,Propriétai
renom,adresse
20
Etape 1

• Pour  responsable  et  nSiret  introduction
  de la nouvelle classe NC3 Syndic,AgenceImmore
  sponsable,nSIRET

21
Etape 1

• Construction de la SHG

NC1 nom adresse
NC3 responsable nSiret
Enfant
Locataire
Syndic
lt Entretient
Loue gt
Maison
lt Gère
Achète gt
Propriétaire
AgenceImmo
22
Etape 2

• Construction de la matrice des associations

Cd
Co
Md
Mo
Ma
Ag
S
PR
LO

1..
1
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
23
Etape 2

• Construction de la matrice des associations
• La SHG sur les classes permet de compléter la
  matrice

24
Etape 2

• Calcul des fermés

• Quatre nouvelles associations apparaissent avec
  les fermés suivants
• Pour  Mo 1  loue, entretientMo1,Mo1..
  ,Md,CdMA
• Pour  Mo 1..  loue, achète,
  entretient,gèreMo1..,Md,CdMA
• Pour  Co NC1  loue, achèteMo
  1,Mo1..,CdMA, CoNC1
• Pour  CoNC3  entretient,
  gèreMo1..,Md,CdMA, CoNC3

25
Etape 2

• Calcul des fermés

• Une nouvelle association apparaît avec le fermé
  suivant pour  Mo 1  loue,
  entretientMo1,Mo1..,Md,CdMA

26
Etape 2

• Calcul des fermés

• Une nouvelle association apparaît avec le fermé
  suivant pour  Mo 1..  loue, achète,
  entretient, gèreMo1.., Md, CdMA

27
Etape 2

• Calcul des fermés

• Une nouvelle association apparaît avec le fermé
  suivant pour  Co NC1  loue, achèteMo
  1,Mo1..,CdMA, CoNC1

28
Etape 2

• Calcul des fermés

• Une nouvelle association apparaît avec le fermé
  suivant pour  CoNC3 
• entretient, gèreMo1..,Md,CdMA, CoNC3

29
Etape 2

• Construction de la SHG

a1
1..

MA
a4
a3
1..

1..

MA
NC1
MA
NC3
a2
1

MA
entretient
1

MA
S
30
Etape 3

• On itère étape 1 et étape 2 jusquà ce que plus
  aucun concept nouveau napparaisse

31
Etape 3

• Résultat

32
Discussion

• Le résultat obtenu montre bien une factorisation
  des  propriétés  contenues dans la hiérarchie
  UML.
• Deux méthodes duales semblent possibles
  convergeant vers la même solution.
• Phase suivante implanter dans latelier.