Modeling object interdependency within an object-oriented application requires design-time mechanisms for specifying object interrelationships, as well as software constructs for the runtime maintenance of these relationships. In this paper, we present our technique for the design-time modeling of propagations (our term for the relationships between interdependent objects), with a focus on the concurrently executing portions of our propagation model. We examine our propagation model as implemented using Ada95's tasking constructs, and present the source level mechanisms through which our model achieves concurrency. The concurrency embedded within our approach to propagation modeling allows the development of software applications that more fully utilize environments supportive of multi-tasking.
/lp/association-for-computing-machinery/concurrency-in-object-oriented-propagation-modeling-using-ada95-QtT04R05nE