In: Parallel Computing, Vol. 24, No. 7, pages 1107-1135. 1998.
Abstract: The development of parallel programs is primarily concerned with application speed. This has led to the development of parallel applications in which software engineering aspects play only subordinate roles. In order to increase software quality in parallel applications, we motivate the construction of parallel programs by composing active objects which interact by means of an object-oriented coordination model. This paper presents a formalism for specifying the behavior of parallel active objects and a corresponding notion of behavioral types which can be used for verifying whether certain active objects conform to a specified behavior. Our approach is based on high-level Petri nets which enable (besides other benefits) automated analysis, in particular for automated type checking of active objects. We illustrate the usefulness of our approach by presenting reusable active objects for a manager/worker architecture. Their correct interaction is shown by automated checking of behavioral types.
Keywords: behavior specification, coordination, high-level Petri nets, objective Linda, reusable components.