OCL statements for interoperability prediction