Today's corporations often must operate across organizational boundaries. Phenomena such as electronic commerce, extended enterprises, and the Internet stimulate cooperation between organizations. Therefore, it is interesting to consider workflows distributed over a number of organizations. Interorganizational workflow offers companies the opportunity to re-shape business processes beyond the boundaries of their own organizations. Two important questions are addressed in this paper: (1) What are the minimal requirements any interorganizational workflow should satisfy?, and (2) How does one decide whether an interorganizational workflow, modeled in terms of Petri nets, is consistent with an interaction structure specified through a message sequence chart? Keywords Workflow management, electronic commerce, verification, Petri nets, message sequence charts
Wil M. P. van der Aalst