May 20, 2007 to May 26, 2007
Marco Autili , University of L'Aquila, Italy
Paola Inverardi , University of L'Aquila, Italy
Alfredo Navarra , University of L'Aquila, Italy
Massimo Tivoli , University of L'Aquila, Italy
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.84
SYNTHESIS is a tool for automatically assembling correct and distributed component-based systems. In our context, a system is correct when it is deadlock-free and performs only specified component interactions. In order to automatically synthesize the correct composition code, SYNTHESIS takes as input an high-level behavioural description for each component that must form the system to be built and a specification of the component interactions that must be enforced in the system. The automatically derived composition code is implemented as a set of distributed component wrappers that cooperatively interact with each other and with their wrapped components in order to prevent possible deadlocks and make the composed system exhibit only the specified interactions. The current version of SYNTHESIS supports two possible development platforms: Microsoft COM/DCOM, and EJB (Enterprise Java Beans).
Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli, "SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems", ICSE, 2007, Software Engineering, International Conference on, Software Engineering, International Conference on 2007, pp. 784-787, doi:10.1109/ICSE.2007.84