| dbo:abstract
|
- 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. (ca)
- 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. (de)
- 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. (es)
- 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. (en)
- 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)
- 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 に基づいて構築されている。 (ja)
- 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). (it)
- 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. (pt)
- 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 (pl)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 9006 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- 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. (ca)
- 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. (en)
- 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 に基づいて構築されている。 (ja)
- 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. (pt)
- 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 (pl)
- 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. (de)
- 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. (es)
- 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)
- 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 . (it)
|
| rdfs:label
|
- Object Constraint Language (ca)
- Object Constraint Language (de)
- Lenguaje de especificación OCL 2.0 (es)
- Object Constraint Language (fr)
- Object Constraint Language (it)
- Object Constraint Language (ja)
- Object Constraint Language (en)
- Object Constraint Language (pl)
- OCL (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
