A Correctness Checking Approach for Collaborative Business Processes in the Cloud
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...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2020-01-01
|
| Series: | Complexity |
| Online Access: | http://dx.doi.org/10.1155/2020/2751084 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832551006584438784 |
|---|---|
| author | Qi Mo Yuqi Wang Jixiang Xiang Tong Li |
| author_facet | Qi Mo Yuqi Wang Jixiang Xiang Tong Li |
| author_sort | Qi Mo |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-c8f5f3b7356641118d99f5aee58cccc3 |
| institution | Kabale University |
| issn | 1076-2787 1099-0526 |
| language | English |
| publishDate | 2020-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Complexity |
| spelling | doaj-art-c8f5f3b7356641118d99f5aee58cccc32025-02-03T06:05:15ZengWileyComplexity1076-27871099-05262020-01-01202010.1155/2020/27510842751084A Correctness Checking Approach for Collaborative Business Processes in the CloudQi Mo0Yuqi Wang1Jixiang Xiang2Tong Li3School of Software, Yunnan University, Kunming 650091, ChinaSchool of Software, Yunnan University, Kunming 650091, ChinaSchool of Software, Yunnan University, Kunming 650091, ChinaSchool of Big Data, Yunnan Agricultural University, Kunming 650091, ChinaWith 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.http://dx.doi.org/10.1155/2020/2751084 |
| spellingShingle | Qi Mo Yuqi Wang Jixiang Xiang Tong Li A Correctness Checking Approach for Collaborative Business Processes in the Cloud Complexity |
| title | A Correctness Checking Approach for Collaborative Business Processes in the Cloud |
| title_full | A Correctness Checking Approach for Collaborative Business Processes in the Cloud |
| title_fullStr | A Correctness Checking Approach for Collaborative Business Processes in the Cloud |
| title_full_unstemmed | A Correctness Checking Approach for Collaborative Business Processes in the Cloud |
| title_short | A Correctness Checking Approach for Collaborative Business Processes in the Cloud |
| title_sort | correctness checking approach for collaborative business processes in the cloud |
| url | http://dx.doi.org/10.1155/2020/2751084 |
| work_keys_str_mv | AT qimo acorrectnesscheckingapproachforcollaborativebusinessprocessesinthecloud AT yuqiwang acorrectnesscheckingapproachforcollaborativebusinessprocessesinthecloud AT jixiangxiang acorrectnesscheckingapproachforcollaborativebusinessprocessesinthecloud AT tongli acorrectnesscheckingapproachforcollaborativebusinessprocessesinthecloud AT qimo correctnesscheckingapproachforcollaborativebusinessprocessesinthecloud AT yuqiwang correctnesscheckingapproachforcollaborativebusinessprocessesinthecloud AT jixiangxiang correctnesscheckingapproachforcollaborativebusinessprocessesinthecloud AT tongli correctnesscheckingapproachforcollaborativebusinessprocessesinthecloud |