Aller au contenu

Object Constraint Language

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 8 octobre 2010 à 14:18 et modifiée en dernier par JnRouvignac (discuter | contributions) (Réécriture pour essayer d'améliorer le style). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.

OCL (Object Constraint Language) est un langage informatique d'expression des contraintes utilisé par UML. C'est une contribution d'IBM à UML 1.1.

Ce langage formel est volontairement simple d'accès et représente un juste milieu entre langage naturel et langage mathématique. Il permet ainsi de limiter les ambiguïtés dans la spécification des contraintes logicielles. Sa grammaire simple lui permet d'être interprété par des outils logiciels pour faire de la programmation par contrat et vérifier qu'un logiciel répond a ses spécifications techniques.


OCL permet de décrire des invariants dans un modèle, sous forme de pseudo-code :

  • pré et post-conditions pour une opération
  • expressions de navigation
  • expressions booléennes
  • etc...

OCL est utilisé dans la définition du métamodèle UML.

Liens externes

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Object_Constraint_Language&oldid=57870925 ».