A Correctness Checking Approach for Collaborative Business Processes in the Cloud
المؤلفون المشاركون
Mo, Qi
Wang, Yuqi
Xiang, Jixiang
Li, Tong
المصدر
العدد
المجلد 2020، العدد 2020 (31 ديسمبر/كانون الأول 2020)، ص ص. 1-11، 11ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2020-02-11
دولة النشر
مصر
عدد الصفحات
11
التخصصات الرئيسية
الملخص EN
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.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Mo, Qi& Wang, Yuqi& Xiang, Jixiang& Li, Tong. 2020. A Correctness Checking Approach for Collaborative Business Processes in the Cloud. Complexity،Vol. 2020, no. 2020, pp.1-11.
https://search.emarefa.net/detail/BIM-1140008
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Mo, Qi…[et al.]. A Correctness Checking Approach for Collaborative Business Processes in the Cloud. Complexity No. 2020 (2020), pp.1-11.
https://search.emarefa.net/detail/BIM-1140008
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Mo, Qi& Wang, Yuqi& Xiang, Jixiang& Li, Tong. A Correctness Checking Approach for Collaborative Business Processes in the Cloud. Complexity. 2020. Vol. 2020, no. 2020, pp.1-11.
https://search.emarefa.net/detail/BIM-1140008
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1140008
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر