OCL (Object Constraint Language) est un langage informatique d'expression des contraintes utilisé par UML. Développé pour la première fois par IBM en 1995 puis standardisé par l'Object Management Group, OCL permet d'effectuer des requêtes sur des métamodèles.

Property Value
dbo:abstract
  • OCL (Object Constraint Language) est un langage informatique d'expression des contraintes utilisé par UML. Développé pour la première fois par IBM en 1995 puis standardisé par l'Object Management Group, OCL permet d'effectuer des requêtes sur des métamodèles. 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 à ses spécifications techniques. (fr)
  • OCL (Object Constraint Language) est un langage informatique d'expression des contraintes utilisé par UML. Développé pour la première fois par IBM en 1995 puis standardisé par l'Object Management Group, OCL permet d'effectuer des requêtes sur des métamodèles. 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 à ses spécifications techniques. (fr)
dbo:basedOn
dbo:influenced
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1307586 (xsd:integer)
dbo:wikiPageLength
  • 3294 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 172071193 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:aInfluencé
  • QVT (fr)
  • QVT (fr)
prop-fr:auteur
prop-fr:couleurBoîte
  • 16 (xsd:integer)
prop-fr:dialectes
  • EssentialOCL , ImperativeOCL (fr)
  • EssentialOCL , ImperativeOCL (fr)
prop-fr:développeurs
prop-fr:extensions
  • .ocl (fr)
  • .ocl (fr)
prop-fr:implémentations
  • Eclipse OCL (fr)
  • Eclipse OCL (fr)
prop-fr:langue
  • fr (fr)
  • fr (fr)
prop-fr:logo
  • défaut.svg (fr)
  • défaut.svg (fr)
prop-fr:paradigme
prop-fr:site
  • developpez.com (fr)
  • developpez.com (fr)
prop-fr:siteWeb
prop-fr:systèmeD'exploitation
prop-fr:titre
  • Chapitre 4 Langage de contraintes objet (fr)
  • Chapitre 4 Langage de contraintes objet (fr)
prop-fr:typage
prop-fr:url
prop-fr:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • OCL (Object Constraint Language) est un langage informatique d'expression des contraintes utilisé par UML. Développé pour la première fois par IBM en 1995 puis standardisé par l'Object Management Group, OCL permet d'effectuer des requêtes sur des métamodèles. (fr)
  • OCL (Object Constraint Language) est un langage informatique d'expression des contraintes utilisé par UML. Développé pour la première fois par IBM en 1995 puis standardisé par l'Object Management Group, OCL permet d'effectuer des requêtes sur des métamodèles. (fr)
rdfs:label
  • Lenguaje de especificación OCL 2.0 (es)
  • Object Constraint Language (ca)
  • Object Constraint Language (fr)
  • Object Constraint Language (it)
  • Object Constraint Language (ja)
  • Object Constraint Language (pl)
  • Lenguaje de especificación OCL 2.0 (es)
  • Object Constraint Language (ca)
  • Object Constraint Language (fr)
  • Object Constraint Language (it)
  • Object Constraint Language (ja)
  • Object Constraint Language (pl)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:homepage
foaf:isPrimaryTopicOf
foaf:page
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of