On Deriving Detailed Component Design from High-Level Service Specification

The development of distributed reactive systems is quite complex. They provide services where two or more active components collaborate that may take independent initiatives, operate concurrently and interact with each other and their environment in order to provide services. We need precise and complete global behaviour definitions in the domain of these distributed reactive systems that will enable us to derive component designs automatically in a systematic way. In this paper, we continue the previous research where an approach is proposed to map flow-global choreographies to flow-localized choreographies and further to distributed component designs. The proposed approach has the potential to become highly automated, however, some issues still need to be addressed manually while deriving the components. These issues are identified in this paper and solutions are proposed by defining precise rules to support component derivation by taking into account the problems that need to be solved in a distributed realization. The derived component types will be available to compose larger components and systems. The challenge for the designer is to ensure correct behaviour of the resulting composite reactive system.