– PERSO

L'informatique diffuse s'intéresse à la diffusion de ressources de calcul et de communication au sein des environnements physiques, permettant aux utilisateurs l'accès à l'information et aux moyens de calcul, partout et à tout moment. L'intelligence ambiante est un domaine stratégique pour la Commission Européenne, complémentaire à l'informatique diffuse, avec une vision plus liée à l'utilisation par l'utilisateur moyen, au jour le jour, des ressources mises à sa disposition dans son environnement. Les approches à base de services constituent un paradigme récent particulièrement approprié à l'informatique diffuse et à l'intelligence ambiante. Ici, les équipements en réseau et les applications qu'ils supportent sont abstraits en services fournis et utilisés à la demande. L'intérêt pour ces approches (e.g., les services Web) s'est récemment accru car elles peuvent fournir la solution au problème de l'intégration d'équipements hétérogènes, de plate-formes logicielles, d'applications informatiques et au-delà, de systèmes complets, qu'ils soient déployés sur le Web, sur des réseaux sans fil ou des intranets. - Cependant, les approches à base de services ne peuvent garantir seules la validité des compositions de services dans un environnement diffus ouvert. Les principaux problèmes incluent : (i) les interactions entre services sont basées sur une description syntaxique, pour laquelle une acceptation commune est difficilement envisageable dans un environnement ouvert, (ii) le comportement des services est souvent supposé simple, i.e., réduit à des invocations de services sans état, ou bien mettant en jeu un protocole standard d'interaction (e.g., client-serveur), (iii) les propriétés non fonctionnelles des compositions de services, comme la qualité de service ou les contextes, ne sont pas supportées, rendant hautement improbable la satisfaction de l'utilisateur final face au résultat de la composition. - Les objectifs du projet portent sur l'élaboration d'une approche complète pour la composition de service en informatique diffuse. Nous associons plus spécifiquement les problèmes soulevés ci-dessus à trois différents niveaux de description d'interfaces de services comportemental, non-fonctionnel et sémantique qui enrichissent le niveau standard de la signature des opérations. Nous nous intéressons tout particulièrement au support de ces trois niveaux ainsi qu'à leur intégration au sein d'une approche approfondie de composition de services. - Un premier axe de recherche concerne la composition de services en termes de modèles formels sous-jacents et d'algorithmes pour : la spécification des interfaces, la découverte de services basée sur la spécification d'une interface requise, la composition et l'adaptation de services cette dernière utilisée lorsque les services composés ne se correspondent pas parfaitement, la sémantique d'exécution des services et enfin la reconfiguration de services composites lors de changements à l'exécution. Nous proposons de baser les descriptions d'interfaces sur des enrichissements de modèles formels tels que les systèmes de transitions étiquetées ou les algèbres de processus. Nous avons montré dans des travaux récents que l'intégration de modèles formels était possible sur une base rigoureuse et formelle. Nous proposons d'exploiter et d'étendre ces résultats à l'intégration de niveaux de description d'interfaces de services, tant d'un point de vue modèles ce qui permettra la composition basée-modèle de services à différents niveaux d'interface que d'un point de vue algorithmes ce qui permettra l'intégration d'algorithmes de composition spécifiques à chaque niveau de description d'interface. Nous avons dans un travail précédent produit un résultat préliminaire dans cet objectif. - Les techniques de composition seront étudiées d'abord sous l'angle des modèles pour promouvoir des solutions formelles et indépendantes des langages de description de services. Dans un second temps, des transformations