Literatur vom gleichen Autor/der gleichen Autor*in
plus bei Google Scholar

Bibliografische Daten exportieren
 

Detection of Declarative Process Constraints in LTL Formulas

Titelangaben

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