@manual{OCL2.0-specification,
added-at = {2006-08-28T15:26:49.000+0200},
author = {OMG},
biburl = {https://www.bibsonomy.org/bibtex/2c868bfeaa104a0874752fbf4d47718b0/fparreiras},
description = {OCL is to be used with UML as a query and assertion language. It has types, objects, operations. It has a concrete Syntax and an Abstract Syntax described using MOF},
editor = {OMG},
interhash = {00dac9737d70ef67f113bec17477e460},
intrahash = {c868bfeaa104a0874752fbf4d47718b0},
key = {OCL 2.0},
keywords = {2001 PreCondition Invariants PostContiditions query constra UMLMetamodel ocl specification},
month = {June},
number = {{OMG} document formal/2006-05-01},
organization = {Object Modeling Group},
timestamp = {2006-08-28T15:26:49.000+0200},
title = {Object Constraint Language Specification, version 2.0},
url = {http://fparreiras/papers/OCLSpec.pdf},
year = 2005
}