Abstract
Workflows describe sequences of tasks to achieve goals. These sequences can contain decisions, loops, and parallelisations and are, therefore, similar to computer programs. Experts in the domain of workflow application usually design these workflows. However, these experts are rarely IT experts. For this reason, after automation by a computer, workflows can exhibit undesired behaviors. Such behaviors can be expensive and dangerous and should be avoided. The notion of soundness describes the absence of the undesired behaviors of deadlocks and abundances. The state of the art in workflow verification can detect such behaviors, but gives no indication of causes, does not provide detailed diagnostic information, or is slow. This article introducēs two new compiler-based techniques to find causes of deadlocks and abundances. These techniques provide detailed diagnostic information and have a cubic asymptotic complexity of runtime. Their efficiency and quality is evaluated using a benchmark of over thousand real-world workflows together with two leading state-of-the-art approaches.
Highlights
IntroductionWhether in public authorities, companies, hospitals, or in everyday life
Processes are omnipresent, whether in public authorities, companies, hospitals, or in everyday life
We considered which workflows of the library are marked as unsound by the tools and how many faults/errors the tools find
Summary
Whether in public authorities, companies, hospitals, or in everyday life. It is profitable to recognize, observe, and write down such processes. This contributes to speeding up public authorities, securing corporate goals, and saving the lives of patients in hospitals. When we formally describe processes, they are called workflows and they mainly define a sequence of different tasks to achieve a goal [1], [2]. The patient is examined by a doctor. On the basis of this examination, the doctor decides whether the treatment is simple or not. If it is simple, the doctor will take care of the patient immediately
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Complex Systems Informatics and Modeling Quarterly
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
