Spécifier, analyser et exécuter des applications dans une

SYMPOSIUM
Speaker:
Dr. Ayoub Ait Lahcen, SoftEng
Spécifier, analyser et exécuter des applications
dans une architecture P2P
Abstract:
Le développement d'applications avec une architecture Pair-à-Pair (P2P) est devenu de plus
en plus important en ingénierie du logiciel. Aujourd'hui, un grand nombre d'organisations de
tailles et secteurs différents compte d'une manière croissante sur la collaboration entre
multiples acteurs (individus, groupes, communautés, etc.) pour accomplir des tâches
essentielles. Ces applications P2P ont généralement un comportement récursif que plusieurs
approches de modélisation ne peuvent pas décrire et analyser (ex. les approches basées sur les
automates à états finis). Un autre challenge qui concerne le développement d'applications P2P
est le couplage fort entre la spécification d'une part, et les technologies et protocoles sousjacents d'autre part. Cela force les développeurs à faire des efforts considérables pour trouver
puis comprendre des informations sur les détails de ces couches basses du P2P. De plus, ce
couplage fort oblige les applications à s'exécuter dans des environnements figés. Par
conséquent, choisir par exemple un autre protocole pour répondre à un nouveau besoin à
l'exécution devient une tache très difficile. Outre ces points, les applications P2P sont souvent
spécifiées avec une faible capacité à déléguer des traitements entre les pairs, et se focalisent
surtout sur le partage et le stockage de données. Ainsi, elles ne profitent pas pleinement de la
puissance de calcul et de traitement offerte par le réseau P2P sous-jacent.
Dans ce séminaire, je présenterai une approche (développée durant mon doctorat) pour
faciliter la spécification, l'analyse et le déploiement d'applications dans des architectures P2P.
Cette approche incorpore: i) Un langage de spécification formel. ii) Une méthode d'analyse
basée sur les dépendances entre données. iii) Un intergiciel pour cacher à la complexité des
couches sous-jacentes du P2P.
Biographical notes:
Ayoub AIT LAHCEN est en séjour postdoctoral au groupe Software Engineering (SoftEng). Il a préparé
son Doctorat en Informatique, en double diplôme, à l’Université de Nice-Sophia Antipolis (France) et à
l’Université Mohammed 5 Rabat-Agdal (Maroc). Durant son doctorat, Ayoub était également
enseignant vacataire d’informatique dans ces deux universités. Les thématiques principales sur
lesquelles portent ses travaux de recherche sont : la modélisation et l’analyse formelle, le
développement de logiciels à base de composants, les Architectures Orientées Services (SOA), le Pairà-Pair (P2P) et le Web des Objets. Ces travaux de recherche ont fait l’objet de plusieurs publications
(10). Deux de ces travaux ont reçu un « Best Paper Award ». Il a participé pendant trois ans au
développement d’un logiciel de modélisation d’écosystèmes dans le cadre d’un projet national de
recherche français. Ayoub est lauréat de la bourse marocaine d’excellence pour doctorants et d’une
bourse de mérite pour son Master en Informatique et Télécommunications.
Date and time:
Location:
Contact person:
Wednesday 5th December 2012, 5.15pm – 6pm
Pérolles II, G230, Bd de Pérolles 90, Fribourg
Joel Allred, [email protected]
The symposium is free and open to the public