Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Indm 2020 2021 chaoui chapitre 2 ocl slides 2

Faculté des NTIC Département IFA Master Réseaux et Systèmes Distribués RSD Module Ingénierie Dirigée par le Modèles INDM Pr CHAOUI Allaoua Faculté des NTIC Département IFA Allaoua chaoui univ- constantine dz Université Constantine Semestre CIngénierie Dirigée par le Modèles INDM Chapitre Introduction à OCL Etudiants concernés Faculté Institut Nouvelles technologies Université Constantine Département IFA Niveau Spécialité Master Réseaux et Systèmes Distribués RSD Semestre CSommaire Introduction Les concepts de base Exemples Exercices Université Constantine Master -RSD INDM CRéférences ? Jos Warmer and Anneke Kleppe ??The Objection Constraint Language Precise Modeling with UML ? by Jos Warmer and Anneke Kleppe ? Eric Cariou Object Constraint Language Université de Pau-France ? Marianne Huchard Object Constraint Language OCL Une introduction ? Bernhard Beckert ?? Introduction to OCL Universit? t Koblen Landau Université Constantine Master -RSD INDM CIntroduction ? OCL est un langage formel pour écrire des expressions de manière précise ? Il est basé sur la logique des prédicats du premier ordre ? Les contraintes OCL ont une sémantique formelle par conséquent peuvent être utilisées pour réduire l'ambigu? té dans les modèles UML ? Exemple L ? age d ? une personne doit être supérieur ou égal à ans ? Prend en charge les concepts d'objets ? Mais - OCL n'est pas un langage de programmation ? Aucun ux de contrôle ? Pas d'e ?ets secondaires ? Pourquoi OCL Parce qu'UML ne su ?t pas Université Constantine Master -RSD INDM CIntroduction ? UML ne su ?t pas Contraintes ? Nombre possible de propriétaires qu'une voiture peut avoir ? ? ge requis des propriétaires de voitures ? Exigence qu'une personne puisse posséder au plus une voiture noire Université Constantine Master -RSD INDM CIntroduction ? Exemples d ? OCL Le propriétaire owner d'un véhicule doit être ? gé d'au moins ans Context Vehicule Inv self owner age Université Constantine Master -RSD INDM CIntroduction ? Exemples d ? OCL Personne ne possède plus de véhicules Context Personne inv self eet ?? size Université Constantine Master -RSD INDM CIntroduction ? Alors ? Nous avons besoin d'un langage pour aider avec la spéci ?cation ? Nous recherchons un add-on ? au lieu d'un tout nouveau langage avec des capacités de spéci ?cations complètes ? Pourquoi pas la logique du premier ordre - Pas OO ? OCL est utilisé pour spéci ?er les contraintes sur les systèmes OO ? OCL n'est pas le seul ? Mais OCL est le seul à être standardisé Université Constantine Master -RSD INDM CIntroduction ? O? utiliser OCL ? Spéci ?er des invariants pour les classes et les types ? Spéci ?er les conditions préalables et postérieures aux méthodes ? Comme langage de navigation ? Pour spéci ?er des contraintes sur les opérations ? Tester les Exigences et les spéci ?cations Université Constantine Master -RSD INDM C ? Concepts de base d ? OCL ? OCL est utilisé pour spéci ?er les invariants des objets et conditions préalables et postérieures pre et post conditions aux opérations ? Rend les diagrammes UML de classe plus précis