Handling Instance Correspondence in Inter-organisational Workflows

Xiaohui Zhao, Chengfei Liu, Yun Yang, Wasim Sadiq

Research output: A Conference proceeding or a Chapter in BookConference contributionpeer-review

12 Citations (Scopus)


As business collaboration involves multiple business processes from different participating organisations, it becomes a challenging issue to manage the complex correspondence between instances of these business processes. Yet very limited support has been provided by inter-organisational workflow research. In this paper, we develop a formal method to specify instance correspondence based on a novel correspondence Petri net model. In this method, cardinality parameters are defined to represent cardinality relationships between collaborating business processes at build time, while correlation structures are designed to characterise correspondence between collaborating business process instances at run time. Corresponding algorithms are also developed to generate the correspondence Petri nets for collaborative business processes, and to trace instance correlation on the fly using the generated Petri nets.
Original languageEnglish
Title of host publicationAdvanced Information Systems Engineering
Subtitle of host publication19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007, Proceedings
EditorsJohn Krogstie, Andreas Opdahl, Guttorm Sindre
Place of PublicationGermany
Number of pages15
ISBN (Electronic)9783540729884
ISBN (Print)9783540729877
Publication statusPublished - 2007
Externally publishedYes

Publication series

NameLecture Notes in Computer Science


Dive into the research topics of 'Handling Instance Correspondence in Inter-organisational Workflows'. Together they form a unique fingerprint.

Cite this