Atelier ANR TL – 14/03/2007 - Paris

1. RNTL FAROS : composition de contrats pour la Fiabilité d'ARchitectures Orientées ServicesExploratoire (3 ans : 2006 – 2008)http://www.lifl.fr/faros/ Atelier ANR TL – 14/03/2007 - Paris

2. Constat Les solutions actuelles d'intégration de services Manquent de moyens pour exprimer/ vérifier des garanties dans les compositions de services Manquent de guides méthodologiques pour automatiser la prise en compte de contrats depuis le besoin métier jusqu'aux plateformes d'exécution • Essor de SOA pour • Offrir rapidement de nouveaux services, Intégrer divers SI… • Supports d'exécution variés • Architecture/infrastructure (ESB, SCA…) • Env. contraints/embarqués • Garanties (QdS…) pour • Différencier les fournisseurs • Négocier (exigences / offres de services), établir les responsabilités…

3. SERVICE ORIENTED CONTRACT BASED SOA DESIGN ARCHITECTURE Objectifs/challenges FAROS • Construire un outil pour concevoir des applications - par composition de services - avec des notations faisant abstraction des technologies de service - rendues fiables par l’emploi de contrats • Démontrer l'approche sur des applications et des plateformes cibles variées (SOA/CBSE avec ou sans support contractuel) • Eviter les solutions ad-hoc : factoriser les transformations

4. Procédé de conceptiondirigé par les modèles métier/pivot/plate- forme Contrats architecture abstraite (services, workflows) • Valide ou produit des superviseurs • Transforme en architecture concrète Contraint les interactions de services Parties {…} Clauses{ Qualifying Condition SLO } Participants Yellow page Transportation Grapher Localiser Démarche Faros - en bref Plateformes à services Langages métiers dédiésBusiness Process… Plateformes à composants

5. Applications Applications Applications Un projet dirigé par les modèles Métamodèle métier Métamodèle métier • Métiers • Diffusion d’informations (SEDUITE, DMP) • Compteur intelligent (CIRE/EDF) • Plateformes (SOA/CBSE + contrats/aspects…) • Adore, WComp, ConFract, AoKell, ORQOS • Transformation de modèles (Kermeta) Métamodèle pivot Modèle métier Modèle métier Modèle métier Modèle métier Contraintes métier Métamodèle plateforme Modèle pivot Métamodèle plateforme Modèle pivot Modèle pivot Métamodèle plateforme Modèle pivot Modèle plateforme Contrats Modèle plateforme Modèle plateforme Contrats

6. Métamodèle pivot (1) • Objectifs : • Découpler méta-modèles métier et plate-forme Approche similaire au code intermédiaire dans les compilateurs • Permettre la réutilisation de transformations Métamodèle pivot • Fonctionnalités recherchées : • Etre capable de conserver l’information structurée de bout en bout • Transformation de bout en bout de structures particulières • Coordination (orchestration) • Dimensions de qualité de service • Démarche : • Limiter le nombre de concepts (cibler l’utilisation du métamodèle) • Maîtriser la complexité des transformations Modèle pivot

7. Métamodèle pivot (2) Métamodèle pivot • Contrat de service : • Modèle ouvert (Participant, Hypothèse, Garantie, etc.) • Types (structurel, comportemental, extra-fonctionnel) • Expression des propriétés contractuelles • … Modèle pivot • Structure et comportement : • Réification service / composant possible Interface, invocation,… • Focus sur l’aspect compositionnel services primitifs vs composites Composite ≈ orchestration de services • S’inspire de • CSP, BPMN, BPEL,… • S’inspire du modèle ConFract • Modèle d’exécution : • Modèle événementiel extensible • S’inspire de • GCCL,…

8. Métamodèle diffusion info Modèle DMP Modèle SEDUITE Métamodèle CIRE Modèle CIRE Modèles métiers Métamodèle métier • Adéquation au métier : • un cœur commun dérivé du pivot • + • abstractions liées à un métier Modèle métier • Diffusion d’information : • Modèle métier ≈ architecture Pipe & Filter, DataSource, Connector, Port… • CIRE / EDF : • Modèle métier ≈ assemblage/architecture d’entités métiers : SmartBox, Meter, Appliance…

9. Métamodèle diffusion info Modèle DMP transformation Métamodèle pivot Exécution de la transformation Modèle pivot DMP Illustration : DMP ACCÉDER AU DOSSIER MÉDICAL PERSONNEL D’UN PATIENT, dans un contexte d’urgence et/ou dans un contexte mobile

10. Plates-formes FAROS • Plates-formes adressées par FAROS • ADORE/COCONET : I3S • WComp : I3S • ConFract : I3S, FT R&D • AOKell-FAC : LIFL • ORQOS : FT R&D

11. Plates-formes FAROS • Notion partagée • assemblage/architecture d'entités logicelles (composant ou service) • Problématique • étendre cette architecture pour la vérification de contrats • Moyens • modèle événementiel commun • définition de patrons de contrat (en citer) • projection de ces patrons sur les plates-formes • Approche DSL : ConFract, ORQOS • Approche aspect : Adore/Coconet, WComp, AOKell-FAC

12. Contrôle Du cycle de vie Contrôle Des applications Contrôle Des exécutions Contrôle Des communications Plates-formes FAROS Sur liaisons, au déploiement, apparition/disparition de S/C

13. Plates-formes FAROS • Mise en œuvre des contrats • Adore/Coconet • tissage sur orchestration/wrapper • WComp • application d'aspects d'assemblages de composants • ConFract • langage d'assertion (CCL-J) pour définir les contrats + API • AOKell-FAC • définition d'aspects au niveau de l'architecture • ORQOS • transformation de BPEL

14. Discussion • Résultats et technologies transférables • Processus de développement d’applications • Rapprochement des mondes composant et service • Intégration de contrats sur tout le cycle de développement • Vérification de contrats dans les plates-formes à composants et à services • Articulation des technos et points à développer • Transformations - utilisation de Kermeta • Projection vers un ensemble de PFs à composants et à services • Extension des plates-formes pour vérification de contrats (exemple AOKell/FAC) • Liens avec d’autres projets • SCOrWare : mariage service & composants- FraSCAti - • SemEUsE : complémentaire • ontologie fonctionnelle /extrafonctionnelle pour la QoS - supervision sur une plate-forme /PETALS • Selfware : utilisation des contrats comme moyen déclencheur de réaction en cas de violation

15. Discussion • Difficultés, semi-échecs • Définition MM Métier, syntaxe de surface pour le métier • Outillage au niveau modeleur • Définition et rôle de MM Pivot • Nombre de plates-formes visées • Pistes pour travaux futurs • Rôle des contrats dans l’autonomic computing • SCA aurait été une très bonne plate-forme cible