DBIS EPub

Designing and Implementing a Modeling and Verification Tool for Object-aware Processes

Rotter, Florian (2016) Designing and Implementing a Modeling and Verification Tool for Object-aware Processes. Masters thesis, Ulm University.

[img] PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
905Kb

Abstract

This master’s thesis focuses on the modeling component of PHILharmonicFlows. This component had to be reworked based on the Universal Windows Platform. Therefore the thesis explains the design and the implementation itself. The rework was needed to ensure that the framework can be used in the future and also to be able to use the modeling tool on different devices. The design focuses especially on the expressions and the roles and permissions. While all points did exist in previous versions they were not satisfying for the user. Therefore the original concept was adapted and extended. For the expressions a new concept was created that allows the modeler to create expressions that are understandable by the system. While the expression-modeling is completely free it is guided at the same time and errors are automatically prevented whenever this is possible. In case of the roles and permissions the old concept allowed the user to see and adapt them in a table. This table was not very intuitive and the user had to invest much time to understand the whole concept. This was simplified in the course of this thesis. The goal was to give the modeler an understandable way to set and adapt roles as well as permissions. To achieve this goal the input of both was shifted from the table to the single objects they belong to. This way the user can adapt them better. Furthermore the verification process has been analyzed and an example of how the verification can be done and a way for errors to be reported to the user was built to demonstrate the applicability. It is important to note that although there is only a single verification running at the moment the concept is built so that it can be extended in the future without any problems.

Item Type:Thesis (Masters)
Subjects:DBIS Research > Master and Phd-Thesis
ID Code:1428
Deposited By: Herr Andrews Kevin
BibTex Export:BibTeX
Deposited On:27 Oct 2016 15:00
Last Modified:27 Oct 2016 15:00

Repository Staff Only: item control page