Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns

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 paper 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 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 is 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 cross-organizational workflow with task synchronization patterns. Its core idea is to use local correctness of each sub-organizational workflow process to guarantee its global correctness. We proved that the proposed approach can be used to investigate the behavioral property preservation when synthesizing sub-organizational workflows via collaborative tasks. A medical diagnosis running case is used to illustrate the applicability of the proposed approaches. Note to Practitioners-Cross-organizational workflow verification techniques play an increasingly important role for ensuring correct execution of collaborative enterprise businesses. This work addresses the issue of correctness verification for loosely-coupled interactive workflows with collaborative tasks. To ensure the globally correct execution, a behavioral correctness verification approach is established. All proposed concepts and techniques are supported by open-source tools and evaluation over a medical

Web Service Instant Recommendation for Sustainable Service Mashup

“…How to combine the machine learning techniques, especially the deep learning techniques, to achieve more accurate and efficient service recommendation, is an important issue of the future work. In addition, the execution of composed services can be regarded as a business process, advanced process modeling and analysis techniques, e.g., [39][40][41], can be applied for service behavior analysis.…”

Trust Mining: Analyzing Trust in Collaborative Business Processes

“…[28]. With that, different instances of x-aware BPM have been proposed over time, including but not limited to context-aware BPM [29], risk-aware BPM [30], cost-aware BPM [31], quality-aware BPM [32], privacy-aware BPM [33]- [35], and sustainabilityaware BPM [36].…”

Mining Emergency Event Logs to Support Resource Allocation

“…This section formalizes emergency response processes with resource and time attributes. Petri nets are widely used to model service-oriented processes [21], [22], software processes [23]- [25], [35], business processes [26], [27], [33], [34], [36], emergency response processes [6], [7], [28]. Basic concepts and notations on Petri nets are reviewed following [29].…”