Luận văn thạc sĩ VNU injection d algorithmes de répartition de données dans un composant de communication par transformation de modèle

Modèle PSM Platform-Specific Model Transformation automatique... Composant Composant Composant Glugiciel... Composant Composant Composant Médium... A.2 nbAvailableIdavailable −> size B.2

Modèle PSM (Platform-Specific Model)

Transformation automatique

Composant

Composant

Composant Glugiciel

Composant

Composant

Composant Médium

<< interface >>

IReserverMediumServices

* observers

*

* reserved

* available

* originalSet 0 1

1 /source

ReserveId

<< interface >>

ISourceMediumServices setReserveIdSet(ReserveId[], Boolean)

A.2 nbAvailableId(available −> size) B.2 [resReturn != null] nbAvailableId(available −> size) C.2 [cancelReturn = true] nbAvailableId(available −> size)

*

*

1 /source

ReservationMedium

A.1 setReserveIdSet(set)

B.1 resReturn = reserve()

C.1 cancelReturn = cancel(id) /reserver

Panneau Affichage

Observer Manager

AccesUn

AccesDeux

Site C Site A

Site B

Site D

Reserver Manager Intergiciel

Reserver Manager Médium de

ReserveId

1 0 1

<< interface >>

IReserverMediumServices

cancel(ReserveId) ReserveId reserve()

ISourceMediumServices setReserveIdSet(ReserveId[], Boolean)

<< interface >>

localAvailable * 0 1

*

*

* Boolean usable = false

IObserverComponentServices

<< interface >>

nbAvailableId(Integer) /observer

ReserveId ReserverManager

Boolean cancelerIsReserver Boolean usable = false

ObserverManager Boolean usable = false

Boolean usable = false SourceManager

ReserverManager /source

*

* available originalSet IReserverMediumServices

M M

M M

R R R R R

R R

M

R M M

R

M R M R

M R

Etape 0:

Spécification abstraite

Etape 1:

Introduction des gestionnaires

Rôle Gestionnaire Identificateur

>"=J NF  6     



ISourceMediumServices SourceManager

ReservationMedium

* 1

<<interface>>

IObserverComponentServices nbAvailable(Integer)

/source

/observer /reserver

AvailableDataManager

<<interface>>

IAvailableDataServices init()

insert(ReserveId) remove(ReserveId) ReserveId select(Integer) Integer size()

1

setReserveIdSet(ReserveId[], Boolean)

<<interface>>

IReserverMediumServices ReserveId reserve() Cancel(ReserveId)

<<interface>>

IObserverComponentServices nbAvailable(Integer)

ReserverManager

ReserveId reserved *

localAvailable

originalSet * * 0 1

/source

/observer /reserver

ChordAvailableDataManager

<<interface>>

IChordAvailableDataServices init()

insert(ReserveId) remove(ReserveId) ReserveId select(Integer) Integer size()

1

*

* *

1 1

1 Boolean usable

Boolean usable

Boolean usable Boolean cancelerIsReserver

Source Manager

Panneau Affichage

Observer Manager

AccesUn

AccesDeux

Reserver Manager

Site C Site A

Site B

Site D

Reserver Manager Chord Data Manager

Chord Data Manager Intergiciel

Médium de réservation

M M

M M

R R R R R R

Médium

Médium

M

M M

R R

M

M R

M R M R

M

Etape 0:

Spécification abstraite

Etape 1:

Introduction des gestionnaires

Rôle Gestionnaire

Identificateur

M

M i

R

DM Gestionnaire de données

M M

R R

M R M R

Algorithmes Médium

Métamodèle source

Métamodèle de transformation = MOF + action

Modèle de transformation

MOF

Métamodèle cible

Modèle source

Modèle cible

Exécution de transformation

Médium abstrait

(*) Médium + type abstrait

Médium + gestionnaires

Médium « distribué » Médium « centralisé »

(*) Médium « distribué » par <AlgorithmName>

Test

xmi

ecore

corps de méthode: objet en Kermeta

corps de méthode: EAnotation(String)

@"DN  /   

:

#

:

Métamodèle source

Métamodèle de transformation = MOF + action

Modèle de transformation< /h3>

MOF

Métamodèle...

corps de méthode: objet en Kermeta

corps de méthode: EAnotation(String)

@"DN...

Modèle source

Modèle cible

Exécution de transformation

Médium