DEPENDENCY BASED COORDINATION FOR CONSISTENT SOLUTIONS IN DISTRIBUTED WORK

Abstract

Many organizational problems can be decomposed into nearly independent subproblems the solution of which is the responsibility of independent agents. In this kind of work, which we call distributed work, the problems are only nearly independent since dependencies exist between the commitments required from each agent. As a consequence of these dependencies, the coordination problem becomes one of maintaining a consistent global solution in the face of the possibly conflicting activities of each agent. We define a normative model for coordination protocols that indicates the formal requirements for maintaining a globally consistent solution. The model identifies several properties that the protocol must enforce, namely serializability, atomicity, completeness, and soundness. We show that these properties are desirable in coordination protocols for distributed work problems.