Linking contracts, processes and services: an event-driven approach | IEEE Conference Publication | IEEE Xplore