Abstractions of distributed cooperation, their refinement and implementation

Recognizing the role of abstractions is essential in software development. Communication mechanisms, however often dictate how inter-process communication is addressed already at the level of specification. The authors show how abstract process cooperation can be refined 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