Date: November 17
Speaker: Bill Foko
Title: Designing and implementing an OCL compiler
The Dutch Tax and Customs Administration (DTCA) conducts a research
program called POWER (Program for Ontology-based Working Environment
for Rules and regulations), that aims at developing a method and
supporting tools for the whole chain of processes from drafting the
legislation to executing the law by government employees.
In order to model the legislation, Power relies on the industry-standard
Unified Modeling Language and the Object Constraint Language (OCL).
OCL, which is part of the UML specification, is a declarative language
that can be used to formulate additional constraints that apply to the
In this talk we will discuss a new OCL tool that can used within Power
for analysing OCL constraints. In discussing the new tool, we will
address some of the shortcomings of OCL and we will discuss other
existing OCL tools. Furthermore we will present an OCL type system.
We will focus especially on the quality of the errors messages that
could (eventually) be reported to the user of the tool.