bei Google ScholarTitelangaben
Schützenmeier, Nicolai ; Käppel, Martin ; Petter, Sebastian ; Schönig, Stefan ; Jablonski, Stefan:
Detection of Declarative Process Constraints in LTL Formulas.
In: Pergl, Robert ; Babkin, Eduard ; Lock, Russell ; Malyzhenkov, Pavel ; Merunka, Vojtěch
(Hrsg.):
Enterprise and Organizational Modeling and Simulation. -
Cham
: Springer
,
2019
. - S. 131-145
. - (Lecture Notes in Business Information Processing
; 366
)
ISBN 978-3-030-35646-0
DOI: https://doi.org/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.
Weitere Angaben
| Publikationsform: | Aufsatz in einem Buch |
|---|---|
| Begutachteter Beitrag: | Ja |
| Institutionen der Universität: | Fakultäten > Fakultät für Mathematik, Physik und Informatik > Institut für Informatik > Lehrstuhl Angewandte Informatik IV > Lehrstuhl Angewandte Informatik IV - Univ.-Prof. Dr.-Ing. Stefan Jablonski Fakultäten Fakultäten > Fakultät für Mathematik, Physik und Informatik Fakultäten > Fakultät für Mathematik, Physik und Informatik > Institut für Informatik Fakultäten > Fakultät für Mathematik, Physik und Informatik > Institut für Informatik > Lehrstuhl Angewandte Informatik IV |
| Titel an der UBT entstanden: | Ja |
| Themengebiete aus DDC: | 000 Informatik,Informationswissenschaft, allgemeine Werke 000 Informatik,Informationswissenschaft, allgemeine Werke > 004 Informatik |
| Eingestellt am: | 21 Nov 2019 08:41 |
| Letzte Änderung: | 28 Jan 2022 08:42 |
| URI: | https://eref.uni-bayreuth.de/id/eprint/53362 |