Ensuring the correctness of adaptive business processes: a systematic literature review Online publication date: Wed, 15-Apr-2020
by Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem
International Journal of Computer Applications in Technology (IJCAT), Vol. 62, No. 3, 2020
Abstract: Adaptability in process management systems is gaining an increasing attention to satisfy the variable enterprise requirements. This concept has been recognised by the process community for a long time and various approaches in this area have been developed so far. In this context, one of the most difficult challenges is to ensure that change operations are applied correctly and do not cause any inconsistencies. This paper presents a survey that examines the existing studies ensuring the correctness of process changes. Our survey follows the guidelines of Systematic Literature Review (SLR). It provides a comparison of the existing approaches based on some criteria such as verified properties, modelling languages and verification tools. Finally, we highlight some recommendations and possible future researches which need further investigations. So, throughout this present paper, we provide information for researchers and developers to understand the contributions and challenges of the current studies to pave the way for improving their solution.
Online publication date: Wed, 15-Apr-2020
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Computer Applications in Technology (IJCAT):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email firstname.lastname@example.org