Designing And Implementing An OCLCompiler
Stc
ComputingScienceColloquium
Date: November 17
Time: 16:00
Room: BBL-509
Speaker: Bill Foko
Title: Designing and implementing an OCL compiler
Abstract
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
UML model.
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.
