| Lerninhalte |
Das Modul führt in Modelle zur formalen Beschreibung von Geschäftsprozessen,
Workflows und Services ein. Es zeigt Möglichkeiten zur Generierung
von Modellen aus praxisrelevanten Beschreibungssprachen und stellt Methoden
zur Lösung wichtiger Probleme auf der Basis formaler Modelle
vor.
Inhalte
• Geschäftsprozesse,Workflows, Ereignisgesteuerte Prozessketten, Aktivitätsdiagramme
• Petrinetze, Workflownetze
• Techniken für Workflownetze: Soundness und ihre Verifikation
• Services und service-orientierte Architekturen
• Die Sprache BPEL und ihre Semantik
• Offene Workflownetze
• Bedienbarkeit und ihre Verifikation
• Bedienungsanleitungen, Public Views und ihre Generierung
• Austauschbarkeit und Migration |
