Intégration des propriétés non fonctionnelles dans les composants de communication

1. Intégration des propriétés non fonctionnelles dans les composants de communication Antoine Beugnard Eveline KABORE JC 2005 - 06 Avril 2005

2. Exemple : Application diffusion asynchrone de messages Communication component (diffusion protocol) Receive() Send() Architecture de déploiement Sender Receiver Sender Manager Middleware Manager Receiver Site A Site B Component Contexte • Composant de communication : implémente un service ou un protocole de communication.

3. Contexte • Propriétés non fonctionnelles : • Performance, sécurité, fiabilité, etc. • Comment un logiciel opère ou comment une fonctionnalité est exhibée. • Stratégies de prise en compte : • Process-oriented, product-oriented • Langages orientés aspects, Z, etc. • Outils : ProcessNFL, NFR Framework, QML, etc.

4. Objectif • Offrir au concepteur la possibilité de choisir des propriétés non fonctionnelles. • Spécifier : • Un processus d’intégration des propriétés non fonctionnelles, • Des transformations de modèles pour implémenter ce processus.

5. Plan • Intégration des propriétés non fonctionnelles • Transformations de modèle • Conclusion & perspectives

6. actionchiffrement { confidentialité[Data][R][+3]; performance_temps[Data][R][-1]; } Intégration des propriétés non fonctionnelles • Catalogue de connaissances : actionactionId { NF-AttributeId1[Ressource][ConditionsOfUse][KindOfEffect] … NF-AttributeIdn[Ressource][ConditionsOfUse][KindOfEffect] }

7. Security Performance E1: Choix et décomposition Space Time Authorize access Integrity confidentiality Availability - Use indexing Authenticate user access Identify users Use P.I.N Compare signature Require Additional ID T2 T3 T4 T5 T6 T1 Tconf1 = T2,T3,T4 Tconf2 = T2,T3,T5 Tconf3 = T2,T3,T6 Validate access against eligibility rules Intégration des propriétés non fonctionnelles E2: Sélection des actions E3: Transformations

8. confidentialité Ma Tconf1 Tconf3 Tconf2 Intégrité Mconf1 Mconf2 Mconf3 Tint1 Tintj Tintn Disponibilité Mconf2,Int1 Mconf2,Intj Mconf2,Intn Tavail1 Tavailk Tavailm Performance Mconf2,Int1, avail1 Mconf2,Int1, availk Mconf2,Int1, availm Performance Ttime Tspace Mconf,int1, Avail1,Time Mconf,int1, Avail1,space T = Tconf3.Tint1.Tavail1.Ttime T’ = Tconf3.Tint1.Tavailm.Ttime Intégration des propriétés non fonctionnelles

9. Transformations de modèle • Spécification : Transformation T{ Pré-conditions: Portée: Data; conditions[Data]: Taux de lectures == Taux d’écritures; Actions: Use indexing; Post-conditions: Performance minimale; [Data]: Taux de lectures == Taux d’écritures }

10. Transformations de modèles Transformation T’ { Pré-conditions: Portée: Data; conditions[Data]: Taux de lectures == Taux d’écritures; Actions: Tconf3.Tint1.Tavail1.Ttime; Post-conditions: Performance minimale, sécurité maximale; [Data]: Taux de lectures == Taux d’écritures }

11. Conclusion & perspectives • Processus d’intégration des propriétés non fonctionnelles • Sémantiques des transformations de modèle • Perspectives : • Langages de spécification (conditions d’utilisation, transformations) • Implémentation du processus d’intégration • Expérimentation sur un cas concret : une donnée complexe partagée