Towards Workflow Pattern Support of Event-Driven Process Chains (EPC)

Towards Workflow Pattern Support ofEvent-Driven Process Chains (EPC)

Jan Mendling, Gustaf NeumannDept. of IS and New Media, WU Wien, Austria

Markus NüttgensChair of ISHWP Hamburg, Germany

LV 1734 - Vertiefungskurs Neue Medien - Collaborative SystemsFolie 2

Agenda

1. Introduction

2. Supported Patterns by EPCs

3. yEPC extensions to cover the remaining Patterns

4. Representation in EPML

5. Conclusion and Future Work


Agenda

Introduction


Who knows this?

OR-Join in Notation of YAWL


Workflow Patterns and YAWL

• Workflow Patterns

• Research by van der Aalst, ter Hofstede, Kiepuszewski, and Barros

• Analysis of various workflow systems

• 20 control flow patterns

• YAWL

• Petri nets and other languages capture subset

• New language needed

• Yet Another Workflow Language (YAWL)


Agenda

Supported Patterns by EPCs


WP 1: Sequence

A B

Function Event


WP 2 + 3: Parallel Split and Synchronization

(b)(a)

A

B

C

D

B

C

D

E

AND Split AND Join


(b)(a)

A

B

C

D

B

C

D

E

WP 4 + 5: Exclusive Choice and Simple Merge

XOR Split XOR Join

EPC XOR Join != YAWL XOR Join


(b)(a)

A

B

C

D

B

C

D

E

WP 6 + 7: Multiple Choice and Synchronizing Merge

OR Split OR Join


WP 10 + 11: Arbitrary Cycles and Implicit Termination

A

B

C

D End 3

End 2

End 1


Supported Patterns by EPCs

1. Sequence

2. Parallel Split

3. Synchronization

4. Exclusive Choice

5. Simple Merge NOT supported

6. Multiple Choice

7. Synchronizing Merge

1. Arbitrary Cycles

2. Implicit Termination


Agenda

yEPC extensions to cover the remaining Patterns


WP 16 + 5: Deferred Choice and Simple Merge

(a) (b)

B

A

D

C

B

C

D

E

Empty Split Empty Join


WP 17: Interleaved Parallel Routing

B

A mutex

C

E

pre-C

pre-B post-B

post-C


WP 18: Milestone

AMile-stone

B

DC E


WP 19 + 20: Termination of Activity / Case

A B


WP 9: Discriminator

B

C

D

E


WP 12: Multiple Instances without Synch

(b) [min, max, required, creation](a)

A B


WP 13-15: Multiple Instances with Synch

(a)

A

(b)[min, max, required, creation] [min, max, required, creation]

B


Agenda

Representation in EPML


yEPCs in EPML

<epml>...<epc epcId='1' name='example'> <function id='1'> <multiple minimum='3' maximum='6' required='4' creation='static'/> </function> <arc> <flow source='1' target='2'/> </arc> <empty id='2'/> <function id='3'> <cancel id='1'/> <cancel id='3'/> <cancel id='6'/> </function> ...</epc></epml>


Agenda

Conclusion and Future Work


Conclusions and Future Work

• EPCs and Petri nets

• Both missed multiple instantiation and cancellation patterns

• EPCs missed state-based patterns

• Petri nets missed complex routing

• Approaching YAWL semantics from EPCs

• Introduction of empty connector

• Inclusion of cancellation concept

• Inclusion of multiple instantiation concept

• Future Work

• Formal definition and tool support


Further information

Thank you for your attention!

Jan Mendling, Gustaf Neumann

Dept. Of IS and New MediaWU Wien, Austria{jan.mendling | neumann}@wu-

wien.ac.at

Markus Nüttgens HWP Hamburg, [email protected]

Documents

Towards Workflow Pattern Support of Event-Driven Process Chains (EPC)