Towards a calculus of domain description constructors

Dines Bjørner

(Technical University of Denmark)

Domain descriptions are constructed by domain engineers. They apply a
number of analysis techniques to a domain to arrive at consistent and
relative complete descriptions. These consists of the definition of
domain phenomena in the form of sorts, actions, events and behaviours
as well as of derived concepts of the same four kinds. We view the
domain description process as a sequence of "applications" of a
small number of these hypothetical "domain description constructors"
on the domain and a repository of a set of domain description
units. These applications are "mental" and yield a set of domain
description units.

In this talk we suggest a number of "domain description constructors".

The talk reports on work in progress, that is, it is far from
completed. It is hoped that eventually a calculus will evolve and that
properties of such a calculus can be proved.
Wednesday 15th June 2011, 10:30
Robert Recorde Room
Department of Computer Science