Advanced Temporal Worklow Patterns

Unsere Temporal Workflows unterstützen derzeit nur folgende Kontroll­strukturen: Sequenzen, XOR, und AND.  Ziel der Arbeit ist die Evaluierung und wenn möglich Integration von weiteren Control Flow Patterns in diese temporalen Workflows.

Erwartete Ergebnisse:

• Evaluierung der Anwendbarkeit von Advanced Patterns (ausgenommen: Multi-Instance Patterns, Loops)
• Untersuchung der Auswirkung auf die (Dynamic) Controllability und Erweiterung der Definitionen
• Erweiterung des formalen Apparats/der Algorithmen (zur Berechnung des Timed Graphs)

Implementierung (Erweiterung des bestehenden Frameworks)

Kontakt: Prof. Johann Eder