(Technical University of Denmark)

Domain descriptions are constructed by domain engineers. They apply anumber 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.

Robert Recorde Room

Department of Computer Science