Szczegóły publikacji
Opis bibliograficzny
Constraint-based reasoning and analysis for BPM: CSP to the rescue / Alessandro Gianola, Andrey Rivkin, Mateusz ŚLAŻYŃSKI // W: Business Process Management : 23rd international conference, BPM 2025 : Seville, Spain, August 31–September 5, 2025 : proceedings / eds. Arik Senderovich [et al.]. — Cham : Springer Nature Switzerland, cop. 2026. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 16044). — ISBN: 978-3-032-02866-2; e-ISBN: 978-3-032-02867-9. — S. 17–29. — Bibliogr., Abstr. — Publikacja dostępna online od: 2025-08-31
Autorzy (3)
- Gianola Alessandro
- Rivkin Andrey
- AGHŚlażyński Mateusz
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 163340 |
|---|---|
| Data dodania do BaDAP | 2025-10-10 |
| DOI | 10.1007/978-3-032-02867-9_3 |
| Rok publikacji | 2026 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Wydawca | Springer |
| Konferencja | International Conference in Business Process Management 2025 |
| Czasopismo/seria | Lecture Notes in Computer Science |
Abstract
Formal methods have always been an integral part of the BPM lifecycle. They are mathematically grounded techniques used to specify and analyze complex systems with a high degree of precision. In BPM, they help ensure that processes are correctly specified and capable of achieving the intended outcomes, by detecting design flaws and verifying compliance with defined goals. Among these techniques, the Constraint Satisfaction Problem (CSP) stands out as a powerful approach to specifying and solving problems with clearly defined constraints. CSP techniques are known for their high performance, yet a major barrier to broader use lies in the difficulty of defining suitable encodings, which require expert knowledge. Nevertheless, modern tools have made substantial progress in improving CSP accessibility for non-experts. In this paper, we define CSP, motivate its use in BPM, and showcase how two CSP instances, one over Boolean and the other over structured domains, can be used to solve BPM analysis problems via suitable encodings, and then by exploiting state-of-the-art CSP tools. As the main outcome, we would like to motivate the use of CSP-based formal methods and their integration into process analysis.
