Evaluating Contract Compatibility for Service Composition in the SeCO2 Framework