Taking advantage of inheritance to specify parallel object behavior

The author authors describe how the PO (parallel object) method takes advantage of inheritance to specify PO behavior at two different levels of abstraction: by programming intraobject scheduling and by expressing constraints. Low-level mechanisms that implement intraobject concurrent strategies in terms of variables and methods of scheduling are presented. Scheduling methods are subject to classification and inheritance; their combination forms the scheduler of objects. The predefined constraints available in PO method are described. The application of constraints to classes of objects related by inheritance produces constraint composition that is automatically translated into low-level specifications