This paper first describes a cooperation approach for a Cooperating Knowledge Based System, founded on an engineering paradigm (as against a mentallistic paradigm of DAI) that is meant to ensure termination of the execution process at user-defined recoverable points. The paper then develops an execution model, based on a highly distributed architecture with many operational primitives. The execution model forces the operations to terminate at the start of these primitives without forming any cycles, which are are avoided by rigorous control at each functional components within an agent. The model also supports rollback, redo, recovery and abort, and provides operational stability.#R##N##R##N#This model is intended to provide the theoretical foundation of a major international project in agent-based manufacturing.
['S. Misbah Deen']
A Computational Model for a Cooperating Agent System