La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Support d'adaptation dynamique pour le modèle de composants PauWare Cyril Ballagny, Nabil Hameurlain, Franck Barbier LIUPPA, Pau, France Journée ADAPT,

Présentations similaires


Présentation au sujet: "Support d'adaptation dynamique pour le modèle de composants PauWare Cyril Ballagny, Nabil Hameurlain, Franck Barbier LIUPPA, Pau, France Journée ADAPT,"— Transcription de la présentation:

1 Support d'adaptation dynamique pour le modèle de composants PauWare Cyril Ballagny, Nabil Hameurlain, Franck Barbier LIUPPA, Pau, France Journée ADAPT, Fribourg, Suisse, 14 Février 2008

2 Plan Introduction à ladaptation dynamique Introduction à ladaptation dynamique Le modèle de composant PauWare Le modèle de composant PauWare Le composant Le composant Le container Le container La boucle de contrôle La boucle de contrôle Conclusion Conclusion

3 Ladaptation dynamique Distinction reconfiguration/adaptation Distinction reconfiguration/adaptation La reconfiguration sapplique sur un assemblage de composants en modifiant des liaisons entre composants et en migrant dun environnement dexécution à un autre La reconfiguration sapplique sur un assemblage de composants en modifiant des liaisons entre composants et en migrant dun environnement dexécution à un autre Ladaptation sapplique sur un composant en modifiant ses services, son comportement, son algorithmique, ses propriétés Ladaptation sapplique sur un composant en modifiant ses services, son comportement, son algorithmique, ses propriétés Ladaptation est généralement moins lourde que la reconfiguration Ladaptation est généralement moins lourde que la reconfiguration Contexte dynamique : à lexécution Contexte dynamique : à lexécution Pour éviter les arrêts du système Pour éviter les arrêts du système Pour augmenter la réactivité du système Pour augmenter la réactivité du système Pour réduire le Total Cost of Ownership! Pour réduire le Total Cost of Ownership! Système ouvert Système ouvert Pour mettre à jour le composant (palier aux défauts de la conception initiale) Pour mettre à jour le composant (palier aux défauts de la conception initiale)

4 Les composants PauWare Comportement du composant Comportement du composant Se caractérise comme étant Se caractérise comme étant Les séquences admissibles de requêtes de services sur un composant (protocole) Les séquences admissibles de requêtes de services sur un composant (protocole) Les valeurs dun état conditionnant le fonctionnement global dun composant (Power : On/Off; Buffer : Vide, NonVide, Plein) Les valeurs dun état conditionnant le fonctionnement global dun composant (Power : On/Off; Buffer : Vide, NonVide, Plein) Contexte fonctionnel du composant Contexte fonctionnel du composant Intègre la logique métier du composant Intègre la logique métier du composant Son algorithmique Son algorithmique Ses propriétés (variables métier) Ses propriétés (variables métier)

5 Le modèle de composant PauWare Un composant PauWare encapsule une machine à état pour réaliser son comportement Un composant PauWare encapsule une machine à état pour réaliser son comportement La machine à états persiste à lexécution : observation et contrôle La machine à états persiste à lexécution : observation et contrôle Les communications reposent sur lenvoi asynchrone de messages Les communications reposent sur lenvoi asynchrone de messages Les services fournis par le composant sont déclenchés par la réception de messages Les services fournis par le composant sont déclenchés par la réception de messages

6 Le container PauWare Est conforme au modèle de composant PauWare Permet de remplacer la machine à états du composant Permet de remplacer le contexte fonctionnel du composant Létat de sous-machine référence la machine à états du composant Létat Historique (H*) permet de mémoriser/retrouver létat du composant avant adaptation Lintégrité de ladaptation est garantie par le cycle run-to- completion de la machine à états et les invariants détats

7 Boucle de contrôle dun composant PauWare Un ensemble de sondes pour détecter des anomalies et produire des messages les rapportant Un ensemble de sondes pour détecter des anomalies et produire des messages les rapportant Un agrégateur pour centraliser les messages des sondes et les redistribuer Un agrégateur pour centraliser les messages des sondes et les redistribuer Un évaluateur pour choisir une politique dadaptation Un évaluateur pour choisir une politique dadaptation Un ensemble deffecteurs pour réaliser le plan de lévaluateur Un ensemble deffecteurs pour réaliser le plan de lévaluateur

