220 likes | 345 Views
Transformation of yEPC Business Process Models to YAWL. Jan Mendling Vienna University of Economics Michael Moser Vienna University of Economics Gustaf Neumann Vienna University of Economics. Agenda. What is the Motivation of this transformation? What EPC extensions do yEPCs introduce?
E N D
Transformation of yEPC Business Process Models to YAWL Jan Mendling Vienna University of Economics Michael Moser Vienna University of Economics Gustaf Neumann Vienna University of Economics
Agenda • What is the Motivation of this transformation? • What EPC extensions do yEPCs introduce? • Differences between yEPCs and YAWL • Conclusion and Future Research ACM SAC - Model Transformation Track
Agenda What is the motivation of this transformation? ACM SAC - Model Transformation Track
Business Process and Workflow Modeling EPCs YAWL ACM SAC - Model Transformation Track
Motivation of yEPCs to YAWL transformation • Lots of business process models are available as EPCs • YAWL is a workflow language with • Execution semantics and • Verification tools • Transformation provides formal semantics of YAWL for yEPCs ACM SAC - Model Transformation Track
yEPC symbols ACM SAC - Model Transformation Track
EPC example from the SAP reference model Function Connector Events ACM SAC - Model Transformation Track
YAWL Notation ACM SAC - Model Transformation Track
YAWL Model for Customer Inquiry ACM SAC - Model Transformation Track
Application of the transformation ACM SAC - Model Transformation Track
Agenda What EPC extensions do yEPCs introduce? ACM SAC - Model Transformation Track
Workflow Patterns Support of EPCs • 20 Workflow Patterns as benchmark • EPCs cannot express: • Deferred choice • Multiple instantiation • State-based patterns • Cancellation patterns ACM SAC - Model Transformation Track
yEPC symbols ACM SAC - Model Transformation Track
Interleaved Parallel Routing ACM SAC - Model Transformation Track
Agenda What are the differences between yEPC and YAWL? ACM SAC - Model Transformation Track
Differences yEPC and YAWL ACM SAC - Model Transformation Track
Multiple Start and End Events ACM SAC - Model Transformation Track
Connector Chains ACM SAC - Model Transformation Track
Events and State Representation ACM SAC - Model Transformation Track
Agenda Conclusion and Future Work ACM SAC - Model Transformation Track
Conclusion Conclusion • yEPC-based modelling of all workflow patterns • yEPC execution semantics via mapping to YAWL • Verification of EPCs using YAWL analysis tools ACM SAC - Model Transformation Track
Application of the transformation 34 of 603 EPC models had formal errors (deadlock, lifelock, etc.) ACM SAC - Model Transformation Track