โฃ Contenu du memoire
Table des figures
Table des tableaux
Introduction Gรฉnรฉrale
1 UML & La Mobilitรฉ
1.1 Paradigmes de Code Mobile
1.1.1 รvaluation ร Distance
1.1.2 Code ร la Demande
1.1.3 Agent Mobile
1.1.3.1 Migration dโAgent
1.1.3.2 Communication entre Agents
1.1.3.3 Langages de Communication entre Agents (ACL)
1.2 Langage de Modรฉlisation Uniรฏยฌยรฉ (UML)
1.2.1 UML et Mรฉta-Modรฉlisation
1.2.2 Diagrammes dโUML 2.0
1.2.2.1 Diagrammes statiques
1.2.2.2 Diagrammes dynamiques
1.2.3 Diagrammes dโActivitรฉs
1.2.3.1 Notation
1.2.4 Extension dโUML
1.2.4.1 Stรฉrรฉotypes
1.2.4.2 Valeurs รtiquetรฉes (tagged values)
1.2.4.3 Contraintes
1.3 UML Mobile
1.3.1 Diagramme dโactivitรฉs Mobile
1.3.1.1 Emplacement
1.3.1.2 Mobilitรฉ
1.3.1.3 Clonage
1.3.1.4 Communication
1.3.2 Exemple
1.4 Conclusion
2 Rรฉseaux de Petri Mobile 21
2.1 Concepts de Bases des Rรฉseaux de Petri
2.1.1 Dรฉรฏยฌยnition Graphique
2.1.2 Dรฉรฏยฌยnition Formelle
2.1.3 Marquage dโun Rรฉseau de Petri
2.1.4 รvolution dโun Rรฉseau de Petri
2.1.4.1 Transition validรฉe
2.1.4.2 Rรจgle de Franchissement
2.2 Modรฉlisation Avec les Rรฉseaux de Petri
2.2.1 Parallรฉlisme
2.2.2 Synchronisation
2.2.2.1 Exemple 1 : Problรจme du producteur/consommateurs
2.2.2.2 Exemple 2 : Exclusion mutuelle
2.2.3 Calcul De Flux De Donnรฉes
2.3 Principales Propriรฉtรฉs des Rรฉseaux de Petri
2.3.1 Accessibilitรฉ
2.3.2 Bornitude et RDP Sauf
2.3.3 Vivacitรฉ
2.3.3.1 Transition Vivante
2.3.3.2 RDP Vivant
2.3.4 Blocage
2.3.5 Rรฉinitialisable et รtat dโaccueil
2.3.6 Couverture
2.3.7 Persistance
2.4 Les Rรฉseaux de Petri de Haut Niveau
2.4.1 Rรฉseau de Petri Colorรฉ
2.4.2 Rรฉseau de Petri Objet
2.5 Mobilitรฉ et Rรฉseaux de Petri
2.5.1 Exemple dโintroduction
2.5.2 Dรฉรฏยฌยnition Formelle
2.5.2.1 Dรฉรฏยฌยnition 1
2.5.2.2 Dรฉรฏยฌยnition 2
2.5.3 Comportement dโun Rรฉseaux de Petri Imbriquรฉ
2.5.3.1 รtape de transport
2.5.3.2 รtape dโรฉlรฉment-autonome
2.5.3.3 รtape de synchronisation horizontale
2.5.3.4 รtape de synchronisation verticale
2.6 Conclusion
3 Approche de Transformationย
3.1 Modรจle et Mรฉta-Modรฉlisation
3.1.1 Architecture Mรฉta-Modรจle
3.2 Transformation de Modรจle
3.2.1 Dรฉรฏยฌยnition
3.2.2 Type de Transformation
3.2.3 Caractรฉristiques des approches de transformation
3.2.3.1 Rรจgle de transformation
3.2.3.2 Ordonnancement de Rรจgle
3.3 Mรฉcanismes de Transformation
3.3.1 Transformation de graphe
3.4 AToM
3.4.1 Formalisme Diagrammes de Classes dans AToM
3.4.1.1 Contraintes
3.4.1.2 Action
3.4.1.3 Attributs
3.4.2 Transformation de Graphes
3.5 Prรฉsentation de lโApproche
3.5.1 Mรฉta-Modรจle des Diagrammes dโactivitรฉs
3.5.2 Mรฉta-modรจle de rรฉseau de Petri imbriquรฉ
3.5.3 Dรฉรฏยฌยnition des Rรจgles de Transformation
3.5.3.1 Grammaire de Graphes
3.6 Etude de cas
3.6.1 Exemple 1
3.6.2 Exemple 2
3.6.3 Exemple 3
3.6.4 Exemple 4
3.6.5 Exemple 5
3.7 Conclusion
Conclusion Gรฉnรฉrale 76
Bibliographie 77
Annexe A