Forschung

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

• Mehr Informationen zum Thema Forschungsschwerpunkte

Publikationen

• Übersicht Publikationen