Réalisé avec le soutien de 2005 FAROS : composition de contrats pour la Fiabilité d'ARchitectures Orientées Services Définir un environnement de composition pour la construction fiable d'architectures orientées services: Prendre en compte des éléments contractuels permettant une composition cohérente de services. Mettre au point un procédé de construction allant des modèles métiers jusqu'à leur projection vers des plateformes d'exécution. Objectifs Contact projet : Nicolas Rivierre, FT R&D - Définition d'un modèle pour la contractualisation de propriétés de fiabilité tout au long du cycle de vie de systèmes bâtis selon une approche orientée services. Définition d'un procédé d'intégration de contrats depuis des modèles métiers jusqu'à leur projection vers des plateformes d'exécution, au moyen de transformations de modèles. Illustration de la démarche en déterminant les spécificités de prise en charge de contrats de plusieurs plateformes axées autour du modèle à composants Fractal, des Web Services et de.Net. Réalisation de trois études de cas qui fourniront des bases de réflexion en amont, ainsi que des éléments de validation de la faisabilité de l'approche: - Compteur intelligent, - Services ubiquitaires d'informations, - Dossier Médical Personnel. Réalisations et résultats Meilleure compréhension des approches par contrats dans la composition de services. Définition d'un procédé fondé sur l'intégration de contrats depuis des langages métiers jusqu'aux plateformes d'exécution. Démonstration de la viabilité de l'approche proposée dans des environnements contraints. Retombées Compétences en termes de spécification de garanties à base de contrats: I3S, LIFL, FT, IRISA. Compétences en termes de modélisation et de langages métiers : EDF, I3S, IRISA, Alicante (sous traitant du LIFL). Compétences dans le domaine des plates-formes à base de services et de composants : LIFL, FT, I3S. Partenariat Principe de base Exploratoire Durée 3 ans Innovation & Points forts Les solutions actuelles d'intégration de nouveaux services manquent de moyens d'expression et de vérification de spécifications permettant de garantir un niveau de confiance suffisant. Adopter une approche par contrats pour définir le système selon différents points de vue fonctionnel, structurel, compor- temental, temporel, qualitatif et pour effectuer des vérifications statiques ou dynamiques. Ces solutions ne suivent pas de guide méthodologique. Fournir une méthodologie pour encadrer et automatiser les différentes tâches pour rendre les procédés d'intégration reproductibles. L'apparition de nouveaux supports d'exécution mobiles et/ou embarqués impose une maîtrise des propriétés extra- fonctionnelles de ces environnements. Utiliser les contrats pour prendre en compte les propriétés extra-fonctionnelles et ainsi démontrer la faisabilité de l'approche en milieu contraint. Supports dexécution Services et composants Intégrations et vérifications Contrats Modèles et règles de transformation Outils et plates-formes cibles Processus dentreprise et langages de domaine (DSLs)