Consistency analysis of interorganizational processes based on activity diagrams

Consistency property describes the relation between the communication pattern and process logic of interorganizational processes. The Petri net and message sequence chart are applied as the modeling tool for the communication pattern and process logic of interorganizational processes respectively. But these two different modeling tools bring confusions and make it is hard to analyze the consistency property of interorganizational processes. The modeling method of interorganizational processes based on activity diagrams is proposed in this work. The formal semantics of activity diagrams and the standardized mapping technique from activity diagrams to message sequence charts are introduced. Based on activity diagrams, the N-consistency property of interorganizational processes is defined and verified.