North Carolina State University
Current approaches of designing business processes rely on traditional workflow technologies and thus take a logically centralized view of processes. Processes designed in that manner assume the participants will act as invoked, thus limiting their flexibility or autonomy. Flexibility is in conflict with both reusability and compliance. The authors propose a methodology to build processes from declarative commitment based protocol specifications and to enact them in a distributed manner. Because protocols are publishable, reusable specifications of interaction and commitments can be reasoned about, this approach enables software reuse, improved autonomy through flexibility, and more robust compliance verification.