D1 - 01/03/2014 Le présent document contient des informations qui sont la propriété de France...

D1 - 11/04/23

Le présent document contient des informations qui sont la propriété de France Télécom. L'acceptation de ce document par son destinataire implique, de la part de ce dernier, la reconnaissance du caractère confidentiel de son contenu et l'engagement de n'en faire aucune reproduction, aucune transmission à des tiers, aucune divulgation et aucune utilisation commerciale sans l'accord préalable écrit de Recherche & Développement de France Télécom.

France TélécomRecherche & Développement

Un système de contractualisation pour Fractal : intégration et retour sur expérience

Philippe Collet — I3S UNSA / CNRS, Sophia Antipolis (F)

Alain Ozanne — France Telecom R&D

Journées Composants '05 – 6 avril 2005

La communication de ce document est soumise à autorisation de la R&D de France Télécom D2 - 11/04/23


Introduction : La garantie des assemblages de composantsq Approche par composants :

QAspect architectural : – Séparation des interfaces et de l'implémentation– Architecture explicite

QAspect fonctionnel :– Répartition des tâches– Collaborations

QContrats : – syntaxiques insuffisants – adaptés à l'approche composant

q Objectif : QModèle de contractualisation pour la plateforme FractalQPrototypage avec une approche assertionnelle



Motivationss Prendre en compte des propriétés :

QSpécifications Ponctuelles : Liaison entre interface (contrat objet)

QSpécifications Compositionnelles :

Totalité du composantfonction (interfaces)fonction (composants)

q Préserver les caractéristiques de FractalHiérarchie, reconfigurations dynamiques,…

q Prendre en compte des spécifications fonctionnelles

q Anticiper l'intégration de formalismes divers (non fonctionnels …)



Fractal / Julia

hiérarchique : composite et partage,

connexions d'utilisation (client/serveur), et de délégation d'interfaces,

opacité,

réflexif,

des services techniques orthogonaux,

reconfiguration à chaud



Plan

s Présentation de ConFract

s Présentation du prototype

s Intégration dans Fractal

s Retour sur expérience



Système de contractualisation des assemblages de

composants

Préserve les caractéristiques de Fractal

Contrat générique :

Q Défini par sa portée , un assemblage (simple ou multiple), et un

ensemble de dispositions,

Q Disposition = terme de contrat qui contraint tout ou partie de

l'assemblage :

– Chaque disposition est issue d'une spécification

– chaque disposition a un garant unique (précondition, client)

– chaque disposition profite à un ensemble de bénéficiaires (précondition,

fournisseur)

– chaque disposition utilise des contributeurs (évaluation)

ConFract

Les contextes des dispositions appartiennent à la portée du contratdispositiondisposition contrat

A

B

disposition

rôle

rôle

contexte

Portéedu contrat



Portée = les 2 interfaces

Contrats concrets :

Contrat composition interne

Contrat composition externe

Contrat interface

Dispositions = locales à l'interface, indépendantes du

composant

Dispositions =Fonction (interfaces externes)

Portée = interfaces externes du composantDispositions =

Fonction (interfaces internes et composants internes)

Portée = interfaces intérieures au composite



s <contexte spatio-temporel, prédicat>

QContext Interface_java :–Pre/post method : predicat–Inv : predicat

QOn <component_type/name> :–Pre/post

interface_fractal.method : predicat–Inv interface_fractal : predicat

QPredicat = f(données de contexte d'interception)

Formalisme CCL-J

on <fp>context void <pl>.mpl.play () pre : <c>.canPlay(<pl>.getWidth(),…);

Context *.Configurator : inv : getProfil() != null



API de modélisation de contrat

s Indépendant de la plateforme

s Briques fournies :

Qapi de contrat à base de rôles et dispositions : générique, interface et

composition,

Qapi de rôles = modélisation des rôles

Qapi de dispositions = modélisation des dispositions

Qapi de vérification = interface abstraite de la vérification

contrat

disposition*

rôle

contexte

*

1prédicat vérification

1



Intégration : Configuration du système de contrats

Gestion des contrats : le Contrôleur de Contrats

• Création :

• introspection

• référentiel de spécification

• Suppression

• Mise à jour / re-configuration

on <fp> :

context void m.launch():

pre : <VC>.cfg.ok();



Intégration : Configuration du système de contrat

ContentControllerBindingController

ContractController

contrats

Spécifications



Approche assertionnelle

• Julia : intercepteurs de bas niveau, statiques

• Ajout d'un contrôleur : ServiceController

• Requêtes d'interception : ajout/retrait dynamique• Point de coupe : dans les termes du modèle de composant• Entités à notifier : sujet /observateur• Politique de notification• Eventuelles données supplémentaires

Intégration : Vérification des contrats

SC

SC




Collaboration entre ContractController et ServiceController

Requête d'interception (contexte, variables, écouteurs)

spécification

contexte

variables

Création contrat

dispositions

ajoute

contrat

dispositions

contexte

Modif/suppr contrat

supprime

ContractController

ServiceController




ContractController

ServiceController

ServiceController

contrats



Retour

Fractal :Avantages

-Contrôleur : séparation des préoccupations techniques-Réflexivité structurelle

Inconvénients-Pas de réflexivité comportementale

Julia :Avantages

-Réflexivité comportementaleInconvénients

-mise en œuvre statique : intercepteurs, contrôleurs



Conclusion

- Contrats :- Garantie des connexions et des compositions- Etablis et maintenus dynamiquement

- Intégration :- Respect des caractéristiques de Fractal

- Evaluation de l'extensibilité et réflexivité de Fractal :- Bonne réflexivité structurelle - Manque de réflexivité comportementale, contrôleurs statiques



Perspectives

- Prise en compte de nouveaux :- Formalismes (non fonctionnels, formels, …)- Techniques de vérification (ECA, model checking,…),

- Greffer dynamiquement le système de contrats

- Permettre l'intégration de mécanismes de négociation



Questions ?

D1 - 01/03/2014 Le présent document contient des informations qui sont la propriété de France...

Documents

Transcript of D1 - 01/03/2014 Le présent document contient des informations qui sont la propriété de France...