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

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

Namespace Prefixes

Prefix	IRI
dbt	http://dbpedia.org/resource/Template:
n34	http://www-st.inf.tu-dresden.de/ocl/
wikipedia-en	http://en.wikipedia.org/wiki/
dbr	http://dbpedia.org/resource/
dbpedia-fr	http://fr.dbpedia.org/resource/
n35	http://www.brucker.ch/projects/hol-ocl/
n32	http://modeling-languages.com/ocl-tutorial/
n20	http://ieeexplore.ieee.org/xpl/articleDetails.jsp%3Farnumber=5630350/
dcterms	http://purl.org/dc/terms/
rdfs	http://www.w3.org/2000/01/rdf-schema#
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n25	http://www.dresden-ocl.org/index.php/
dbp	http://dbpedia.org/property/
xsdh	http://www.w3.org/2001/XMLSchema#
n9	https://web.archive.org/web/20060407092135/http:/www.eclipse.org/gmt/
dbo	http://dbpedia.org/ontology/
dbpedia-pt	http://pt.dbpedia.org/resource/
dbpedia-hu	http://hu.dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/
n30	https://web.archive.org/web/20060831031409/http:/www.cetus-links.org/
dbc	http://dbpedia.org/resource/Category:
dbpedia-de	http://de.dbpedia.org/resource/
dbpedia-pl	http://pl.dbpedia.org/resource/
yago	http://dbpedia.org/class/yago/
wikidata	http://www.wikidata.org/entity/
gold	http://purl.org/linguistics/gold/
n27	https://global.dbpedia.org/id/
yago-res	http://yago-knowledge.org/resource/
n19	http://www.eclipse.org/articles/article.php%3Ffile=Article-EMF-Codegen-with-OCL/
dbpedia-it	http://it.dbpedia.org/resource/
dbpedia-ca	http://ca.dbpedia.org/resource/
prov	http://www.w3.org/ns/prov#
foaf	http://xmlns.com/foaf/0.1/
n41	http://lt.dbpedia.org/resource/
n37	http://sourceforge.net/projects/useocl/
n26	https://web.archive.org/web/20060220003552/http:/www.parlezuml.com/tutorials/umlforjava/
dbpedia-es	http://es.dbpedia.org/resource/
freebase	http://rdf.freebase.com/ns/
n29	http://www.omg.org/spec/OCL/
n14	http://octopus.sourceforge.net/
n23	http://www.csci.csusb.edu/dick/samples/
owl	http://www.w3.org/2002/07/owl#

Statements

Subject Item

dbr:Query_language

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Bertrand_Meyer

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Alloy_(specification_language)

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Gello_Expression_Language

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:OCL

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

dbo:wikiPageDisambiguates

dbr:Object_Constraint_Language

Subject Item

dbr:Object-role_modeling

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Object_Constraint_Language

rdf:type

yago:Language106282651 yago:Abstraction100002137 yago:WikicatFormalSpecificationLanguages yago:WikicatFormalLanguages dbo:Language yago:ComputerLanguage106899633 yago:WikicatComputerLanguages yago:ProgrammingLanguage106898352 yago:ArtificialLanguage106894544 yago:Communication100033020

rdfs:label

Object Constraint Language Object Constraint Language Object Constraint Language Object Constraint Language Lenguaje de especificación OCL 2.0 Object Constraint Language OCL Object Constraint Language Object Constraint Language

rdfs:comment

