Towards a formalization of mediating connectors for on the fly interoperability | IEEE Conference Publication | IEEE Xplore