A novel approach for interorganizational workflow system design
Currently available workflow management systems lack abilities for supporting interorganizational processes. In this paper, we present an approach to model interorganizational business processes based on the pi-calculus technique. This approach provides a formal foundation for processes with interorganizational interaction structures, appropriate for modeling distributed cooperative workflow systems.