Conformance checking and diagnosis for declarative business process models in data-aware scenarios |
| |
Affiliation: | 1. Faculty of Computer Science, Otto-von-Guericke University Magdeburg, Universitätsplatz 2, D-39106 Magdeburg, Germany;2. Institute for Community Medicine, Ernst-Moritz-Arndt University Greifswald, Walther-Rathenau-Straße 48, D-17475 Greifswald, Germany;3. Institute for Diagnostic Radiology and Neuroradiology, Ernst-Moritz-Arndt University Greifswald, Sauerbruchstraße, D-17487 Greifswald, Germany;1. Computer Science Department, Federal University of Maranhão (UFMA), São Luís, MA, Brazil;2. Department of Informatics, University of Minho, Braga, Portugal;1. University of Pannonia, Department of Process Engineering, P.O. Box 158, Veszpreém H-8200, Hungary;2. The Finnish Microarray and Sequencing Centre, Turku Centre for Biotechnology, University of Turku and Åbo Akademi University, Tykistökatu 6A, 20520 Turku, Finland;1. Department of Computer Science and Statistics (DCCE), São Paulo State University (UNESP), São José do Rio Preto, SP, Brazil;2. Faculty of Computation (FACOM), Federal University of Uberlândia (UFU), Uberlândia, MG, Brazil;3. Center of Mathematics, Computing and Cognition, Federal University of ABC (UFABC), Santo André, SP, Brazil;4. Federal Institute of Triângulo Mineiro (IFTM), Ituiutaba, MG, Brazil;5. Transdisciplinary Center for Study of Chaos and Complexity (NUTECC), São José do Rio Preto Medical School, São José do Rio Preto, SP, Brazil;6. Kidney Transplant Surgical Service, Base Hospital, Fundação Faculdade Regional de Medicina (FUNFARME), São José do Rio Preto, SP, Brazil;7. Pathologic Anatomy Service, Base Hospital, Fundação Faculdade Regional de Medicina (FUNFARME), São José do Rio Preto, SP, Brazil;1. Department of Informatics, Universidad Técnica Federico Santa María, Avenida España 1680, Valparaíso, Chile;2. Intelligent Systems Laboratory, University of Bristol, MVB, Woodland Rd, Bristol, BS8 1UB, UK;1. Institut Guttmann, Hospital de Neurorehabilitació, Cami Can Ruti s/n, 08916 Badalona, Barcelona, Spain;2. Departament d’Estadística i Investigació Operativa, Universitat Politècnica de Catalunya – BarcelonaTech, Jordi Girona 1-3, 08034 Barcelona, Spain |
| |
Abstract: | A business process (BP) consists of a set of activities which are performed in coordination in an organizational and technical environment and which jointly realize a business goal. In such context, BP management (BPM) can be seen as supporting BPs using methods, techniques, and software in order to design, enact, control, and analyze operational processes involving humans, organizations, applications, and other sources of information. Since the accurate management of BPs is receiving increasing attention, conformance checking, i.e., verifying whether the observed behavior matches a modelled behavior, is becoming more and more critical. Moreover, declarative languages are more frequently used to provide an increased flexibility. However, whereas there exist solid conformance checking techniques for imperative models, little work has been conducted for declarative models. Furthermore, only control-flow perspective is usually considered although other perspectives (e.g., data) are crucial. In addition, most approaches exclusively check the conformance without providing any related diagnostics. To enhance the accurate management of flexible BPs, this work presents a constraint-based approach for conformance checking over declarative BP models (including both control-flow and data perspectives). In addition, two constraint-based proposals for providing related diagnosis are detailed. To demonstrate both the effectiveness and the efficiency of the proposed approaches, the analysis of different performance measures related to a wide diversified set of test models of varying complexity has been performed. |
| |
Keywords: | Business process management Process mining Conformance checking Diagnosis Declarative business process models Constraint programming |
本文献已被 ScienceDirect 等数据库收录! |
|