Fragment-Based Service Choreographies | IEEE Conference Publication | IEEE Xplore