8 Les sondes Ce sont des composants PauWare Ce sont des composants PauWare Chargées de mesurer des paramètres systèmes (charge CPU, occupation mémoire) Chargées de mesurer des paramètres systèmes (charge CPU, occupation mémoire) Chargées dintercepter les exceptions dun composant Chargées dintercepter les exceptions dun composant Produisent des messages de plus haut niveau Produisent des messages de plus haut niveau Les rapportent à lagrégateur du composant auquel elles sont rattachées Les rapportent à lagrégateur du composant auquel elles sont rattachées

9 Lagrégateur Rassemble les messages provenant des sondes Rassemble les messages provenant des sondes Les redistribuent aux composants souhaitant participer au processus dadaptation et à la recherche de solutions Les redistribuent aux composants souhaitant participer au processus dadaptation et à la recherche de solutions

10 Lévaluateur Lévaluateur intercepte chaque message arrivant au composant et regarde si une règle le concerne sinon il est transmis au comportement du composant Lévaluateur intercepte chaque message arrivant au composant et regarde si une règle le concerne sinon il est transmis au comportement du composant Politique basé sur paradigme Evénement/Condition/Action Politique basé sur paradigme Evénement/Condition/Action Supporté par les machines à états Supporté par les machines à états

11 Les effecteurs Réalisent le processus dadaptation Réalisent le processus dadaptation Ont accès au contexte du composant ainsi quà son comportement Ont accès au contexte du composant ainsi quà son comportement Peuvent produire de nouveaux événements Peuvent produire de nouveaux événements

12 Travail futur Garantir lintégrité dune adaptation au niveau global, i.e. pour tout lassemblage de composants Garantir lintégrité dune adaptation au niveau global, i.e. pour tout lassemblage de composants utilisation des protocoles de communication des systèmes multi-agents pour structurer les conversations entre composants. utilisation des protocoles de communication des systèmes multi-agents pour structurer les conversations entre composants. Réification de ces protocoles pour pouvoir intervenir dessus. Réification de ces protocoles pour pouvoir intervenir dessus. Garantir la compatibilité des substitutions : Garantir la compatibilité des substitutions : Entre les états de lancien comportement et du nouveau Entre les états de lancien comportement et du nouveau Entre les propriétés de lancien contexte et du nouveau Entre les propriétés de lancien contexte et du nouveau

13 Conclusion Le comportement dun composant PauWare est spécifié à laide dune machine à états UML Le comportement dun composant PauWare est spécifié à laide dune machine à états UML Un conteneur basé état permet de remplacer le comportement et la logique fonctionnelle du composant de façon cohérente Un conteneur basé état permet de remplacer le comportement et la logique fonctionnelle du composant de façon cohérente Une boucle de contrôle permet de réaliser la fonction « self » Une boucle de contrôle permet de réaliser la fonction « self »

14 Références [RBB06] Fabien Romeo, Cyril Ballagny, Franck Barbier. PauWare : un modèle de composant basé état, Actes des Journées Composants, Canet en Roussillon, France, 4-6 octobre, pp. 1-10, [RBB06] Fabien Romeo, Cyril Ballagny, Franck Barbier. PauWare : un modèle de composant basé état, Actes des Journées Composants, Canet en Roussillon, France, 4-6 octobre, pp. 1-10, [AC03] Mehmet Aksit and Zièd Choukair. Dynamic, adaptive and reconfigurable systems overview and prospective vision. In ICDCSW '03: Proceedings of the 23rd International Conference on Distributed Computing Systems, page 84, Washington, DC, USA, IEEE Computer Society. [AC03] Mehmet Aksit and Zièd Choukair. Dynamic, adaptive and reconfigurable systems overview and prospective vision. In ICDCSW '03: Proceedings of the 23rd International Conference on Distributed Computing Systems, page 84, Washington, DC, USA, IEEE Computer Society.

15 La démonstration

16 Merci, des questions?

17 On the use of agent interaction protocols : FIPA Request Interaction Protocol Agent protocols are well formalized and enable negociation, coordination, agreement … Agent protocols are well formalized and enable negociation, coordination, agreement … Consider autonomy : Consider autonomy : Refuse vs Agree Consider fallibility Consider fallibility Failure

18 Profil UML PauWare


Télécharger ppt "Support d'adaptation dynamique pour le modèle de composants PauWare Cyril Ballagny, Nabil Hameurlain, Franck Barbier LIUPPA, Pau, France Journée ADAPT,"

Présentations similaires


Annonces Google