Login (DCU Staff Only)
Login (DCU Staff Only)

DORAS | DCU Research Repository

Explore open access research and scholarly works from DCU

Advanced Search

Privacy-preserving behavioral correctness verification of cross-organizational workflow with task synchronization patterns

Liu, Cong orcid logoORCID: 0000-0002-5999-2126, Zeng, QingTian orcid logoORCID: 0000-0002-6421-8223, Cheng, Long orcid logoORCID: 0000-0003-1638-059X, Duan, Hua, Zhou, MengChu orcid logoORCID: 0000-0002-5408-8752 and Cheng, JiuJun orcid logoORCID: 0000-0001-5176-4762 (2020) Privacy-preserving behavioral correctness verification of cross-organizational workflow with task synchronization patterns. IEEE Transactions on Automation Science and Engineering, 18 . pp. 1-12. ISSN 1545-5955

Abstract
Workflow management technology has become a key means to improve enterprise productivity. More and more workflow systems are crossing organizational boundaries and may involve multiple interacting organizations. This article focuses on a type of loosely coupled workflow architecture with collaborative tasks, i.e., each business partner owns its private business process and is able to operate independently, and all involved organizations need to be synchronized at a certain point to complete certain public tasks. Because of each organization's privacy consideration, they are unwilling to share the business details with others. In this way, traditional correctness verification approaches via reachability analysis are not practical as a global business process model is unavailable for privacy preservation. To ensure its globally correct execution, this work establishes a correctness verification approach for the cross-organizational workflow with task synchronization patterns. Its core idea is to use local correctness of each suborganizational workflow process to guarantee its global correctness. We prove that the proposed approach can be used to investigate the behavioral property preservation when synthesizing suborganizational workflows via collaborative tasks. A medical diagnosis running case is used to illustrate the applicability of the proposed approaches.
Metadata
Item Type:Article (Published)
Refereed:Yes
Uncontrolled Keywords:Task analysis; Synchronization;Organizations; Petri nets;Privacy; Standards organizations; Behavioral correctness verification; business privacy preservation; cross-organizational workflow; discrete event systems; Petri nets;task synchronization pattern.
Subjects:Computer Science > Computer engineering
Computer Science > Computer security
DCU Faculties and Centres:DCU Faculties and Schools > Faculty of Engineering and Computing > School of Computing
Research Initiatives and Centres > INSIGHT Centre for Data Analytics
Publisher:IEEE
Official URL:http://dx.doi.org/10.1109/TASE.2020.2993376
Copyright Information:© 2020 IEEE
Use License:This item is licensed under a Creative Commons Attribution-NonCommercial-Share Alike 3.0 License. View License
Funders:Science Foundation of China; Science and Technology Development Fund of Shandong Province, Taishan Scholars Program of Shandong Province; Shandong University of Science and Technology Research Fund
ID Code:24733
Deposited On:03 Jul 2020 11:00 by Long Cheng . Last Modified 11 Nov 2020 16:01
Documents

Full text available as:

[thumbnail of CorrectnessVerification.pdf]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
934kB
Downloads

Downloads

Downloads per month over past year

Archive Staff Only: edit this record