Object Constraint Language（OCL）は、統一モデリング言語 (UML) モデルに適用する規則を記述するための宣言型言語である。IBMが開発し、UML標準の一部となった。初期のOCLは、単なるUMLの形式仕様記述言語としての拡張であったが、その後 UMLだけでなく Object Management Group (OMG) の Meta-Object Facility (MOF) のメタモデル全般を扱うようになった。Object Constraint Language (OCL) は Meta-Object Facility などのモデルやメタモデルについて、図表の形式では表現できない制約やクエリを表現することができる正確なテキスト言語である。OCL は OMG のモデル変換に関する推奨標準 QVT 仕様の一部となっている。他の多くのモデル変換言語（ATLなど）も OCL に基づいて構築されている。 Object Constraint Language, (OCL) – język zapisu ograniczeń w modelu obiektowym. Jest on częścią języka UML. Pozwala uzupełnić opis modelu o takie informacje, które umożliwiają: * nakładanie ograniczeń na elementy modelu (reguły, warunki) * poprawę precyzji oraz jednoznaczności modelu * definiowanie kwerend w celu uzyskania dostępu do elementów modelu i ich wartości L'Object Constraint Language (OCL) és un llenguatge que permet definir expressions formals vinculades a elements de models UML. Aquestes expressions són bàsicament restriccions, regles de derivació i condicions. OCL fou desenvolupat inicialment el 1995 per IBM i posteriorment es va integrar amb l'UML. OMG el va adoptar com a estàndard el 1997. 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. The Object Constraint Language (OCL) is a declarative language describing rules applying to Unified Modeling Language (UML) models developed at IBM and is now part of the UML standard. Initially, OCL was merely a formal specification language extension for UML. OCL may now be used with any Meta-Object Facility (MOF) Object Management Group (OMG) meta-model, including UML. The Object Constraint Language is a precise text language that provides constraint and object query expressions on any MOF model or meta-model that cannot otherwise be expressed by diagrammatic notation. OCL is a key component of the new OMG standard recommendation for transforming models, the Queries/Views/Transformations (QVT) specification. OCL 2.0 (Object Constraint Language 2.0) es un lenguaje para la descripción formal de expresiones en los modelos UML. Fue adoptado en octubre de 2003 por el grupo OMG como parte de UML 2.0. Sus expresiones pueden representar invariantes, precondiciones, postcondiciones, inicializaciones, guardias, reglas de derivación, así como consultas a objetos para determinar sus condiciones de estado. Die Object Constraint Language (OCL) ist eine Sprache, mit der Softwarearchitekten notwendige Randbedingungen bei der Modellierung von Computerprogrammen formal festlegen können. Die OCL ist Bestandteil der weltweit etablierten Modellierungssprache Unified Modeling Language (UML) und dient unter anderem der textuellen Spezifikation von Invarianten in Klassendiagrammen, von Bedingungen in Sequenzdiagrammen oder der Formulierung von Vor- und Nachbedingungen für Methoden. Die OCL-Syntax ist an die Programmiersprache Smalltalk angelehnt. OCL ist seit der UML-Version 1.1 Bestandteil der UML. OCL é um acrónimo de Object Constraint Language (ou Linguagem para Especificação de Restrições em Objetos, em português). É uma para descrever as regras que se aplicam aos modelos UML desenvolvida na IBM e que agora é parte do . OCL, inicialmente, era apenas uma extensão de UML para especificações formais de modelos. A linguagem OCL é uma linguagem de texto precisa que possibilita a expressão de restrições em um modelo orientado a objeto que não possam ser especificadas através dos diagramas. L'Object Constraint Language o OCL è un linguaggio di specifica formale inizialmente proposto come estensione per il linguaggio di modellazione object-oriented UML e successivamente (2003) entrato a far parte del nuovo standard del linguaggio (UML 2.0). OCL può essere impiegato insieme a qualunque metamodello basato su MOF. Inoltre, OCL è un elemento chiave del nuovo standard per la trasformazione di modelli di OMG, , e fa parte della famiglia di standard che compongono la Model Driven Architecture. I principali ideatori di OCL sono e .

dcterms:subject

dbc:ISO_standards dbc:Unified_Modeling_Language dbc:Formal_specification_languages

dbo:wikiPageID

409006

dbo:wikiPageRevisionID

1105253678

dbo:wikiPageWikiLink

dbr:XML_Metadata_Interchange dbr:Alloy_language dbr:XML dbr:Object-oriented_analysis_and_design dbr:XML_tree dbc:Unified_Modeling_Language dbr:Model_Transformation_Language dbr:Tefkat dbr:QVT dbr:Object_Management_Group dbc:ISO_standards dbr:Gello_Expression_Language dbr:XPath dbr:Transformation_language dbr:Schematron dbr:Model-based_testing dbr:Model-driven_architecture dbc:Formal_specification_languages dbr:IBM dbr:Meta-modeling dbr:MOFM2T dbr:Meta-modeling_technique dbr:VIATRA dbr:Intentional_Programming dbr:List_of_UML_tools dbr:Syntropy_(Software) dbr:XML_transformation_language dbr:GReAT dbr:Semantic_translation dbr:Eclipse_(software) dbr:Unified_Modeling_Language dbr:Glossary_of_Unified_Modeling_Language_terms dbr:Domain_Specific_Language dbr:Modeling_language dbr:Model_Driven_Engineering dbr:Declarative_language dbr:Data_mapping dbr:Metadata dbr:UML_tool dbr:Meta-Object_Facility dbr:Metamodeling dbr:Domain-specific_modelling dbr:Computer_model dbr:Vocabulary-based_transformation dbr:Modeling_perspectives dbr:Model_transformation

