A Sufficient and Necessary Condition to Decide Compatibility for Simple Circuit Inter-organization Workflow Nets

• Published in: Advances in Services Computing Vol. 10065; pp. 408 - 422
• Main Authors: He, Leifeng, Liu, Guanjun, Wang, Mimi
• Format: Book Chapter
• Language: English
• Published: Switzerland Springer International Publishing AG 01.01.2016; Springer International Publishing
• Series: Lecture Notes in Computer Science
• Subjects: Business process model; Compatibility; Information retrieval; Inter-organization Workflow nets; Similar S-graph; Web services composition
• ISBN: 3319491776; 9783319491776
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-319-49178-3_31

Inter-organization workflow nets (IWF-nets) can well model the interactions among multiple business processes by sending/receiving messages, and their compatibility is a very important property to guarantee that their logical behaviors are correct. Liu and Jiang introduce a class of IWF-nets named SCIWF-nets (simple circuit IWF-nets) to model inter-organizational business processes and this class can model many cases of interactions. In this paper, a necessary and sufficient condition is presented to decide compatibility for SCIWF-nets and it is dependent on the net structures only. This structure-based condition lays a foundation for designing an efficient algorithm to check compatibility of SCIWF-nets.