Livrable L1.5 Modèle de référence pour la prise en compte des exigences de sécurité des services web
Livrable L1.6 : Règles de modélisation UML/OCL pour l’intégration des exigences fonctionnelles et de sécurité
Livrable L4.1 : Définition d’une architecture pour la surveillance et de la configuration du système
Livrable L1.6 - projet Politess - Sous projet SP1 (Modélisation)
Auteurs : F. Peureux, C. Grandpierre, F. Ambert, F. Bouquet (Leirios)
Résumé : Ce document, livrable de la tâche 1.6, vise à présenter les règles de modélisation UML/OCL pour intégrer, au sein d’un modèle unique de modélisation, les exigences fonctionnelles et les propriétés de sécurité du système à tester. Cet objectif est réalisé en exploitant trois diagrammes de la norme UML 2.0 : le diagramme de classes, le diagramme d’objets et le diagramme état-transitions, accompagnés d’annotations OCL - Object Constraint Language. Cette formalisation UML/OCL, intégrant à la fois les éléments fonctionnels et les propriétés de sécurité, constitue le modèle d’entrée de certaines des techniques de génération automatique de tests développées au sein du sous-projet SP3 et mises en œuvre de façon expérimentale dans le sous-projet SP5.
