IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
logo

Accueil :
- éditorial
- charte d'utilisation
- aide
- diaporama
- contributeurs
Rechercher :
 
recherche avancée...
Naviguer :
- par tri alphabéthique :
0-* A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
- par thèmes :
  . Business Intelligence
  . Conception
  . Culture
  . Économie
  . Généralités
  . Gestion de projet
  . Infographie
  . Internet
  . Langages
  . Sécurité
  . Systèmes
  . Télécom
  . Théorie
Contribuer :
- nouvelle définition
- commenter une définition
Partenariat :
- faire un lien
- contact
Statistiques :
- 3079 définitions
- 329 ressources

Définition de OCL

Object Constraint Language
en  sigl.
Langage de formalisation des contraintes d'UML. Il est une contribution d'IBM à UML 1.1.
Ce langage formel est volontairement simple d'accès et possède une grammaire élémentaire (OCL peut être interprété par des outils). Il représente un juste milieu, entre langage naturel et langage mathématique. OCL permet ainsi de limiter les ambiguïtés, tout en restant accessible.
OCL permet de décrire des invariants dans un modèle, sous forme de pseudo-code :
- pré-conditions et post-conditions pour une opération,
- expressions de navigation,
- expressions booléennes, etc...
OCL est largement utilisé dans la définition du métamodèle UML.

Exemple :
context Residence
inv: salles->excludingAll(sallesDeBain->select(not estSurLePallier))->isUnique(numéro)
context SalleDeBain
inv: numéro = Chambre.numéro
OCLterme -> VAUML (IN)
Auteur : Laurent Piechocki - Cours UML en français
Permalien : Définition de OCL du dictionnaire Conception
Date d'ajout : 19/03/2005 Date de dernière mise à jour : 15/08/2006

Envoyer à un ami Imprimer Ajouter aux favoris Dénoncer un abus
Noter cette définition :
logo