Temporal Workflows mit Start/End Events, non-contingent Activities und upper-bound constraints

Unsere Temporal Workflows betrachten derzeit nur die End-Events von Workflow Aktivitäten, so können z.B. Time Constraints nur zwischen den End-Events von Aktivitäten deklariert werden. Außerdem werden bisher nur “contingent Activities” betrachtet. Ziel der Arbeit ist die Erweiterung des formalen Apparats auf “non-contingent” Activities und auf Start- und End-Events.

Erwartete Ergebnisse:

  • Erweiterung des formalen Apparats/der Algorithmen (zur Berechnung des Timed Graphs)
  • Implementierung (Erweiterung des bestehenden Frameworks)

 

Contact: Prof. Johann Eder

83. ZUG-Minisymposium mit Michael Wagreich

Das Zentrum für Umweltgeschichte (ZUG) lädt zu folgender Veranstaltung:

Das Anthropozän – ein neues (geologisches) Erdzeitalter?

 

Präsentation:

Ao. Univ. Prof. Dr. Michael Wagreich

Department für Geodynamik und Sedimentologie, Universität Wien

 

Einleitung:
Assoc. Prof. Mag. Dr. Martin Schmid
Zentrum für Umweltgeschichte, Institut für Soziale Ökologie, Alpen-Adria-Universität Klagenfurt Read more →

Martin Pinzger has been elevated to an IEEE Senior Member.

Martin Pinzger has been elevated to an IEEE Senior Member. IEEE is one of the world’s largest professional associations for the advancement of technology. Only less than 9% of the more than 400,000 members hold this grade, which requires significant professional maturity and achievements.

Martin joined IEEE as a student member in 2001 and since then has been serving on the program committee of several major IEEE conferences in software engineering, such as ICSE, ASE, and FSE. He also served as the general chair of the IEEE SANER 2017.

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)

Contact: Prof. Johann Eder