Design by decomposition of multiparty interactions in Raddle87

Abstract

Synchronous multiparty interactions are becoming an increasingly important abstraction for the design of distributed systems. A method of design JOT multiparty interactions is described whereby large interactions are decomposed into groups of smaller interactions. The method is illustrated with the Lift Problem from the Fourth International bvorkshop on Software Specification and Design. The paper presents an abstract solution in which the lifts both cooperate and have distributed control. The abstract solution is then decomposed to a design for a unidirectional message-passing ring. The decomposition process is effective but informal.