This paper proposes a concurrent model that takes into account such important concerns. We insist on concept unifications: the underlying reasons that make object-oriented programming adapted to concurrency. The model characteristics, especially reusability, permit us to define a concurrent object-oriented design method.

Abstract not found

A naming system consists of the mechanisms that govern the definition, binding, and access to the names upon which communication among active objects in a parallel or distributed system depends. A concurrent algorithm may require certain patterns of communication among objects. Naming systems differ significantly in the patterns of communication that they support, and this diversity suggests the existence of efficiency tradeoffs and specialization among the various approaches. To enable the impact of these differences upon the structure of concurrent computations to be examined systematically, we present a taxonomy of naming systems that isolates a small set of fundamental naming system properties, and ranks naming systems in (partial) order of the expressiveness they derive from their properties. We compare the properties of the naming systems that underlie several representative concurrent programming systems, and give examples of algorithms that require specific naming system proper...