a university for the world real r © 2009, chapter 14 epcs jan mendling
TRANSCRIPT
![Page 1: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/1.jpg)
a university for the worldrealR
WW LLLYYY AA
© 2009, www.yawlfoundation.org YYY
Chapter 14EPCs
Jan Mendling
![Page 2: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/2.jpg)
a university for the worldrealR
2WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
Agenda
• Introduction to EPCs• Mapping EPCs to YAWL• Mapping YAWL to EPCs• Transformation based on Reachabilty Graph
![Page 3: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/3.jpg)
a university for the worldrealR
3WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
EPC Background
• Event-Driven Process Chains (EPCs) have been invented in joint research project by IWi Saarbrücken and SAP in the early 1990s
• EPCs are part of the ARIS (Architecture of Integrated Information Systems) methodology defined by Scheer
• They are promoted by respective ARIS modeling tool family distributed by IDS Scheer AG
• EPCs are used in many large scale industry projects where the ARIS software of IDS Scheer is used
• EPCs are used a.o. as the language of the SAP Reference Model
![Page 4: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/4.jpg)
a university for the worldrealR
4WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
Introduction to EPCs
• Functions • Events• Connectors (and,xor,or)• Control flow arcs
![Page 5: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/5.jpg)
a university for the worldrealR
5WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
EPC Semantics: Transition Relation
Cuntz, Kindler, 2004
(a) (b)
(c) (d)
(e) (f)
5
![Page 6: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/6.jpg)
a university for the worldrealR
6WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
EPC Semantics: Transition Relation II
(g) (h)
Non-local semantics
6
![Page 7: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/7.jpg)
a university for the worldrealR
7WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
Workflow Pattern Support
![Page 8: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/8.jpg)
a university for the worldrealR
8WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
Mapping EPCs to YAWL Challenges
• State representationThere is no direct counterpart for YAWL conditions in EPCs
• Connector chainsThere can be several connectors in a row while in YAWL splits and joins are part of tasks
• Multiple start and end eventsEPCs can have multiple start and end events while YAWL requires one unique start and one unique end
![Page 9: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/9.jpg)
a university for the worldrealR
9WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
Mapping EPCs to YAWL
![Page 10: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/10.jpg)
a university for the worldrealR
10WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
Mapping EPCs to YAWL (Cont.)
![Page 11: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/11.jpg)
a university for the worldrealR
11WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
Mapping YAWL to EPCs Challenges
• Free choice propertyEPCs are free choice while YAWL can have non-free choice behavior
• Multiple instantiationYAWL offers multiple instantiation, EPCs do not
• CancellationYAWL offers cancellation, EPCs do not
• SyntaxIn EPCs functions and events have to alternate
![Page 12: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/12.jpg)
a university for the worldrealR
12WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
Mapping YAWL to EPCs
![Page 13: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/13.jpg)
a university for the worldrealR
13WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
Mapping YAWL to EPCs
![Page 14: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/14.jpg)
a university for the worldrealR
14WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
Non-free choice behavior
non-free choice
![Page 15: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/15.jpg)
a university for the worldrealR
15WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
A corresponding EPC
free choice
![Page 16: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/16.jpg)
a university for the worldrealR
16WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
Different YAWL, same EPC
![Page 17: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/17.jpg)
a university for the worldrealR
17WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
A YAWL condition and two EPC connectors
![Page 18: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/18.jpg)
a university for the worldrealR
18WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
Transformation using synthesis
• Take YAWL • Calculate Reachability Graph• Synthesize EPC
• Take EPC• Calculate Reachability Graph• Synthesize YAWL
![Page 19: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/19.jpg)
a university for the worldrealR
19WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
Reachability Graph
![Page 20: A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling](https://reader036.vdocuments.mx/reader036/viewer/2022062322/56649dc35503460f94ab60b1/html5/thumbnails/20.jpg)
a university for the worldrealR
20WW LLLYYY AA
YYYYY
© 2009, www.yawlfoundation.org
Summary
• EPCs are heavily used in industry practice• A mapping to YAWL is rather straight-forward• A mapping from YAWL to EPCs is challenging due to
missing non-free-choice, cancellation and multiple instance support
• A behavior-preserving transformation is possible using the reachability graph and synthesis techniques.