BPMN2Constraints: breaking down BPMN diagrams into declarative process query constraints
2023 (English)In: BPM 2023 best dissertation award, doctoral consortium, and demonstration & resources forum: proceedings of the Best dissertation award, doctoral consortium, and demonstration & resources forum at BPM 2023, co-located with 21st International conference on business process management (BPM 2023) / [ed] Dirk Fahland; Andrés Jiménez Ramírez; Akhil Kumar; Jan Mendling; Brian Pentland; Stefanie Rinderle-Ma; Tijs Slaats; Johan Versendaal; Barbara Weber; Mathias Weske; Karol Winter, Aachen: Aachen University , 2023, p. 137-141Conference paper, Published paper (Refereed)
Abstract [en]
This paper presents BPMN2Constraints, a tool that compiles BPMN diagrams into sets of declarative constraints that can then, for example, be used for conformance checking. Notably, BPMN2Constraints does not rely on Petri net replay for generating the constraints; by generating constraints directly from a control flow graph extracted from the BPMN model, the tool avoids indirection. BPMN2Constraints can generate constraints in several languages: DECLARE, finite-trace linear temporal logic, and SIGNAL, a proprietary process querying language.
Place, publisher, year, edition, pages
Aachen: Aachen University , 2023. p. 137-141
Series
CEUR Workshop Proceedings, ISSN 1613-0073 ; 3469
Keywords [en]
Business process management, Declarative constraints, Conformance checking, Process querying
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:umu:diva-214023Scopus ID: 2-s2.0-85172014722OAI: oai:DiVA.org:umu-214023DiVA, id: diva2:1793814
Conference
BPM 2023, 21st International Conference on Business Process Management, Utrecht, the Netherlands, September 11-15, 2023
2023-09-032023-09-032024-06-25Bibliographically approved