dbo:wikiPageExternalLink

n9: n14: n19:index.html n20: n23:ocl.html n25:DresdenOCL n26:java_ocl.pdf n29: n30:oo_uml.html n32: n34: n35: n37:

owl:sameAs

dbpedia-es:Lenguaje_de_especificación_OCL_2.0 dbpedia-de:Object_Constraint_Language dbpedia-ja:Object_Constraint_Language dbpedia-fr:Object_Constraint_Language wikidata:Q1397689 yago-res:Object_Constraint_Language dbpedia-it:Object_Constraint_Language n27:QQWE dbpedia-pl:Object_Constraint_Language dbpedia-pt:OCL dbpedia-ca:Object_Constraint_Language freebase:m.024txs dbpedia-hu:Object_Constraint_Language n41:Object_Constraint_Language

dbp:wikiPageUsesTemplate

dbt:Query_languages dbt:ISO_standards dbt:Short_description dbt:Reflist dbt:Update

dbo:abstract

Object Constraint Language（OCL）は、統一モデリング言語 (UML) モデルに適用する規則を記述するための宣言型言語である。IBMが開発し、UML標準の一部となった。初期のOCLは、単なるUMLの形式仕様記述言語としての拡張であったが、その後 UMLだけでなく Object Management Group (OMG) の Meta-Object Facility (MOF) のメタモデル全般を扱うようになった。Object Constraint Language (OCL) は Meta-Object Facility などのモデルやメタモデルについて、図表の形式では表現できない制約やクエリを表現することができる正確なテキスト言語である。OCL は OMG のモデル変換に関する推奨標準 QVT 仕様の一部となっている。他の多くのモデル変換言語（ATLなど）も OCL に基づいて構築されている。 The Object Constraint Language (OCL) is a declarative language describing rules applying to Unified Modeling Language (UML) models developed at IBM and is now part of the UML standard. Initially, OCL was merely a formal specification language extension for UML. OCL may now be used with any Meta-Object Facility (MOF) Object Management Group (OMG) meta-model, including UML. The Object Constraint Language is a precise text language that provides constraint and object query expressions on any MOF model or meta-model that cannot otherwise be expressed by diagrammatic notation. OCL is a key component of the new OMG standard recommendation for transforming models, the Queries/Views/Transformations (QVT) specification. Object Constraint Language, (OCL) – język zapisu ograniczeń w modelu obiektowym. Jest on częścią języka UML. Pozwala uzupełnić opis modelu o takie informacje, które umożliwiają: * nakładanie ograniczeń na elementy modelu (reguły, warunki) * poprawę precyzji oraz jednoznaczności modelu * definiowanie kwerend w celu uzyskania dostępu do elementów modelu i ich wartości Die Object Constraint Language (OCL) ist eine Sprache, mit der Softwarearchitekten notwendige Randbedingungen bei der Modellierung von Computerprogrammen formal festlegen können. Die OCL ist Bestandteil der weltweit etablierten Modellierungssprache Unified Modeling Language (UML) und dient unter anderem der textuellen Spezifikation von Invarianten in Klassendiagrammen, von Bedingungen in Sequenzdiagrammen oder der Formulierung von Vor- und Nachbedingungen für Methoden. Die OCL-Syntax ist an die Programmiersprache Smalltalk angelehnt. OCL ist seit der UML-Version 1.1 Bestandteil der UML. Ein wesentliches Einsatzgebiet der OCL besteht auch in der Modelltransformation. Hier ist OCL ein zentraler Bestandteil vieler Transformationssprachen, wie QVT oder ATL. Die aktuelle Version der OCL ist 2.4. L'Object Constraint Language o OCL è un linguaggio di specifica formale inizialmente proposto come estensione per il linguaggio di modellazione object-oriented UML e successivamente (2003) entrato a far parte del nuovo standard del linguaggio (UML 2.0). OCL può essere impiegato insieme a qualunque metamodello basato su MOF. Inoltre, OCL è un elemento chiave del nuovo standard per la trasformazione di modelli di OMG, , e fa parte della famiglia di standard che compongono la Model Driven Architecture. I principali ideatori di OCL sono e . OCL deriva da un linguaggio precedente noto come . Il nucleo di OCL può essere descritto come un linguaggio mutuato dal calcolo dei predicati del primo ordine per l'espressione di condizioni logiche inerenti allo stato e alle operazioni di oggetti in un contesto object-oriented. Con la potenza del calcolo dei predicati, OCL consente di descrivere invarianti che legano il valore degli attributi di una classe, precondizioni e postcondizioni delle operazioni, e via dicendo. A partire dalla versione 2.0 (che è quella inclusa nello standard UML), il linguaggio è stato arricchito di elementi che consentono di descrivere la semantica di operazioni di tipo interrogazione (query), ovvero prive di effetti collaterali. Gran parte delle informazioni che si possono descrivere in OCL non sono esprimibili in nessun altro modo formale nel contesto di UML (ovvero non possono essere rappresentate dai diagrammi UML). OCL é um acrónimo de Object Constraint Language (ou Linguagem para Especificação de Restrições em Objetos, em português). É uma para descrever as regras que se aplicam aos modelos UML desenvolvida na IBM e que agora é parte do . OCL, inicialmente, era apenas uma extensão de UML para especificações formais de modelos. A linguagem OCL é uma linguagem de texto precisa que possibilita a expressão de restrições em um modelo orientado a objeto que não possam ser especificadas através dos diagramas. OCL 2.0 (Object Constraint Language 2.0) es un lenguaje para la descripción formal de expresiones en los modelos UML. Fue adoptado en octubre de 2003 por el grupo OMG como parte de UML 2.0. Sus expresiones pueden representar invariantes, precondiciones, postcondiciones, inicializaciones, guardias, reglas de derivación, así como consultas a objetos para determinar sus condiciones de estado. OCL fue inicialmente desarrollado por IBM.Este lenguaje no causa efectos laterales, de manera que la verificación de una condición, que se presupone una operación instantánea, nunca altera los objetos del modelo. Su papel principal es el de completar los diferentes artefactos de la notación UML con requerimientos formalmente expresados. 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. L'Object Constraint Language (OCL) és un llenguatge que permet definir expressions formals vinculades a elements de models UML. Aquestes expressions són bàsicament restriccions, regles de derivació i condicions. OCL fou desenvolupat inicialment el 1995 per IBM i posteriorment es va integrar amb l'UML. OMG el va adoptar com a estàndard el 1997.

