Failure-free Coordinator Synthesis for Correct Components Assembly

One of the main challenges in components assembly is related to the ability to predict possible coordination policies of the components interaction behavior by only assuming a limited knowledge of the single components computational behavior. Our answer to this problem is a software architecture based approach in which the software architecture imposed on the coordinating part of the system, allows for detection and recovery of COTS (Commercial-Off-The-Shelf ) concurrency conflicts and for the enforcing of coordination policies on the interaction behavior of the components into composed system. Starting from the specification of the system to be assembled and of the coordination policies for the components interaction behavior, we develop a framework which automatically derives the glue code for the set of components in order to obtain a conflict-free and coordination policy-satisfying system.