Forschung

Tablet mit Zeigefinger Foto: Kidsada Manchinda/Moment/Getty Images

Forschungsschwerpunkte

Das Forschungsinteresse des Lehrgebiets konzentriert sich auf die Prozessmodellierung, die sowohl bei der Entwicklung prozessorientierter Individualsoftware als auch beim Einsatz von Standard-Software und Workflow-Systemen eine zunehmend wichtige Rolle spielt. Zu den aktuellen Forschungsschwerpunkten des Lehrgebiets gehören:

  • die Formalisierung und Validierung von Modellen und auch von ihren formalen Anforderungen
  • die Synthese von Systemmodellen aus spezifizierten nicht-sequentiellen Abläufen

Publikationen

Lehrgebiet STTP | 10.05.2024