Please disable Adblockers and enable JavaScript for domain CEWebS.cs.univie.ac.at! We have NO ADS, but they may interfere with some of our course material.

VU Workflow Technologies (052513)

• LV: Stefanie Rinderle-Ma, «Juergen Mangler», «Patrik Koenig» 
  • contact only through Forum, NOT via mail or phone 
• Tutor: «Amolkirat Singh Mangat» 

FAQ Regarding Organsisation

• Verpflichtende Vorbesprechung? Siehe «u:find» 
• Orte und Zeiten? Siehe «u:find» 
• Anwesenheitspflicht? Nein 

FAQ Regarding Content

• Beurteilung und weitere Informationen? Siehe «u:find». 
• Deadlines fuer Abgaben? Werden in Praesenzeinheiten gemeinsam festgelegt. 
• Wie finde ich raus ob Deadlines oder Abgaben eingetragen wurden (wenn ich nicht anwesend war)? Ich schaue auf dieser Webseite nach. 
• Wie kriege ich Mitarbeitspunkte? In dem ich mich bei Fragen melde, an die Tafel komme, im Forum inhaltliche Fragen beantworte oder über normale Aufgabenstellungen hinausgehende Beiträge leiste. 
• Kriege ich wenn ich praesentiere Punkte? Nein. 
• Soll ich praesentieren wenn ich Fehler in der Abgabe habe? Ja (Mitarbeitspunkte für andere Studierende sind möglich). 
• Soll ich praesentieren wenn meine Abgabe perfekt ist? Ja. Aus der Diskussion der Abgabe könnten Mitarbeitspunkte für alle Beteiligten entstehen. 

Dates

Assignments

Resources

Chapter 1

• Introduction Slides  
• Video Lecture 
  • «Introduction» 
  • «Motivation» 
  • «Examples of a Process Aware Information System» 
  • «Characteristics of Process Aware Information Systems» 
  • «Terminology» 

Chapter 2

• Process Modeling Slides  
• Video Lecture 
  • «Introduction» 
  • «Business Process Reengineering» 
    • «Process Analysis» 
    • «Process Deployment» 
  • «Semantic Business Process Modeling Notations» 
    • «Information-flow-oriented approach» 
    • «Petri-Net-based approach» 
    • «Event-driven process chains» 
    • «Business Process Modeling Notation (BPMN)» 
    • «Methods of Semantic Business Process Modeling» 
  • «Quality of Business Process Models» 
  • «Analysis and Optimization of Business Process Models» 

Chapter 3

• Workflow Verification Slides 
• Video Lecture 
  • «Introduction» 
  • «Event/Condition-Nets» 
  • «Place/Transition-Nets»  
  • «Analysis of PT nets / Reachability Analysis» 
  • «Definition of safeness, boundness and liveness» 
  • «High Level Petri Nets» 
  • «Workflow Nets» 
  • «Soundness Notions and Analysis» 

Chapter 4

• Process Execution Slides 
• Video Lecture 
  • «Introduction» 
  • «Core components and their dependencies of a workflow management system.» 
  • «Workflow Implementation & Application Integration» 
  • «Definition of Workflow Model/Schema» 
  • «Definition and overview on aspects of workflow modelling languages.» 
  • «Well-Structured Marking-Nets (WSM-Nets)» 
    • «Detailled discussion of control flow (behavioural aspect)» 
    • «Detailled discussion on data flows (information aspects)» 
  • «Activity Nets» 
  • «Workflow Enactment Service / Workflow Engine» 
  • «Worklist Management and Application Invocation» 

VirtualBox Images

Experiments