Event-based failure prediction in distributed business processes

Borkowski, Michael; Fdhila, Walid; Nardelli, Matteo; Rinderle-Ma, Stefanie; Schulte, Stefan

doi:10.1016/j.is.2017.12.005

Cited by 35 publications

(14 citation statements)

References 63 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Since public collaboration processes cannot be available at present [28], in [21], we build a case set that contains 30 diverse and practical collaboration processes from available resources such as research papers (e.g., [6-8, 10, 11, 29]) and other online materials (e.g., the official website of BPMN). Additionally, based on the 7PMG guideline [30], we also confirm that these cases are reasonable for our experiments, as each collaboration process in the case set contains approximately 50 activities and this is roughly consistent with the tasks involved in the actual process.…”

Section: Casesmentioning

confidence: 99%

A Correctness Checking Approach for Collaborative Business Processes in the Cloud

Wang

Xiang

et al. 2020

Complexity

View full text Add to dashboard Cite

With the increasing popularity of cloud computing, especially the emergence of Business Process as a Service (BPaaS), more and more enterprises construct their process collaborations based on BPaaS services. Indeed, the collaborative business process built by BPaaS services can be seen as a complex system, as it covers multiple business processes (i.e., BPaaS services) and they act independently. Since business processes corresponding to BPaaS services are usually provided by different cloud service providers, and their interactions are unforeseen in advance, in actual execution, some behavioral anomalies (e.g., deadlocks) may occur. To this end, based on BPaaS services, we propose an approach to build process collaborations in the cloud. In this approach, we first model collaborative business processes using open nets. Then, we check their correctness based on stubborn sets. Finally, in case they are partially correct, we generate reliable paths for the coordination execution between business processes. Our approach is implemented in the PIPE (an open tool for Petri nets) and evaluated on actual cases that show its effectiveness and efficiency.

show abstract

Section: Casesmentioning

confidence: 99%

A Correctness Checking Approach for Collaborative Business Processes in the Cloud

Wang

Xiang

et al. 2020

Complexity

View full text Add to dashboard Cite

show abstract

“…Currently, there are no public collaborative business processes available for experiments [18]. Yet, in order to validate the applicability and effectiveness of our approach, we choose 30 real-world cases from existing research papers and the BPMN case base (http://www.bpmn.…”

Section: B Experimentsmentioning

confidence: 99%

A Correctness Enforcement Approach for Collaborative Business Processes

Bai

Dai

et al. 2019

IEEE Access

View full text Add to dashboard Cite

Collaborative business processes are indeed complex and difficult to be correctly designed as business processes involved in them are typically developed by different participating organizations and there is no way to foresee all potential interactions at design time. To this end, we propose a novel correctness enforcement approach for collaborative business processes. In this approach, given an original process, we first propose an algorithm for automatically detecting its correctness. Then, in case the original process is partially correct, we prune it to generate its core. The core captures all legal traces in the original process. Finally, an enforced process is yielded from the core through coordination mapping (i.e., inserting additional coordination activities into original processes). Our approach is implemented as a prototype tool called cet (a correctness enforcement tool for collaborative business processes), and a series of experiments is conducted to validate the applicability and effectiveness of the proposed approach. INDEX TERMS Collaborative business process, correctness, core, minimization, coordination mapping. I. INTRODUCTION Business processes are the main asset of enterprises as they describe their value chain and fundamentally define the ''way, businesses are done'' [1]-[3]. Unlike traditional business processes that are limited to a single organization, collaborative business processes cross boundaries of organizations, and have the capability of gathering a set of business processes with complementary competencies and knowledge to cooperate to achieve more business successes [4]-[5]. Currently, they have been applied in multiple industries. Some prominent examples are enterprise information systems based on PAIS (Process-Aware Information Systems) [6], e-commerce business processes [7], [8], and medical business processes [9]. Yet, business processes gathered in the collaborative business process are developed independently by different organizations. Due to autonomy reasons, i.e., each participating organization acts independently and is not obliged to reveal its own private information (or process) to other parties, there The associate editor coordinating the review of this manuscript and approving it for publication was Aakash Ahmad.

show abstract

“…Currently, there are no public collaborative business processes available for experiments [27]. Yet, in order to evaluate the analytical effectiveness of our approach more generally, we choose 60 real-world cases (such as a booking system, a risk management process, and an emergency management system) from existing research papers and the BPMN case base (http://www.bpmn.org/) for experiments.…”

Section: Efficiency Evaluationmentioning

confidence: 99%

Development of Private Processes: A Refinement Approach

Dai

Liu

et al. 2019

IEEE Access

View full text Add to dashboard Cite

Private processes are the basis to construct the collaborative business processes, and their correctness has a direct impact on the correctness of collaborative business processes. Thus, the modeling and correctness of private processes is a key issue that business designers should consider at design time.To this end, we propose an approach for constructing correct private processes in a refinement manner. In this approach, we first present a formal model for private processes and abstract the control flow of the model into four basic blocks. Then, we derive a set of refinement rules for the four basic blocks and present an approach that relies on the refinement rules for constructing correct private processes. Finally, we prove that the private process established by our approach is correct at the syntax and semantic levels, and thus a subsequent correctness verification is avoided. Our approach is validated through a case study, and the results show that the approach is more effective than the existing work in terms of modeling private processes.

show abstract

Event-based failure prediction in distributed business processes

Cited by 35 publications

References 63 publications

A Correctness Checking Approach for Collaborative Business Processes in the Cloud

A Correctness Checking Approach for Collaborative Business Processes in the Cloud

A Correctness Enforcement Approach for Collaborative Business Processes

Development of Private Processes: A Refinement Approach

Contact Info

Product

Resources

About