Towards a formalization of mediating connectors for on the fly interoperability