Interaction protocols as design abstractions for business processes | IEEE Journals & Magazine | IEEE Xplore