This HTML5 document contains 94 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n11http://lt.dbpedia.org/resource/
n28http://g.co/kg/m/
n22http://www.omg.org/spec/OCL/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n29https://www.quora.com/topic/
n30http://laurent-audibert.developpez.com/Cours-UML/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
n9http://fr.dbpedia.org/resource/Modèle:
n5http://uml.free.fr/cours/
wikipedia-frhttp://fr.wikipedia.org/wiki/
n18http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n24http://ma-graph.org/entity/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n17https://www.eclipse.org/
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Object_Constraint_Language
rdf:type
wikidata:Q9143 dbo:Language schema:Language dbo:ProgrammingLanguage owl:Thing wikidata:Q315
rdfs:label
Object Constraint Language Object Constraint Language Lenguaje de especificación OCL 2.0 Object Constraint Language Object Constraint Language Object Constraint Language
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.
rdfs:seeAlso
n29:Object-Constraint-Language
owl:sameAs
wikidata:Q1397689 dbpedia-ja:Object_Constraint_Language n11:Object_Constraint_Language dbpedia-it:Object_Constraint_Language dbpedia-de:Object_Constraint_Language dbpedia-pl:Object_Constraint_Language n24:133264317 dbr:Object_Constraint_Language dbpedia-pt:OCL dbpedia-ca:Object_Constraint_Language n28:024txs dbpedia-es:Lenguaje_de_especificación_OCL_2.0
dbo:wikiPageID
1307586
dbo:wikiPageRevisionID
172071193
dbo:wikiPageWikiLink
dbpedia-fr:Object_Management_Group dbpedia-fr:Typage_fort dbpedia-fr:Invariant dbpedia-fr:QVT dbpedia-fr:Métamodèle category-fr:Unified_Modeling_Language dbpedia-fr:Langage_de_requête dbpedia-fr:Précondition dbpedia-fr:Fondation_Eclipse dbpedia-fr:IBM dbpedia-fr:Programmation_impérative dbpedia-fr:Langage_informatique dbpedia-fr:Programmation_déclarative dbpedia-fr:UML_(informatique) dbpedia-fr:Logiciel_multiplateforme dbpedia-fr:Programmation_par_contrat category-fr:Standard_de_l'Object_Management_Group dbpedia-fr:Model_driven_architecture dbpedia-fr:Modèle_(informatique)
dbo:wikiPageExternalLink
n5:p16.html%7Ctitre n22:%7Clangue n17:ocl n30:%3Fpage=object-constraint-langage-ocl
dbo:wikiPageLength
3294
dct:subject
category-fr:Standard_de_l'Object_Management_Group category-fr:Unified_Modeling_Language
foaf:homepage
n17:ocl
prop-fr:wikiPageUsesTemplate
n9:Date n9:Page_h' n9:Blanc n9:Titre_en_italique n9:Langue n9:Lien_web n9:Références n9:Portail n9:Site_officiel n9:Infobox_Langage_de_programmation n9:Ébauche
prov:wasDerivedFrom
wikipedia-fr:Object_Constraint_Language?oldid=172071193&ns=0
foaf:depiction
n18:défaut.svg
foaf:page
n17:ocl
prop-fr:auteur
Laurent Audibert dbpedia-fr:Object_Management_Group
prop-fr:couleurBoîte
16
prop-fr:langue
fr
prop-fr:site
developpez.com
prop-fr:siteWeb
n17:ocl
prop-fr:titre
Chapitre 4 Langage de contraintes objet
prop-fr:url
http://uml.free.fr/cours/p16.html|titre = UML en français - OCL n30:%3Fpage=object-constraint-langage-ocl
prop-fr:logo
défaut.svg
prop-fr:aInfluencé
QVT
prop-fr:développeurs
dbpedia-fr:Fondation_Eclipse
prop-fr:extensions
.ocl
prop-fr:implémentations
Eclipse OCL
prop-fr:paradigme
dbpedia-fr:Programmation_déclarative dbpedia-fr:Programmation_impérative
prop-fr:systèmeD'exploitation
dbpedia-fr:Logiciel_multiplateforme
prop-fr:typage
dbpedia-fr:Typage_fort
dbo:thumbnail
n18:défaut.svg?width=300
prop-fr:dialectes
EssentialOCL , ImperativeOCL
foaf:isPrimaryTopicOf
wikipedia-fr:Object_Constraint_Language
dbo:basedOn
dbpedia-fr:UML_(informatique) wikidata:Q7662832
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.
dbo:influenced
dbpedia-fr:QVT