Consistency analysis of interorganizational processes based on activity diagrams

Zhijun Yan

doi:10.1109/ICEBE.2005.41

Consistency analysis of interorganizational processes based on activity diagrams

Zhijun Yan^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Citation (Scopus)

Abstract

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.

Original language	English
Title of host publication	Proceedings - ICEBE 2005
Subtitle of host publication	IEEE International Conference on e-Business Engineering
Pages	187-190
Number of pages	4
DOIs	https://doi.org/10.1109/ICEBE.2005.41
Publication status	Published - 2005
Event	ICEBE 2005: IEEE International Conference on e-Business Engineering - Beijing, China Duration: 18 Oct 2005 → 21 Oct 2005

Publication series

Name	Proceedings - ICEBE 2005: IEEE International Conference on e-Business Engineering
Volume	2005

Conference

Conference	ICEBE 2005: IEEE International Conference on e-Business Engineering
Country/Territory	China
City	Beijing
Period	18/10/05 → 21/10/05

Access to Document

10.1109/ICEBE.2005.41

Cite this

@inproceedings{dd80d21f820b4b83a34336d9d28b6e0d,

title = "Consistency analysis of interorganizational processes based on activity diagrams",

abstract = "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.",

author = "Zhijun Yan",

year = "2005",

doi = "10.1109/ICEBE.2005.41",

language = "English",

isbn = "0769524303",

series = "Proceedings - ICEBE 2005: IEEE International Conference on e-Business Engineering",

pages = "187--190",

booktitle = "Proceedings - ICEBE 2005",

note = "ICEBE 2005: IEEE International Conference on e-Business Engineering ; Conference date: 18-10-2005 Through 21-10-2005",

}

Yan, Z 2005, Consistency analysis of interorganizational processes based on activity diagrams. in Proceedings - ICEBE 2005: IEEE International Conference on e-Business Engineering., 1552890, Proceedings - ICEBE 2005: IEEE International Conference on e-Business Engineering, vol. 2005, pp. 187-190, ICEBE 2005: IEEE International Conference on e-Business Engineering, Beijing, China, 18/10/05. https://doi.org/10.1109/ICEBE.2005.41

Consistency analysis of interorganizational processes based on activity diagrams. / Yan, Zhijun.
Proceedings - ICEBE 2005: IEEE International Conference on e-Business Engineering. 2005. p. 187-190 1552890 (Proceedings - ICEBE 2005: IEEE International Conference on e-Business Engineering; Vol. 2005).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 -

Consistency analysis of interorganizational processes based on activity diagrams

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this