Title: Monitoring of data-centric business rules and processes
Language: English
Authors: Vegliach, Gil 
Qualification level: Diploma
Advisor: Veith, Helmut
Assisting Advisor: Bauer, Andreas
Issue Date: 2013
Number of Pages: 51
Qualification level: Diploma
Abstract: 
In dieser Arbeit wird eine temporale Logik erster Ordnung eingefuehrt und argumentiert, dass diese als geeignet fuer die Laufzeitverifikation von Geschaeftsprozessen und Android Sicherheitsrichtlinien ist. Desweiteren wird das "Monitoring Problem" in einer solchen Logik vorgestellt und dessen Unentscheidbarkeit unter angemessenenen Annahmen, was ein geeigneter Monitor ist, gezeigt. Obwohl kein vollstaendiger Algorithmus zur Loesung dieses Problems existieren kann, wird eine Konstruktion auf einem neuartigen Automaten Modell basierend dargestellt und dessen Richtigkeit bewiesen. Konkrete Beispiele für Geschaeftsprozess- und Android Szenarien werden im Detail erläutert und diskutiert. Ein Exkurs zum "Model Checking Problem" zeigt den Unterschied unseres Ansatzes zu propositionalem LTL und andere Arbeiten.

A first-order temporal logic is introduced and argued to be suitable for modelling business processes and security policies for Android. The monitoring problem in such logic is introduced and argued to be undecidable under specific and reasonable assumptions underlying any proper monitor. Although no one can hope for a complete monitoring algorithm, a construction based on a novel automata model is depicted and its correctness demonstrated. Concrete examples taking root in the business process and Android framework are laid out and shown in detail.
A digression on the model checking problem displays the difference of our approach from propositional LTL and other work.
Keywords: Geschaeftsregeln; Geschaeftsprozessen; Android; Runtime Verification; Monitoring; Temporale Logik; LTL; LTL erster Ordnung; Buechi automata; JSON
Business Rules; Business Processes; Android; Runtime Verification; Monitoring; Temporal Logic; LTL; First-order LTL; Buechi automata; JSON
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-51955
http://hdl.handle.net/20.500.12708/9451
Library ID: AC07815460
Organisation: E184 - Institut für Informationssysteme 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Files in this item:

Show full item record

Page view(s)

7
checked on May 26, 2021

Download(s)

50
checked on May 26, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.