Technology-Independent Modeling of Service Interaction | IEEE Conference Publication | IEEE Xplore