The Community for Technology Leaders
Software Engineering, International Conference on (2007)
Minneapolis, Minnesota
May 20, 2007 to May 26, 2007
ISSN: 0270-5257
ISBN: 0-7695-2828-7
pp: 784-787
Paola Inverardi , University of L'Aquila, Italy
Massimo Tivoli , University of L'Aquila, Italy
Alfredo Navarra , University of L'Aquila, Italy
Marco Autili , University of L'Aquila, Italy
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).
Paola Inverardi, Massimo Tivoli, Alfredo Navarra, Marco Autili, "SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems", Software Engineering, International Conference on, vol. 00, no. , pp. 784-787, 2007, doi:10.1109/ICSE.2007.84
80 ms
(Ver 3.3 (11022016))