Detection of Declarative Process Constraints in LTL Formulas
Schützenmeier N, Käppel M, Petter S, Schönig S, Jablonski S (2019)
Publication Language: English
Publication Type: Conference contribution, Conference Contribution
Publication year: 2019
Publisher: Springer
Series: Lecture Notes in Business Information Processing
City/Town: Cham
Book Volume: 366
Pages Range: 131-145
Conference Proceedings Title: Enterprise and Organizational Modeling and Simulation 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Selected Papers
Event location: Rom
ISBN: 978-3-030-35645-3
URI: https://link.springer.com/chapter/10.1007/978-3-030-35646-0_10
DOI: 10.1007/978-3-030-35646-0_10
Abstract
Declarative process models consist of temporal constraints that a process must satisfy during execution. Constraint templates are patterns that define parameterized classes of properties. Their semantics can be formalized using formal logics such as Linear Temporal Logic (LTL) over finite traces. There exists a big amount of different constraint templates for different purposes. In practice, the variety of different templates yields complexity and performance issues with regard to model comparison, compliance checking and in particular process mining. In this paper we give a comprehensively overview about existing declare templates and transform their underlying LTL formula into the positive normal form (PNF), a canonical standard form for LTL formulas. On this basis, we present an algorithm for detecting declare templates in any LTL formula fulfilling the conditions for PNF. We reduce the number of process constraints that have to be proven by the algorithm to speed up the runtime and give some advice for further optimizations.
Authors with CRIS profile
Involved external institutions
Germany (DE)How to cite
APA:
Schützenmeier, N., Käppel, M., Petter, S., Schönig, S., & Jablonski, S. (2019). Detection of Declarative Process Constraints in LTL Formulas. In ED - Pergl, Robert Babkin, Eduard Lock, Russell Malyzhenkov, Pavel Merunka, Vojtěch (Eds.), Enterprise and Organizational Modeling and Simulation 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Selected Papers (pp. 131-145). Rom, IT: Cham: Springer.
MLA:
Schützenmeier, Nicolai, et al. "Detection of Declarative Process Constraints in LTL Formulas." Proceedings of the Workshop on Enterprise and Organizational Modeling and Simulation, Rom Ed. ED - Pergl, Robert Babkin, Eduard Lock, Russell Malyzhenkov, Pavel Merunka, Vojtěch, Cham: Springer, 2019. 131-145.
BibTeX: Download