Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Set Theoretic Exchange Executive
 

Summary: A Set Theoretic
Exchange Executive
COMB2-93-34 (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 re-invoked 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

  

Source: Amor, Robert - Department of Computer Science, University of Auckland

 

Collections: Computer Technologies and Information Sciences