Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets | IEEE Journals & Magazine | IEEE Xplore

Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets


Abstract:

Recently, cross-department business processes are becoming more and more complex. Different kinds of coordination patterns exist among different departments, which make m...Show More

Abstract:

Recently, cross-department business processes are becoming more and more complex. Different kinds of coordination patterns exist among different departments, which make modeling and analysis work more difficult. To our best knowledge, there is no formal method to give systematic modeling and verification for the cross-department processes when considering different kinds of coordination patterns among different departments. This paper proposes such a method based on Petri nets. The WF-net model extended with resource and message factors, RM_WF_Net for short, is first introduced. Then, the formal model of tasks is proposed and its coordination relations are given. Next, RM_WF_Net modeling for intradepartment processes is investigated and cross-department coordination patterns, including message interaction pattern, resource interaction pattern, task collaboration pattern, procedure abstract, service outsourcing pattern, and process activation pattern, are formally defined. The soundness of the RM_WF_Net is verified based on the reachability graph. A running case of the cross-department medical diagnosis business process is given to validate our proposed method.
Published in: IEEE Transactions on Systems, Man, and Cybernetics: Systems ( Volume: 45, Issue: 2, February 2015)
Page(s): 349 - 362
Date of Publication: 17 July 2014

ISSN Information:

Funding Agency:


References

References is not available for this document.