International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting