Protocol-based business process modeling and enactment | IEEE Conference Publication | IEEE Xplore