Formalisierung von BPMN

• Spezifikation der Transformation von XPDL in BPMN-Pattern
• basiert auf den Ideen von B. Thalheim und E. Börger
  Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
• Ziel:
  • Mapping XPDL to ASM
  • Ziel: Analyse der Semantik von BPMN
  • Rapid Prototyping - Stimmt die Spezifikation?
• Ausgangssprache: XML (XPDL)
• Zielsprache: Abstract State Machine
• Transformationsprozess - Formal mit Hilfe der Prädikatenlogik
• Transformationsprozess - pragmatisch: XSLT