Abstractions of distributed cooperation, their refinement and implementation

Recognizing the role of abstractions is essential in software development. Communication mechanisms, however; often dictate hole inter-process communication is addressed already at the level of specification. In this paper we show how abstract process cooperation can be refitted into an implementable form, taking into account constraints imposed by practical communication mechanisms. Early phases of the development can then rely on high-level abstractions, allowing simpler formulation and early validation of specifications. In later phases it can be formally verified that the given abstractions remain valid, which increases confidence in the resulting design.