gold:hypernym

dbr:Language

prov:wasDerivedFrom

wikipedia-en:Object_Constraint_Language?oldid=1105253678&ns=0

dbo:wikiPageLength

9006

foaf:isPrimaryTopicOf

wikipedia-en:Object_Constraint_Language

Subject Item

dbr:Enterprise_Architect_(software)

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Common_warehouse_metamodel

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Kermeta

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Platform-independent_model

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Platform-specific_model

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Production_Rule_Representation

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Micro_Focus_Together

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Domain-specific_language

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:GReAT

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Language_workbench

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Meta-process_modeling

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Syntropy_(software)

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Eclipse_(software)

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Formal_methods

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Glossary_of_Unified_Modeling_Language_terms

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:KM3

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Unified_Modeling_Language

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:List_of_International_Organization_for_Standardization_standards,_18000-19999

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Metadata_registry

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:ArgoUML

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Z_notation

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:VIATRA

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Object_Management_Group

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Meta-Object_Facility

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Model-driven_engineering

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:QVT

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Event_partitioning

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:Executable_UML

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:R2ML

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

Subject Item

dbr:ObjectConstraintLanguage

dbo:wikiPageWikiLink

dbr:Object_Constraint_Language

dbo:wikiPageRedirects

dbr:Object_Constraint_Language

Subject Item

wikipedia-en:Object_Constraint_Language

foaf:primaryTopic

dbr:Object_Constraint_Language