 
Summary: A Set Theoretic
Exchange Executive
COMB29334 (DRAFT)
Robert Amor
TU Delft COMBINE Team
November 21, 2003
Abstract
This draft document describes the thinking behind the definition of an Exchange
Executive (EE) based on simple set theory. We describe how if a particular Design
Tool Function (DTF) is described in two sections, one being the input schema and the
other the output schema, then many properties of a working EE can be calculated
automatically. We will show that it is possible to determine whether a DTF is able to be
invoked at a particular time, whether it needs to be reinvoked after a change to the base
model, and whether a set of DTFs can be invoked concurrently. Based on this analysis
the implementation details and working of a demonstration exchange executive are
discussed. In the last section we propose further extensions to this analysis which
would give the EE the ability to handle multiple Project Window (PW) definitions, and
in the future determine the possible DTFs which would have to be invoked, and in what
order, to calculate a particular result.
Introduction
