The Redux´ server

Redux´ is a subset of the full REDUX model. The latter performs problem solving. In contrast, Redux´ acts only as a decision maintenance server. It takes objects of types defined in an ontology of decision components and maintains dependencies between them. Redux´ is domain-independent. The dependency relationships are maintained on the basis of proposition type and not content, except for some string matching. Redux´ servers are proposed as a mechanism for federating heterogeneous design agents by encapsulating their design decisions within a simple model and providing coordination services, especially for design revision. This proposal is described within the context of the SHADE and PACT projects