Concept and Prototype for a Distributed Workflow Engine for Subject-Oriented Process Models

Note: This work is in principle extensive. However, content and extend for this thesis will scale with the applicant’s level or experience and prowess. (Naturally, less is expected from Bachelor than Masters). Teams are also possible. Please feel free to make an appointment to determine whether this topic is suitable for you.

Initial Situation: The subject-oriented process modeling language PASS is a formal language with precisely defined execution semantics. However, currently there exists only one, severely limited, and monolithic workflow engine for it. At the same time the language, with its core modeling element of different active entities with only loos coupling, conceptually lends itself to being the foundation for a distributed execution system, where every part is responsible to execute only the behavior of a single subject. Each individual part can, in principle, run on the same or on different physical execution machines.

Goal: As the title states, the goal of this thesis is to develop the conceptual foundation and prototype for a distributed workflow engine for Subject-Oriented Process Models.

Next to the workflow engine itself capable of executing a PASS-Behavior Diagram questions regarding secure, verified, and encrypted transport between several instances of individual subject-interpreter machines.

Required Sills:  Fundamental, object-oriented programming skills are necessary and willingness to learn.

Ideal Sills:

- Knowledge in (or willingness to learn) an efficient language like Rust, C#, or Java.
- Knowledge in distributed system Theory and network technology