Modelling services for interoperability negotiation | IEEE Conference Publication | IEEE Xplore