La lecture à portée de main
Découvre YouScribe en t'inscrivant gratuitement
Je m'inscrisDécouvre YouScribe en t'inscrivant gratuitement
Je m'inscrisDescription
Informations
Publié par | Thesee |
Nombre de lectures | 48 |
Langue | Français |
Poids de l'ouvrage | 12 Mo |
Extrait
UNIVERSITE D’EVRY VAL D’ESSONNE
UFR SCIENCES ET TECHNOLOGIES
IBISC : Laboratoire d’Informatique, Biologie Integrative et Systemes
Complexes
These
presentee par
Nader CHEAIB
pour obtenir
LE GRADE DE DOCTEUR EN SCIENCES DE L’UNIVERSITE D’EVRY
VAL D’ESSONNE
Specialite Informatique
Contribution a la malleabilite des collecticiels : une
approche basee sur les services web et les agents
logiciels
Soutenue publiquement le 16 Juin 2010
JURY
B. David : Professeur, Ecole Centrale de Lyon Rapporteur
P. Ghodous : Universite Claude Bernard Lyon 1 Rapp
P. Le Parc : Professeur, Universite de Bretagne Occidentale Examinateur
A. Dinis : Coordinateur Projet DigitalOcean, VirtualDive Invite
S. Otmane : Ma^ tre de Conferences, Universite d’Evry Encadrant
M. Mallem : Professeur, Universite d’Evry Directeur de TheseRemerciements
Ce travail de recherche a ete realise au Laboratoire IBISC (Informatique, Biologie
Integrative et Systemes Complexes), au sein de l’equipe RATC (Realite Augmentee et
Travail Collaboratif), a l’Universite d’Evry val d’Essonne, sous la direction du Monsieur
MALIK MALLEM, Professeur a l’Universite d’Evry Val d’Essonne. Je tiens a le remer-
cier pour m’avoir accueilli dans son equipe et pour m’avoir guide tout au long de ma
these. Je remercie l’Agence Nationale de la Recherche (ANR) pour avoir nance ce tra-
vail pendant trois ans.
Je remercie Monsieur SAMIR OTMANE, Ma^ tre de Conferences a l’Universite d’Evry
Val d’Essonne et responsable scienti que pour IBISC du projet DigitaOcean, pour son en-
cadrement et son soutien tout au long de cette these.
Je remercie Madame PARISA GHODOUS, Professeur a l’Universite Claude Bernand
Lyon 1, Monsieur BERTRAND DAVID, Professeur a l’Ecole Centrale de Lyon, Monsieur
PHILIPPE LE PARC, Professeur a l’Universite de Bretagne Occidentale, et ALAIN DI-
NIS, fondateur de la societe VirtualDive et initiateur du projet DigitalOcean, pour avoir
accepte de faire partie du jury.
Je remercie NICOLAS FIES, ingenieur chez VirtualDive, avec qui j’ai collabore dans le
contexte du projet DigitalOcean. Je remercie mes collegues avec qui j’ai passe des moments
agreables : MAHMOUD HAYDAR pour nos pauses cafe, MOUNA ESSABBAH et IMANE
ZENDJEBIL pour nos debats passionnants dans le train quotidien, PIERRE BOUDOIN
et CHRISTOPHE DOMINGUES pour leurs disponibilites et les moments pleins d’hu-
mour. Je remercie CHRISTOPHE MONTAGNE et JEAN-YVES DIDIER avec qui j’ai
e ectue mes enseignements, ainsi que pour nos discussions tres sympathiques. Je remercie
en n tous les membres de l’equipre RATC pour leur acceuil chaleureux.
Je remercie HELA SEKMA pour sa presence precieuse durant les derniers mois de la
these.
Finalement, je dedie ce travail a ma famille. Je ne serai pas ici, en train d’ecrire ces
mots, sans leur soutien et leur amour inconditionnel. Je remercie mon pere ALI qui m’a
appris a r^ever, ma mere LEILA qui m’a appris a ^etre fort dans les moments di ciles, ma
s ur DIMA qui m’a appris a surmonter nos douleurs et voir les bons c^otes des choses,
et ma s ur ROUBA qui m’a appris a connaitre le nouveau monde loin des parents et a
compter sur soi. Je vous aime tant.Table des matieres
Remerciements 2
Resume 2
Abstract 3
Glossaire 4
INTRODUCTION GENERALE 5
I ETAT DE L’ART 9
1 MODELES D’ARCHITECTURES ET SYSTEMES COLLABORATIFS 10
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.1.1 Les collecticiels . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.1.2 Modele du Tre e . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2 Modeles d’architecture pour les collecticiels . . . . . . . . . . . . . . . . . 13
1.2.1 ALV . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.2 Modele Zipper . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.2.3 Modele CoPAC . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.2.4 Modele PAC* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.2.5 Modele AMF-C . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.2.6 Meta modele de Dewan . . . . . . . . . . . . . . . . . . . . . . . . 17
1.2.7 Clock Et DragonFly . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.2.8 Modele Clover . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.2.9 Modele d’agent C4 . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.2.9.1 Agent Collaboration . . . . . . . . . . . . . . . . . . . . 21
1.2.9.2 Agent communication . . . . . . . . . . . . . . . . . . . 21
1.2.9.3 Agent coordination . . . . . . . . . . . . . . . . . . . . . 21
1.2.9.4 Agent production . . . . . . . . . . . . . . . . . . . . . . 21
1.3 Quelques systemes collaboratifs . . . . . . . . . . . . . . . . . . . . . . . 22REMERCIEMENTS
1.3.1 Projet CoVitesse . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.3.2 Platinum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.3.3 ConversationBuilder . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.3.4 GroupKit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.3.5 TeamWave Workplace . . . . . . . . . . . . . . . . . . . . . . . . 25
1.3.6 Disciple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.3.7 JViews . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.3.8 ARITI-C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.4 Bilan et Analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.4.1 Nouvelles exigences . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2 INTEROPERABILITE ET MALLEABLITE DES SYSTEMES COL-
LABORATIFS 32
2.1 Agents et Systemes Multi-Agents (SMA) . . . . . . . . . . . . . . . . . . 32
2.1.1 De nition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.1.2 Les Systemes multi-agents (SMA) . . . . . . . . . . . . . . . . . . 34
2.1.3 Quelques Travaux . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.1.4 Bilan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2 Services web . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.2.1 Quelques de nitions et standards . . . . . . . . . . . . . . . . . . 37
2.2.1.1 Application Versus Services web . . . . . . . . . . . . . 38
2.2.1.2 Site web Versus Services web . . . . . . . . . . . . . . . 38
2.2.1.3 SOA Versus Services web . . . . . . . . . . . . . . . . . 39
2.2.1.4 Comportement d’un service web . . . . . . . . . . . . . . 39
2.2.2 Orchestration et Choregraphie . . . . . . . . . . . . . . . . . . . . 39
2.2.3 Services web semantique . . . . . . . . . . . . . . . . . . . . . . . 40
2.2.3.1 Ontologie : De nition . . . . . . . . . . . . . . . . . . . 41
2.2.4 Integration de services web et d’agents . . . . . . . . . . . . . . . 43
2.2.4.1 Approches pour l’integration . . . . . . . . . . . . . . . 44
2.2.4.2 Comparaison et avantages d’integration . . . . . . . . . 45
2.2.5 Bilan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.3 La malleabilite des collecticiels . . . . . . . . . . . . . . . . . . . . . . . . 47
2.3.1 De nition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.3.2 Objectifs et de s des logiciels malleables . . . . . . . . . . . . . . 49
2.3.3 Conception d’applications malleables . . . . . . . . . . . . . . . . 50
2.4 Approches et methodologies pour la malleabilite des collecticiels . . . . . 51
2.4.1 Theorie de l’activite et la coevolution . . . . . . . . . . . . . . . . 51
2.4.2 Approche a base de work ow . . . . . . . . . . . . . . . . . . . . 53
2.4.3 Approche a base d’objets mediateurs . . . . . . . . . . . . . . . . 54
2.4.4 Architectures a base de composants . . . . . . . . . . . . . . . . . 54
4REMERCIEMENTS
2.4.5 Quelques modeles de collecticiels malleables . . . . . . . . . . . . 55
2.4.5.1 Le modele Coops . . . . . . . . . . . . . . . . . . . . . . 56
2.4.5.2 La plateforme CoCoWare . . . . . . . . . . . . . . . . . 56
2.4.5.3 Plateforme FreEvolve et Modele FlexiBeans . . . . . . . 57
2.4.5.4 Politeam . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.4.6 Bilan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
II CONTRIBUTION 61
3 MODELES D’ARCHITECTURE LOGICIELLE POUR LA MALLEA-
BILITE DES COLLECTICIELS 62
3.1 Quelques de nitions et formalismes utiles . . . . . . . . . . . . . . . . . . 63
3.1.1 Nouvelle de nition de la malleabilite des collecticiels . . . . . . . 63
3.1.2 Un formalisme de services web pour la decouverte et la composition 64
3.1.3 Un formalisme Multi-Agent pour la collaboration . . . . . . . . . 65
3.1.3.1 Formalisme C4 - Terminologies . . . . . . . . . . . . . . 65
3.1.4 Collaboration Homme-Machine-Homme Versus Collaboration Machine-
Machine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
3.2 Collaboration Machine-Machine a bases de services web . . . . . . . . . . 69
3.2.1 Speci cation et formalisme . . . . . . . . . . . . . . . . . . . . . . 69
3.2.1.1 Terminologies . . . . . . . . . . . . . . . . . . . . . . . . 69
3.2.2 Le modele d’architecture logicielle associe . . . . . . . . . . . . . . 73
3.3 Collaboration Machi