1. Generating Correct EPCs from Configured C-EPCs* Jan MendlingVienna University of Economics Jan ReckerQueensland University of Technology Michael RosemannQueensland University of Technology Wil van der Aalst Eindhoven University of Technology * The research on the C-EPC is financially supported by SAP Research.

2. Folie 2 Agenda 1.What is the idea of configurable reference models? 2.What are EPCs, what are Configurable EPCs? 3.How to derive correct EPCs from a configured C-EPC? 4.Conclusion

3. Folie 3 Agenda What is the idea of configurable reference models?

4. Folie 4 From Reference Model of Instantiation

5. Folie 5 Agenda What are EPCs?

6. Folie 6 EPC symbols EPC syntax rules: Alternate functions and events No OR and XOR split after events

7. Folie 7 EPC example from the SAP reference model

8. Folie 8 Agenda What are Configurable EPCs?

9. Folie 9 C-EPC Example Configurable EPC Configured C-EPC

10. Folie 10 Agenda How to derive correct EPCs from a configured C-EPC?

11. Folie 11 Three steps to arrive at minimal model Goal: Calculate Process Graph that is minimal for configured C-EPC Derive Configured Connectors Derive Configured Functions Apply Graph Reduction to Process Graph Proof-of-Concept Implementation: Input: C-EPC in EPC Markup Language (EPML) extension Output: EPC in EPML

12. Folie 12 Derive Configured Connectors

13. Folie 13 Derive Configured Functions

14. Folie 14 Reduce Graph

15. Folie 15 The configurable ‚vicious circle‘ example

16. Folie 16 Derive Configured Functions 1

17. Folie 17 Derive Configured Functions 2

18. Folie 18 Resulting EPC Process Model

19. Folie 19 Resulting EPC Process Model

20. Folie 20 Agenda Conclusion

21. Folie 21 Conclusion Configuration is promising to leverage reuse of reference models Configurable reference models make configuration choices explicit Future research: Tool support within ProM Engineering of configurable models

22. Folie 22 Thank you for your attention!

23. Folie 23 Agenda What are the problems of deriving configured EPC?

24. Folie 24 Example of a C-Function in a Sequence

25. Folie 25 Agenda How to derive configured EPCs?

26. Folie 26 Why XML-based C-EPCs? Have C-EPCs machine-processable for Validation: are requirements met? Transformation: calculate EPC from C-EPC Interchange: separate modeling and deployment

27. Folie 27 Configurable Functions Configurability: mark function as configurable Configuration: assign ON, OPT, or OFF to configurable function

28. Folie 28 Configurable Connectors Configurability: mark connector as configurable Configuration: assign AND, XOR, OR, or SEQ to c-connector depending on c-connector type

29. Folie 29 Further Configurability Aspects Configuration Requirements: constraints on the allowed configuration – must hold true Configuration Guidelines: advises on actual configuration – should hold true Configuration Order: recommended partial order identifying configuration sequences

30. Folie 30 C-EPC Validator based on XSLT

31. Folie 31 Conclusion Configuration is promising to leverage reuse of reference models Configurable reference models make configuration choices explicit Derivation of EPCs from C-EPCs Future research: Tool support Engineering of configurable models

32. Folie 32 Three steps to arrive at minimal model Goal: Calculate Process Graph that is minimal for configured C-EPC Derive Configured Connectors Derive Configured Functions Apply Graph Reduction to Process Graph Proof-of-Concept Implementation: Input: C-EPC in EPC Markup Language (EPML) extension Output: EPC in EPML

33. Folie 33 Derive Configured Connectors

34. Folie 34 Derive Configured Functions

35. Folie 35 Reduce Graph

36. Folie 36 The configurable ‚vicious circle‘ example

37. Folie 37 Derive Configured Functions 1

38. Folie 38 Derive Configured Functions 2

39. Folie 39 Resulting EPC Process Model

40. Folie 40 Resulting EPC Process Model

41. Folie 41 Agenda Conclusion

42. Folie 42 Conclusion Configuration is promising to leverage reuse of reference models Configurable reference models make configuration choices explicit Future research: Tool support Engineering of configurable models