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

Documents similaires
Cv en francais 1 Tha? s CHAUVEL Prénom NOM Nationalité nacionalidade Franco- brésilienne ? ge idade ans Adresse Endereço Téléphone adresse électronique e-mail FORMATION Université de São Paulo ?? Faculté de Philosophie Lettres et Sciences Humaines ?? Doct 0 0
tp semestre 2 2021 Ingéniérie Eco-Conception Semestre Injection Objectifs Régler le maintien temps et pression a ?n d ? obtenir des éprouvettes conforme au cahier des charges pour la réalisation des tests mécaniques Paramètres de base pour le réglage Mati 0 0
Livret 4e 3e pdf Ce livret appartient à ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? Collège Maxime Deyts ?? Bailleul Livret d ? exercices de Mathématiques de la ème à la ème La classe de ème est une étape importante dans le cursus scolaire de chaque élève 0 0
Gestion de production pdf LA GESTION DE LA PRODUCTION L ? entreprise est une organisation qui produit des biens et des services pour un marché Dans une entreprise industrielle l ? activité de production consiste à transformer des matières premières ou des 0 0
bwl pfe charte universite ibn zohr 0 0
Acte de parole explications 1 0 0
Automates Table des matières L ? automate Table des matières L ? automate La programmation automate Présentation de l ? automate C? blage automate A retenir Cause la destruction de l'automate La sécurité de c? blage avec l ? automate Grafcet à convertir s 0 0
Parapsychologie et philosophie entretien delpech et amadou 1 0 0
Classe : 5AP Composition du 2ème trimestre Le cordonnier. Mon père et mon oncle 0 0
Andromaque corriges Andromaque C o r r i g é s de Jean Racine Séquence Séance Pyrrhus selon Pylade I Pour guider votre analyse A Les relations d ? amour Pour décrire la relation de Pyrrhus à Andromaque Pylade reprend le lieu commun des ammes de l ? amour 0 0
  • 33
  • 0
  • 0
Afficher les détails des licences
Licence et utilisation
Gratuit pour un usage personnel Aucune attribution requise
Partager