TY - GEN
T1 - Consistency analysis of interorganizational processes based on activity diagrams
AU - Yan, Zhijun
PY - 2005
Y1 - 2005
N2 - Consistency property describes the relation between the communication pattern and process logic of interorganizational processes. And 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.
AB - Consistency property describes the relation between the communication pattern and process logic of interorganizational processes. And 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.
UR - http://www.scopus.com/inward/record.url?scp=33845480547&partnerID=8YFLogxK
U2 - 10.1109/ICEBE.2005.41
DO - 10.1109/ICEBE.2005.41
M3 - Conference contribution
AN - SCOPUS:33845480547
SN - 0769524303
SN - 9780769524306
T3 - Proceedings - ICEBE 2005: IEEE International Conference on e-Business Engineering
SP - 187
EP - 190
BT - Proceedings - ICEBE 2005
T2 - ICEBE 2005: IEEE International Conference on e-Business Engineering
Y2 - 18 October 2005 through 21 October 2005
ER -