<?xml version="1.0" encoding="UTF-8"?>
<b:Sources SelectedStyle="" xmlns:b="http://schemas.openxmlformats.org/officeDocument/2006/bibliography"  xmlns="http://schemas.openxmlformats.org/officeDocument/2006/bibliography" >
<b:Source>
<b:Tag>brucker.ea:note:2002</b:Tag>
<b:SourceType>Report</b:SourceType>
<b:Publisher>Albert-Ludwigs-Universit&#228;t Freiburg</b:Publisher>
<b:Year>2002</b:Year>
<b:Month>jan</b:Month>
<b:Issue>168</b:Issue>
<b:Author>
<b:Author><b:NameList>
<b:Person><b:Last>Brucker</b:Last><b:First>Achim</b:First><b:Middle>D</b:Middle></b:Person>
<b:Person><b:Last>Wolff</b:Last><b:First>Burkhart</b:First></b:Person>
</b:NameList></b:Author>
</b:Author>
<b:Title>A Note on Design Decisions of a Formalization of the OCL</b:Title>
<b:Comments>We compare several formal and informal approaches to define the semantics of the Object Constraint Language (OCL). This comparison reveals a number of minor and major design problems to be settled in upcoming versions of the OCL standard. We review these problems in the context of our work of providing a formal semantics of OCL through an conservative embedding in HOL using the Isabelle theorem prover.</b:Comments>
</b:Source>
</b:Sources>