Transcript Document
Y A W L Chapter 2 The Language: Rationale and Fundamentals (Part IV) Nick Russell Arthur ter Hofstede a university for the real world R © 2009, www.yawlfoundation.org Y Outline Y • Part I – Petri nets – Workflow nets – Reset nets • Part II – Background – WfMS and PAIS – Conceptual Foundations • the Workflow Patterns Initiative – Control-flow patterns • Part III – Control-flow in YAWL • Part IV – Data patterns – Resource patterns real a university for the © 2009, www.yawlfoundation.org world R Y A W L 2 Workflow Patterns Framework time 2000 2003 Jun 2005 Resource P:s - 43 Control-flow P:s 20 Y Oct 2005 Data P:s - 40 W. van der Aalst A. ter Hofstede B. Kiepuszewski A. Barros N. Russell W. van der Aalst A. ter Hofstede D. Edmond The ordering of activities in a process Resource definition Data representation & work distribution and handling in a in a process process CoopIS’2000 DAPD’2003 CAiSE’2005 N. Russell A. ter Hofstede D. Edmond W. van der Aalst ER’2005 Sep Jun 2006 2006 revised Control-flow Exception P:s P:s 43 N. N.Russell Russell A. W.ter van Hofstede der Aalst W. A. van ter Hofstede der Aalst N. Mulyar Exception handling - 23 new patterns in a process in - Formalised CPN notation TR CAiSE’2006 These perspectives follow S. Jablonski and C. Bussler’s classification from: Workflow Management: Modeling Concepts, Architecture, and Implementation. International Thomson Computer Press, 1996 www.workflowpatterns.com real a university for the © 2009, www.yawlfoundation.org world R Y A W L 3 Workflow Patterns Framework Y The Workflow Data Patterns real a university for the © 2009, www.yawlfoundation.org world R Y A W L 4 Data Pattern Categories Y Data Visibility: The extent and manner in which data elements can be viewed and utilised by workflow components. Internal Data Interaction: Data communication between active elements within a workflow. External Data Interaction: Data communication between active elements within a workflow and the external operating environment. Data Transfer: Data element transfer across the interface of a workflow component. Data Routing: The manner in which data elements can influence the operation of the workflow. real a university for the © 2009, www.yawlfoundation.org world R Y A W L 5 Data Visibility Patterns Y The extent and manner in which data elements can be viewed by workflow components Task data Block data Scope data Multiple instance data Case data Folder data Workflow data Environment data real a university for the © 2009, www.yawlfoundation.org world R Y A W L 6 Data Visibility Scopes Y workflow case def var X B A workflow use(X) case B A D task D task def var M C E block task multiple instance task E block task multiple instance task def var N subworkflow X C use(M) Y X Z use(M,N) subworkflow Y use(M,N) Z use(M,N) workflow def var X A def var X case B use(X) workflow use(X) A D use(X) task case B use(X) D use(X) task E C use(X) block task E C use(X) block task multiple instance task use(X) multiple instance task subworkflow X Y subworkflow X Z real a university for the © 2009, www.yawlfoundation.org world use(X) R Y A W L Y use(X) Z use(X) 7 Task Data Y Data visibility restricted to single task instance real a university for the © 2009, www.yawlfoundation.org world R Y A W L Staffware + WebSphere +/- FLOWer +/- COSA + YAWL + BPMN + BPEL +/- UML 2.0 ADs +/- 8 Block Data Y Data visibility restricted to tasks in single block or workflow net in a process instance real a university for the © 2009, www.yawlfoundation.org world R Y A W L Staffware + WebSphere + FLOWer +/- COSA + YAWL + BPMN + BPEL - UML 2.0 ADs + 9 Scope Data Y Data visibility restricted to set of tasks in single process instance real a university for the © 2009, www.yawlfoundation.org world R Y A W L Staffware - WebSphere - FLOWer +/- COSA - YAWL - BPMN - BPEL + UML 2.0 ADs - 10 Multiple Instance Data Y Multiple instance: -Designated multiple instance task -Shared implementation of decomposed tasks -Multiply triggered task real a university for the © 2009, www.yawlfoundation.org world R Y A W L 11 Multiple Instance Data Y Solutions • UML 2.0 AD Supported + ExpansionKind + Loop + Shared decomp. • BPMN Partially supported - MI + Loop + Shared decomp. real a university for the © 2009, www.yawlfoundation.org world R Y A W L 12 Case Data Y Data visibility restricted to all tasks in single process instance real a university for the © 2009, www.yawlfoundation.org world R Y A W L Staffware +/- WebSphere + FLOWer + COSA + YAWL - BPMN + BPEL + UML 2.0 ADs - 13 Folder Data Y case-1 use(folder-A) Case data repository folder-A A B C use(X) use(X) use(X) def var X folder-B def var Y case-2 use(folder-A) A B C use(X) use(X) use(X) use(folder-A, folder-B) real case-3 A B C use(X,Y) use(X,Y) use(X,Y) a university for the © 2009, www.yawlfoundation.org world R Y A W L 14 Task and Block Data in YAWL Y task data task data block data real a university for the © 2009, www.yawlfoundation.org world R Y A W L 15 Data Interaction Patterns: Internal Y Data communication between active elements within a workflow Data interaction between tasks Block task to sub-workflow decomposition Sub-workflow decomposition to block task To multiple instance task From multiple instance task Case to case real a university for the © 2009, www.yawlfoundation.org world R Y A W L 16 Data Interaction between Tasks Y Integrated Control and Data Channels pass(X,Y) A B use(X) use(X,Y) pass(Y) C use(Y) Single integrated control-flow and data channel Synchronous passing of control-flow and data between preceding and subsequent task(s) Data passing approach used by YAWL and BPEL real a university for the © 2009, www.yawlfoundation.org world R Y A W L 17 Data Interaction between Tasks Approach 1: Integrated Conrol and Data Channels real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 18 Data Interaction between Tasks Y Distinct Control and Data Channels A B C use(X,Y) use(X) use(Y) pass(X) pass(Y) • Different control-flow and data channel • Timing considerations in order to ensure both control-flow and data arrive at tasks at the required time • Used by WebSphere where data passing is based on the notion of containers sent between tasks real a university for the © 2009, www.yawlfoundation.org world R Y A W L 19 Data Interaction between Tasks Approach 2: Distinct Control-Flow and Data Channels real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 20 Data Interaction between Tasks No Explicit Data Passing Y Global Shared Data def var X def var Y A B C use(X,Y) use(X) use(Y) • No explicit data passing • Data elements held in global data store and used by tasks when required • Data passing approach used by Staffware, FLOWer, COSA, BPMN, etc. real a university for the © 2009, www.yawlfoundation.org world R Y A W L 21 Data Interaction between Tasks Approach 3: Global Data Store real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 22 Task-to-Task Data Interaction in YAWL Y via net variables real a university for the © 2009, www.yawlfoundation.org world R Y A W L 23 Data Interaction: Task to/from Subworkflow Approach 1: Implicit Data Passing Y • Data in the block task is accessible to all sub-tasks which make up the underlying implementation. i.e. the main block task and the corresponding subworkflow share the same address space • No explicit data passing is necessary. • Data passing approach used by FLOWer, COSA, BPMN real a university for the © 2009, www.yawlfoundation.org world R Y A W L 24 Data Interaction: Task to/from Subworkflow Approach 2: Explicit Data Passing using Parameters Y • Data elements in the block task must be specifically passed as parameters to the underlying subworkflow • Mapping strategy required between block and subworkflow data elements • Data passing approach used by YAWL, WebSphere MQ, BPMN, UML 2.0 ADs real a university for the © 2009, www.yawlfoundation.org world R Y A W L 25 Data Interaction: Task to/from Subworkflow Approach 3: Explicit Data Passing using Data Channels Y • Data elements in the block task are specifically passed via data channels to all tasks in the subworkflow that require access to them • Data passing approach used by Staffware real a university for the © 2009, www.yawlfoundation.org world R Y A W L 26 Task to Subprocess Data Interaction in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 27 Data Interaction – To/From Multiple Instance Tasks Instance-Specific Data Passed by Value A use(M) pass(M) (not supported in UML 2.0, BPMN) Y instances B3 use(m[3]) B2 use(m[2]) pass(M) C use(M) B1 use(m[1]) multiple instance task real a university for the © 2009, www.yawlfoundation.org world R Y A W L 28 Data Interaction – To/From Multiple Instance Tasks Y shared data storage Instance-Specific Data Passed by Reference A use(&M) pass(&M) array M: instances B3 use(*m[3]) B2 use(*m[2]) pass(&M) 1 2 3 4 .. C use(*M) B1 use(*m[1]) (not supported in BPMN) multiple instance task real a university for the © 2009, www.yawlfoundation.org world R Y A W L 29 Data Interaction – To/From Multiple Instance Tasks Y shared data storage Shared Data Passed by Reference A use(&M) var M: instances B3 use(*m[3]) pass(&M) B2 use(*m[2]) (not supported in UML 2.0, BPMN) pass(&M) C use(*M) B1 use(*m[1]) multiple instance task real a university for the © 2009, www.yawlfoundation.org world R Y A W L 30 MI data in YAWL Y (source: YAWL User Manual) • Four XQueries are used to specify how data is passed to and from the instances of a multiple instances task. – accessor query for manipulating the overall multiple instance data before the unique values are split out (to individual execution instances); – splitter query for separating the unique values from the overall multiple instance data and passing a unique value to each instance; – instance query for transforming the XML document returned on completion of an instance to a form that is suitable for aggregation; – aggregate query for generating an overall result and passing the result to the higher level on completion of the multiple instance task. real a university for the © 2009, www.yawlfoundation.org world R Y A W L 31 MI data in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y Y A W L 32 MI data in YAWL Y MI task task data real a university for the © 2009, www.yawlfoundation.org world R Y A W L 33 MI data in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y Y A W L 34 Data Interaction Support: MI tasks to MI task Y from MI task Staffware - - WebSphere - - FLOWer + + COSA - - YAWL + + BPMN - - BPEL - - UML 2.0 ADs + + real a university for the © 2009, www.yawlfoundation.org world R Y A W L 35 Data Interaction Patterns: External Y Data communication between active elements within a workflow and the external operating environment. Task to Environment – Push-Oriented Environment to Task – Pull-Oriented Environment to Task – Push-Oriented Task to Environment – Pull-Oriented Case to Environment – Push-Oriented Environment to Case – Pull-Oriented Environment to Case – Push-Oriented Case to Environment – Pull-Oriented Workflow to Environment – Push-Oriented Environment to Workflow – Pull-Oriented Environment to Workflow – Push-Oriented Workflow to Environment – Pull-Oriented real a university for the © 2009, www.yawlfoundation.org world R Y A W L 36 Data Interaction - Task to/from Environment case pattern 14 B pass(M) D A def var M external process def var S def var T pattern 15 request(T) pass(T) pattern 16 pass(S) E C Y def var N pattern 17 request(N) pass(N) real a university for the © 2009, www.yawlfoundation.org world R Y A W L 37 Data Interaction: Task – Environment - 1 • Interaction initiated by task • Interaction initiated by task • Environment receives data • Task receives data real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 38 Data Interaction: Task – Environment - 2 • Interaction initiated by env. • Interaction initiated by env. • Task receives data • Environment receives data real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 39 Data Interaction Support: Task - Environment TE-Push Staffware ET-Pull ET-Push TE-Pull + + +/- +/- WebSphere +/- +/- +/- +/- FLOWer +/- + + +/- COSA + + + + YAWL +/- - - - BPMN + + + + BPEL + + +/- +/- UML 2.0 ADs - - - - real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 40 Data Transfer Patterns Y Focus on the means by which a data element is transferred across the interface of a workflow component. Data Transfer by Value – Incoming Data Transfer by Value – Outgoing Data Transfer – Copy In/Copy Out Data Transfer by Reference – Unlocked Data Transfer by Reference – Locked Data Transformation – Input Data Transformation – Output real a university for the © 2009, www.yawlfoundation.org world R Y A W L 41 Data Transfer by Value var G var H transient variable A use(R) transient variable par out par in ret R→G def var S:=G real Y a university for the © 2009, www.yawlfoundation.org world R Y B use(S) A W L par out par in ret S→H def var T:=H C use(T) 42 Data Transfer by Value Y Value Staffware - WebSphere + FLOWer - COSA +/- YAWL + BPMN + BPEL + UML 2.0 ADs - The ability of a workflow component to receive incoming data elements by value relieving it from the need to have shared names or common address space with the component(s) from which it receives them. real a university for the © 2009, www.yawlfoundation.org world R Y A W L 43 Data Transformation Y var G transient variable A use(R) par out par in return transform(R)→G def var S:= prepare(G) real a university for the © 2009, www.yawlfoundation.org world R Y A W L B use(S) 44 Data Transformation Y Staffware +/- WebSphere - FLOWer +/- COSA - YAWL + BPMN - BPEL +/- UML 2.0 ADs + Ability to apply a transformation function to a data element during passing between workflow components. real a university for the © 2009, www.yawlfoundation.org world R Y A W L 45 Data Transfer and Transformation in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 46 Data Routing Patterns Y Focus on the manner in which data elements can influence the operation of the workflow Task Precondition - Data Existence Task Precondition - Data Value Task Postcondition – Data Existence Task Postcondition - Data Value Event-based Task Trigger Data-based Task Trigger Data-based Routing real a university for the © 2009, www.yawlfoundation.org world R Y A W L 47 Task Postcondition – Data Existence Y not exists(R) A use(R) par out return(R) par in def var S:=R postcondition exist(R) real a university for the © 2009, www.yawlfoundation.org world R Y A W L B use(S) 48 Event-based Task Trigger Y Start_A() task Start_B() task Start_C() task real a university for the © 2009, www.yawlfoundation.org world R Y A W L 49 Data-based Routing Y workflow workflow repository def var M 2.7 case case repository def var N AB02 B R > 10 A par out M > 3.1 ret R C N <> AB01 D real a university for the © 2009, www.yawlfoundation.org world R Y A W L 50 Data-based Routing Y Staffware +/- WebSphere + FLOWer +/- COSA + YAWL + BPMN + BPEL + UML 2.0 ADs + The ability to alter the control flow within a workflow case as a consequence of the value of data-based expressions real a university for the © 2009, www.yawlfoundation.org world R Y A W L 51 Data-based Routing in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 52 Data Perspective: Evaluation 1 Data Visibility 1 Task Data 2 Block Data 3 Scope Data 4 MI Data 5 Case Data 6 Folder Data 7 Workflow Data 8 Environment Data Data Interaction (Internal) 9 between Tasks 10 Task to Sub-workflow Decomp. 11 Sub-workflow Decomp. to Task 12 to MI Task 13 from MI Task 14 Case to Case Data Interaction (External) 15 Task to Env - Push-Oriented 16 Env. to Task - Pull-Oriented 17 Env. to Task - Push-Oriented 18 Task to Env - Pull-Oriented 19 Case to Env. - Push-Oriented 20 Env. to Case - Pull-Oriented real a university for the © 2009, www.yawlfoundation.org world + + + 3 - + + +/+ - +/+ + + + + + + + - + + + - + +/- +/R 2 1 – YAWL 2 – BPMN 3 – BPEL + + + + - + + +/+/- Y Data Interaction (External), cont. 21 Env. to Case - Push-Oriented 22 Case to Env. - Pull-Oriented 23 Workflow to Env. - Push-Oriented 24 Env. to Workflow - Pull-Oriented 25 Env. to Workflow - Push-Oriented 26 Workflow to Env. - Pull-Oriented Data Transfer 27 by Value - Incoming 28 by Value - Outgoing 29 Copy In/Copy Out 30 by Reference - Unlocked 31 by Reference - Locked 32 Data Transformation - Input 33 Data Transformation - Output Data-based Routing 34 Task Precondition Data Exist. 35 Task Precondition Data Value 36 Task Postcondition Data Exist. 37 Task Postcondition Data Value 38 Event-based Task Trigger 39 Data-based Task Trigger 40 Data-based Routing A W L Y 1 2 3 - - - + + + + + + +/+ +/+/- + + + +/- +/+/+/+/+ + + + + + +/+ + +/+ 53 Data Patterns: General Findings Y Workflow data patterns generalise to all forms of PAIS – All patterns observed in surveyed tools; – Wide variations in support between tools. Data support for concurrent processes is limited: – Lack of concurrency control; – Minimal support for multiple instance tasks. Direct support for data patterns in current design tools is limited; and Current standards (e.g. XPDL, BPEL) do not provide useful guidance of data usage in workflow. real a university for the © 2009, www.yawlfoundation.org world R Y A W L 54 Workflow Patterns Framework Y The Workflow Resource Patterns real a university for the © 2009, www.yawlfoundation.org world R Y A W L 55 Workflow Resource Patterns Y • Focus on the manner in which work is offered to, allocated to and managed by workflow participants • Consider both the system and resource perspectives • Assume the existence of a process model and related organisational model • Take into account differing workflow paradigms: – – – – richness of process model (esp. allocation directives) autonomy of resources alternate routing mechanisms work management facilities real a university for the © 2009, www.yawlfoundation.org world R Y A W L 56 Resource Patterns Classes Y • Creation patterns: design-time work allocation directives • Push patterns: workflow system proactively distributes work items • Pull patterns: resources proactively identify and commit to work items • Detour patterns: re-routing of work items • Auto-start patterns: automated commencement • Visibility patterns: observability of workflow activities • Multiple resource patterns: work allocation involving multiple participants or resources real a university for the © 2009, www.yawlfoundation.org world R Y A W L 57 Work Item Lifecycle S:offer-s offered to a single resource Y suspended R:start-s R:suspend R:allocate-s R:resume S:create created R:complete allocated to a single resource S:allocate R:start R:allocate-m started completed R:fail R:start-m S:offer-m offered to multiple resources real a university for the © 2009, www.yawlfoundation.org world failed R Y A W L 58 Creation Patterns Y Design time considerations relating to which resources may execute a work item at runtime Direct Allocation Role-Based Allocation Deferred Allocation Authorisation Separation of Duties Case Handling Retain Familiar Capability-Based Allocation History-Based Allocation Organisational Allocation Automatic Execution real a university for the © 2009, www.yawlfoundation.org world R Y A W L 59 Creation Patterns offered to a single resource S:offer-s Y suspended R:start-s R:allocate-s R:suspend R:resume S:create created allocated to a single resource S:allocate R:start R:start-m S:offer-m R:allocate-m offered to multiple resources real a university for the © 2009, www.yawlfoundation.org world started completed R:complete R:fail failed R Y A W L 60 Direct Allocation Y The ability to directly specify at design time the identity of the resource that will execute a task. real a university for the © 2009, www.yawlfoundation.org world R Y A W L Staffware + WebSphere + FLOWer + COSA + YAWL + BPMN + Oracle BPEL + UML 2.0 ADs + 61 Direct Allocation in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 62 Role-based Allocation Y • The ability to specify at design time that a task can only be executed by resources which correspond to a given role. • Actual decision for distribution is deferred till runtime and can be influenced without changing workflow specification (thus providing more flexibility). Staffware + real a university for the © 2009, www.yawlfoundation.org world R Y A W L WebSphere + FLOWer + COSA + YAWL + BPMN + Oracle BPEL + UML 2.0 ADs + 63 Role-based Allocation in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 64 Deferred Allocation Y • The ability to defer specifying the identity of the resource that will execute a task until runtime • Takes deferral of resource allocation one step further • Can be achieved through a variable that contains actual resource(s) to be used real a university for the © 2009, www.yawlfoundation.org world R Y A W L 65 Deferred Allocation real a university for the © 2009, www.yawlfoundation.org world R Y Y A W L 66 Separation of Duties Y • The ability to specify that two tasks must be allocated to different resources in a given workflow case. • Also referred to as the “4 eyes principle” real a university for the © 2009, www.yawlfoundation.org world R Y A W L Staffware - WebSphere + FLOWer + COSA +/- YAWL + BPMN - Oracle BPEL - UML 2.0 ADs - 67 Separation of Duties in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 68 Retain Familiar Y • Where several resources are available to undertake a work item, the ability to allocate a work item within a given workflow case to the same resource that undertook a preceding work item. real a university for the © 2009, www.yawlfoundation.org world R Y A W L Staffware - WebSphere + FLOWer + COSA + YAWL + BPMN - Oracle BPEL + UML 2.0 ADs - 69 Retain Familiar in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 70 Capability-based Allocation Y The ability to offer or allocate instances of a task to resources based on specific capabilities that they possess. real a university for the © 2009, www.yawlfoundation.org world R Y A W L Staffware - WebSphere - FLOWer + COSA + YAWL + BPMN - Oracle BPEL + UML 2.0 ADs - 71 Capability-based Allocation in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 72 Y Push Patterns • Correspond to situations where newly created work items are proactively routed to resources by the workflow system • Key dimensions: – – – – Offer or allocation Single or multiple resources Basis of allocation Timing of distribution vs enablement real a university for the © 2009, www.yawlfoundation.org world R Y A W L 73 Push Patterns Y offered to a single resource S:offer-s suspended R:start-s R:allocate-s R:suspend R:resume S:create created allocated to a single resource S:allocate R:start R:start-m S:offer-m R:allocate-m offered to multiple resources real a university for the © 2009, www.yawlfoundation.org world started completed R:complete R:fail failed R Y A W L 74 Push Patterns Y Distribution by Offer - Single Resource Distribution by Offer - Multiple Resources Distribution by Allocation - Single Resource Random Allocation Round Robin Allocation Shortest Queue Early Distribution Distribution on Enablement Late Distribution real a university for the © 2009, www.yawlfoundation.org world R Y A W L 75 Distribution by Offer – Single Resource Y • The ability to offer a work item to a selected resource • Corresponds to the workflow analogy to the act of “asking for consideration" in real life – resource is advised of but not committed to undertaking the work item real a university for the © 2009, www.yawlfoundation.org world R Y A W L Staffware - WebSphere - FLOWer - COSA +/- YAWL + BPMN + Oracle BPEL +/- UML 2.0 ADs +/- 76 Distribution by Offer in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 77 Distribution by Offer – Multiple Resources Y • The ability to offer a work item to a group of selected resources. • Offering a work item to multiple resources is the workflow analogy to the act of "calling for a volunteer" in real life. It provides a means of advising a suitably qualified group of resources that a work item exists but leaves the onus with them as to who actually commits to undertaking the activity. • Can be realised through so-called work groups real a university for the © 2009, www.yawlfoundation.org world R Y A W L 78 Distribution by Offer – Multiple Resources real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 79 Distribution by Allocation – Single Resource Y • The ability to allocate a work item to a selected resource • Corresponds to the workflow analogy to the act of "appointing an owner" in real life – the selected resource is committed to undertaking the work item real a university for the © 2009, www.yawlfoundation.org world R Y A W L Staffware + WebSphere + FLOWer + COSA + YAWL + BPMN + Oracle BPEL + UML 2.0 ADs + 80 Shortest Queue Y • The ability to allocate a work item to the resource that has the least number of work items allocated to it. • Aims to expedite throughput • Different definition of shortest queue possible real a university for the © 2009, www.yawlfoundation.org world R Y A W L Staffware - WebSphere - FLOWer - COSA + YAWL + BPMN - Oracle BPEL +/- UML 2.0 ADs - 81 Distribution by Allocation in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 82 Pull Patterns Y • Correspond to situations where a resource proactively seeks information on available work and commits to undertaking specific work items • Key dimensions – Allocation vs execution – Configurability of work basket – Autonomy in selecting next work item real a university for the © 2009, www.yawlfoundation.org world R Y A W L 83 Pull Patterns Y offered to a single resource S:offer-s suspended R:start-s R:allocate-s R:suspend R:resume S:create created allocated to a single resource S:allocate R:start R:start-m S:offer-m R:allocate-m offered to multiple resources real a university for the © 2009, www.yawlfoundation.org world started completed R:complete R:fail failed R Y A W L 84 Pull Patterns Y Resource-Initiated Allocation Resource-Initiated Execution – Allocated Work Item Resource-Initiated Execution – Offered Work Item System-Determined Work List Management Resource-Determined Work List Management Selection Autonomy real a university for the © 2009, www.yawlfoundation.org world R Y A W L 85 Resource-Initiated Allocation Y • The ability for a resource to commit to undertake a work item without needing to commence working on it immediately. • Allows a resource to signal its intention to execute a given work item at some point although it may not commence working on it immediately. • The work item is considered to be allocated to the resource and it cannot be allocated to or executed by another resource. real a university for the © 2009, www.yawlfoundation.org world R Y A W L Staffware - WebSphere - FLOWer + COSA +/- YAWL + BPMN - Oracle BPEL - UML 2.0 ADs 86 Resource-Initiated Allocation in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 87 Resource-Initiated Execution – Allocated Work Item Y • The ability for a resource to commence a work item previously allocated to them real a university for the © 2009, www.yawlfoundation.org world R Y A W L Staffware + WebSphere + FLOWer + COSA + YAWL + BPMN - Oracle BPEL + UML 2.0 ADs - 88 Resource-Initiated Execution in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 89 Detour Patterns Y • Correspond to unplanned variations in work item routing • Key dimensions – Initiator of re-routing action – system or resource – Execution state of work item – Recipient of re-routed work item real a university for the © 2009, www.yawlfoundation.org world R Y A W L 90 Detour Patterns Y S:escalate-oo offered to a single resource R:escalate-so S:deallocate-so suspended R:deallocate-ao R:suspend S:escalate-ao S:escalate-aa S:escalate-sm R:delegate allocated to a single resource created started S:escalate-am R:reallocation-no-state R:deallocate-am S:escalate-sa R:deallocate-sm S:escalate-sm offered to multiple resources R:resume R:reallocationwith-state completed S:skip R:fail failed S:escalate-mm real a university for the © 2009, www.yawlfoundation.org world R Y A W L 91 Detour Patterns Y Delegation Escalation Deallocation Stateful Reallocation Stateless Reallocation Suspension/Resumption Skip Redo Pre-Do real a university for the © 2009, www.yawlfoundation.org world R Y A W L 92 Delegation Y • The ability for a resource to allocate a work item previously allocated to it to another resource. • Delegation provides a resource with a means of re-routing work items that it is unable to execute. This may be because the resource is unavailable (e.g. on vacation) or because they do not wish to take on any more work. • What happens where a work item is delegated to a user who is not authorised to execute it? – This scenario is only a problem for workflow engines that support distinct task routing and authorisation mechanisms. – COSA’s solution is to allow the new user to see the work item but not to be able to delegate it, they can then delegate themselves or acquire necessay rights real a university for the © 2009, www.yawlfoundation.org world R Y A W L 93 Delegation real a university for the © 2009, www.yawlfoundation.org world Y R Y A W L Staffware + WebSphere + FLOWer - COSA + YAWL + BPMN - Oracle BPEL + UML 2.0 ADs - 94 Delegation in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y Y A W L 95 Stateful Reallocation Y • The ability of a resource to allocate a work item to another resource without loss of state data. • Provides a resource with the ability to offload both pending and currently executing work items to other resources whilst retaining work already performed. • Centres on the ability to retain the current values of all data elements associated with the work item. • Delegation also results in a work item being reassigned to another resource, but delegation only occurs for work items that have not yet been started • Two main issues: – Managing the transfer of state data. – Ensuring the resource to which the work item is reallocated is entitled to execute it and access the associated state information. real a university for the © 2009, www.yawlfoundation.org world R Y A W L 96 Stateful Reallocation real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y Staffware +/- WebSphere + FLOWer - COSA + YAWL + BPMN - Oracle BPEL + UML 2.0 ADs - 97 Stateful Reallocation in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 98 Auto-start Patterns Y • Relate to situations where execution of a work item is triggered by specific events in the lifecycle of a work item or related work items: • e.g. – – – – Creation Allocation Completion of preceding tasks Completion of another instance of the same task real a university for the © 2009, www.yawlfoundation.org world R Y A W L 99 Auto-start Patterns offered to a single resource S:offer-s Y suspended R:start-s R:allocate-s R:suspend S:create R:resume S:start-on-create created R:complete allocated to a single resource S:allocate R:start S:start-on-allocate S:offer-m R:allocate-m real R:fail completed S:piled-execution S:chained-execution R:start-m offered to multiple resources a university for the © 2009, www.yawlfoundation.org world started failed R Y A W L 100 Auto-start Patterns Y Commence on Creation The ability for a resource to commence execution on a work item as soon as it is created. Commence on Allocation The ability for a resource to commence execution on a work item as soon as it is allocated. Piled Execution The ability to initiated the next instance of a task (perhaps in a different case) once the previous one has completed with all associated work items being allocated to the same resource. Chained Execution The ability to automatically start the next work item in a case once the previous one has completed. The transition to Chained Execution mode is at the instigation of the resource. real a university for the © 2009, www.yawlfoundation.org world R Y A W L 101 Commencement on Creation Y The ability for a resource to commence execution on a work item as soon as it is created real a university for the © 2009, www.yawlfoundation.org world R Y A W L Staffware - WebSphere - FLOWer - COSA - YAWL + BPMN - Oracle BPEL - UML 2.0 ADs - 102 Commencement on Creation in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 103 Piled Execution Y • The ability of the workflow system to initiate the next instance of a workflow task (perhaps in a different case) once the previous one has completed. • Provides a means of optimising task execution by pipelining instances of the same task and allocating them to the same resource. • The resource undertakes work items sequentially and once a work item is completed, if another work item of the same type is present in the work queue, it immediately commences work on it - in effect it attempts to work on piles of the same types of work items. • The aim is to leverage of experience of a resource in performing a certain type of task. real a university for the © 2009, www.yawlfoundation.org world R Y A W L 104 Piled Execution real a university for the © 2009, www.yawlfoundation.org world R Y Y A W L Staffware - WebSphere - FLOWer - COSA - YAWL + BPMN - Oracle BPEL - UML 2.0 ADs - 105 Piled Execution in YAWL real a university for the © 2009, www.yawlfoundation.org world R Y A W L Y 106 Chained Execution Y • The ability of the workflow engine to automatically start the next work item in a case once the previous one has completed. • Aims to expedite throughput • Keeps a resource constantly busy in progressing a case real a university for the © 2009, www.yawlfoundation.org world R Y A W L 107 Chained Execution real a university for the © 2009, www.yawlfoundation.org world R Y Y A W L 108 Visibility & Multiple Resource Patterns Y Visibility Patterns Relate to visibility of the existence and status of work items by workflow participants Configurable Unallocated Work Item Visibility Configurable Allocated Work Item Visibility Multiple Resource Patterns Relate to situations where work allocation involves multiple participants or resources Simultaneous Execution Additional Resource real a university for the © 2009, www.yawlfoundation.org world R Y A W L 109 Resource Patterns: Evaluation 1 Creation Patterns 1 Direct Allocation 2 Role-Based Allocation 3 Deferred Allocation 4 Authorization 5 Separation of Duties 6 Case Handling 7 Retain Familiar 8 Capacity-based Allocation 9 History-based Allocation 10 Organizational Allocation 11 Automatic Execution Push Patterns 12 Distribution by Offer-Single Resource 13 Distribution by Offer-Multiple Resources 14 Distribution by Allocation-Single Resource 15 Random Allocation 16 Round Robin Allocation 17 Shortest Queue 18 Early Distribution 19 Distribution on Enablement 20 Lata Distribution Pull Patterns 21 Resource-Init. Allocation 22 Resource-Init. Exec. - Allocated WI 23 Resource-Init. Exec. - Offered WI real a university for the © 2009, www.yawlfoundation.org world R 2 3 + + + + + + + + + + + + + + + + + + + +/+/+ + + + + + + + - + + - + + + +/+/+/+ - + + + - + + Y 1 – YAWL 2 – BPMN, 3 – Oracle BPEL PM (from [Mulyar 2005]) Pull Patterns (cont.) 24 System-Determ. Work Queue Cont. 25 Resource-Determ. Work Queue Cont. 26 Selection Autonomy Detour Patterns 27 Delegation 28 Escalation 29 Deallocation 30 Stateful Reallocation 31 Stateless Reallocation 32 Suspension/Resumption 33 Skip 34 Redo 35 Pre-do Auto-start Patterns 36 Commencement on Creation 37 Commencement on Allocation 38 Piled Execution 39 Chained Execution Visibility Patterns 40 Config. Unallocated WI Visibility 41 Config. Allocated WI Visibility Multiple Resource Patterns 42 Simultaneous Execution 43 Additional Resources A W L Y 1 2 3 + + + - + + + + + + + + + - - + + + + + + - + + + + + + - - - - + - + - + + 110 Major findings: survey of resource patterns Y • Broad support for simple work distribution mechanisms • Current offerings incorporate minimalistic organisational models. • Little support for specifying user privileges and security restrictions. • Limited granularity for varying method and timing of work distribution within a given process. • Limited support for managing work items involving multiple participants. • No support for optimising work item throughput by aligning work distribution with user worklist interaction. real a university for the © 2009, www.yawlfoundation.org world R Y A W L 111 Some Observations Y • Virtually all patterns have been observed in at least one system/language • Overall pattern support is generally limited, especially the resource perspective and exception handling • Provide detailed insight into relative strengths and weaknesses of various approaches • More research needed into relation between patterns and their suitability for specific types of applications real a university for the © 2009, www.yawlfoundation.org world R Y A W L 112 Further details Y Key papers • N. Russell, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst. Workflow Data Patterns: Identification, Representation and Tool Support. In L. Delcambre et al., editors, Proceedings of the 24th International Conference on Conceptual Modeling (ER 2005), volume 3716 of Lecture Notes in Computer Science, pages 353-368. Springer-Verlag, Berlin, 2005. • N. Russell, W.M.P. van der Aalst, A.H.M. ter Hofstede, and D. Edmond. Workflow Resource Patterns: Identification, Representation and Tool Support. In O. Pastor and J. Falcao e Cunha, editors, Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05), volume 3520 of Lecture Notes in Computer Science, pages 216-232. Springer-Verlag, Berlin, 2005. Online references • www.workflowpatterns.com • www.BPMcenter.org real a university for the © 2009, www.yawlfoundation.org world R Y A W L 113 Instruction question – 1 Y Evaluate the extent of support for the following patterns in Staffware, YAWL, core BPMN and Protos. Use a three point scale where + is full support, +/- indicates a partial solution or workaround and – corresponds to no support – – – – – – Synchronisation Multi-choice Deferred choice Multiple choice Local synchronising merge Milestone real a university for the © 2009, www.yawlfoundation.org world R Y A W L 114 Instruction question – 2 Y ord-weight operator For the YAWL model opposite, explain what configuration is required to pass the data elements shown in the pick order and print invoice tasks to the pack order task. fin-weight ord-total last-operator pick order pack order Identify the data patterns used. What are the advantages and disadvantages of this data passing strategy? print invoice admin inv-total real a university for the © 2009, www.yawlfoundation.org world R Y A W L 115 Instruction question – 3 weight < 10kg For the YAWL process shown, determine the necessary data passing configuration to support the exclusive choice associated with the pack order task. air mail weight >= 10kg pack order Y sea mail Identify the data patterns used. value > $500 NB: Assume the weight and value variables are defined for the pack order task. courier real a university for the © 2009, www.yawlfoundation.org world R Y A W L 116 Instruction question – 4 Y For the YAWL process shown, determine the necessary data passing configuration to support (1) the passing of the custid and value data elements from the credit check task to the subprocess and (2) the configuration of the associated XOR-split. credit check value > $1000 agency check value <= $1000 Identify the data patterns used. risk evaluation internal check real a university for the © 2009, www.yawlfoundation.org world R Y A W L 117 Instruction question – 5 The organisational model opposite corresponds to the YAWL process in Q2. Explain how the following task allocations are configured in YAWL: G(employee) marg bart monty • • • • • offer pick order to bart allocate pack order to the warehouse role offer pick order to bart and homer allocate print invoice to the admin role allocate print invoice to the admin role member with the shortest queue • allocate pack order to milhouse in the started state • allocate pack order to a member of the warehouse role that didn’t execute pick order for the same case maggie homer waylon lisa edna milhouse R(warehouse) Y R(admin) Identify the patterns used in each case real a university for the © 2009, www.yawlfoundation.org world R Y A W L 118 Instruction question – 6 Y In a workflow system such as YAWL, active work items can be in an offered, allocated or started state. The transition to each state can be initiated by the system or the resource. The triple (offered by, allocated by, started by) is termed the interaction sequence for a task. Explain the events associated with the following interaction sequences: – SSR – SRS – SRR – SSS – RSS – RSR – RRS – RRR How are each of them configured in YAWL? Which patterns do they correspond to? real a university for the © 2009, www.yawlfoundation.org world R Y A W L 119 Instruction question – 7 Y • Which patterns do the following approaches to work distribution correspond to? – – – – – – – – – Offer the quote shipment task to john smith Allocate the batch rivet task to a manager Allocate the batch rivet task to the resource with the least work Offer the dangerous mission task to all junior soldiers Allocate the dangerous mission task to a soldier who serves in the marine or infantry division Allocate the dangerous mission task to a soldier with one or more bravery citations Allocate the batch rivet task to the resource who has not executed the earlier prepare solder task Allocate the count cash task to a resource who has undertaken the prepare reconciliation task for more than 2 weeks Distribute the coordinate journey task to the least busy colonel in the marine corps real a university for the © 2009, www.yawlfoundation.org world R Y A W L 120 Instruction question - 8 Y • With the aid of a task lifecycle diagram, explain the difference between the delegation and stateful reallocation patterns • How are each of them configured in YAWL? • What user interactions are associated with each of them? real a university for the © 2009, www.yawlfoundation.org world R Y A W L 121 References I Y • www.workflowpatterns.com • W.M.P. van der Aalst, M. Dumas, A H.M. ter Hofstede, N. Russell, H. M.W Verbeek, and P. Wohed. Life After BPEL? In Proceedings of the 2nd International Workshop on Web Services and Formal Methods (WS-FM). Versailles, France, September 2005. Springer Verlag. • N.Mulyar. Pattern-based Evaluation of Oracle-BPEL. BPM Center Report BPM-05-24, BPMcenter.org, 2005. • N. Russell, Wil M.P. van der Aalst , A.H.M. ter Hofstede , and Petia Wohed. On the Suitability of UML 2.0 Activity Diagrams for Business Process Modelling. In M. Stumptner, S. Hartmann, and Y. Kiyoki, editors, Proceedings of the Third Asia-Pacific Conference on Conceptual Modelling (APCCM2006), volume 53 of CRPIT, pages 95-104, Hobart, Australia, 2006. ACS. • N. Russell, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst. Workflow Data Patterns. QUT Technical report, FIT-TR-2004-01, Queensland University of Technology, Brisbane, 2004. • N. Russell, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst. Workflow Data Patterns: Identification, Representation and Tool Support. In L. Delcambre et al., editors, Proceedings of the 24th International Conference on Conceptual Modeling (ER 2005), volume 3716 of Lecture Notes in Computer Science, pages 353-368. Springer-Verlag, Berlin, 2005. • N. Russell, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst. Workflow Resource Patterns. BETA Working Paper Series, WP 127, Eindhoven University of Technology, Eindhoven, 2004. real a university for the © 2009, www.yawlfoundation.org world R Y A W L 122 References II Y • N. Russell, W.M.P. van der Aalst, A.H.M. ter Hofstede, and D. Edmond. Workflow Resource Patterns: Identification, Representation and Tool Support. In O. Pastor and J. Falcao e Cunha, editors, Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05), volume 3520 of Lecture Notes in Computer Science, pages 216232. Springer-Verlag, Berlin, 2005. • N. Russell, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Exception Handling Patterns in Process-Aware Information Systems. BPM Center Report BPM-06-04 , BPMcenter.org, 2006. • N. Russell, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Workflow Exception Patterns. In E. Dubois and K. Pohl, editors, Proceedings of the 18th International Conference on Advanced Information Systems Engineering (CAiSE 06), volume 4001 of Lecture Notes in Computer Science, pages 288-302. Springer-Verlag, Berlin, 2006. • P. Wohed, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and N. Russell. Patternbased Analysis of UML Activity Diagrams. BETA Working Paper Series, WP 129, Eindhoven University of Technology, Eindhoven, 2004. • P. Wohed, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and N. Russell, On the Suitability of BPMN for Business Process Modelling. in Proc. of the 4th Int. Conf. on Business Process Management, Vienna, September 2006. • P. Wohed, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and N. Russell. Patternbased Analysis of BPMN - An extensive evaluation of the Control-flow, the Data and the Resource Perspectives (revised version) . BPM Center Report BPM-06-17 , BPMcenter.org, 2006. real a university for the © 2009, www.yawlfoundation.org world R Y A W L 123 Disclaimer Y • No legal liability or responsibility is assumed for the accuracy and completeness of any product-specific information. real a university for the © 2009, www.yawlfoundation.org world R Y A W L 124