Ontologie : Urbanités

élément : ExpressionLanguage_Class

rdf:ID : Object_Constraint_Language

rdfs:label : Object Constraint Language

OCL (Object Constraint Language) est un langage informatique d'expression des contraintes utilisé par UML.

Ce langage formel est volontairement simple d'accès et possède une grammaire élémentaire (OCL peut être interprété par des outils). OCL est une contribution d'IBM à UML 1.1.

Il représente un juste milieu entre langage naturel et langage mathématique. OCL permet ainsi de limiter les ambiguïtés dans la spécification des contraintes logicielles.

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

* 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.

image/svg+xml Conception : Henry Boccon-Gibod Langage d'expression d'informations c Nom propre c source Wikipedia D http://fr.wikipedia.org/wiki/Object_Constraint_Language a pour acronyme P OCL voir aussi S Unified Modelling Language rdf:type P Nom propre Object Constraint Language