This document defines a notation for specifying business process behavior based on Web Services. Web services are touted to turn the Internet into a general platform for distributed computing as required for B2B eCommerce. ...