YAWL - Tokyo 2008 - Petia Wohed

1. YAWL: Yet Another Workflow Language presented by Petia Wohed SU/KTH ～もうひとつのワークフロー言語～

2. Acknowledgement <ul><li>This presentation uses slides prepared by the following people: </li></ul><ul><ul><li>Wil van der Aalst, TUE & QUT </li></ul></ul><ul><ul><li>Michael Adams, QUT </li></ul></ul><ul><ul><li>Lachlan Aldred, QUT </li></ul></ul><ul><ul><li>Arthur ter Hofstede, QUT </li></ul></ul><ul><ul><li>Massimiliano de Leoni, Università di Roma </li></ul></ul><ul><ul><li>Chun Ouyang, QUT </li></ul></ul><ul><ul><li>Marcello La Rosa, QUT </li></ul></ul><ul><ul><li>Nick Russell, TUE </li></ul></ul><ul><ul><li>Petia Wohed, SU/KTH </li></ul></ul><ul><ul><li>Moe Wynn, QUT </li></ul></ul>以下の方々に確認いただいています

3. Agenda <ul><li>Introduction </li></ul><ul><li>Workflow patterns </li></ul><ul><li>YAWL concepts </li></ul><ul><li>YAWL system </li></ul><ul><li>Dynamic workflow & Exception handling </li></ul><ul><li>Current and future activities </li></ul>はじめにワークフローパターン YAWL コンセプト YAWL の仕組み動的ワークフロー＆例外ハンドリング今とこれからテーマ

4. Setting the scene – Workflow: What and Why? <ul><li>Support for coordination of humans and applications in performing business activities </li></ul><ul><li>Explicit representation of control flow dependencies and resourcing strategies </li></ul><ul><li>Benefits: </li></ul><ul><ul><li>Improved efficiency (time, cost) </li></ul></ul><ul><ul><li>Compliance </li></ul></ul><ul><ul><li>Improved responsiveness </li></ul></ul>ワークフローって何？それでそうなるの？業務の中の人とアプリケーションの協調をサポートフローと人 / システムの割り当ての制御を明示的に表現利点効率化 ( 時間、コスト ) コンプライアンス効率的な対応

5. Workflow Animation Animation by Wil van der Aalst, Vincent Almering and Herman Wijbenga ワークフローアニメーション

6. Problems in the field of Workflow/BPM <ul><li>Lack of commonly accepted conceptual foundations </li></ul><ul><li>Lack of proper formal foundations (this despite the amount of buzz …) </li></ul><ul><li>No lack of proposed standards … </li></ul><ul><li>Tools are typically hard to use, expensive and not easily integrated </li></ul><ul><li>Lack of support for processes that need to change on-the-fly </li></ul><ul><li>Lack of proper support for exceptions </li></ul><ul><li>Limited support for design time analysis (verification and validation) </li></ul><ul><li>Resource perspective particularly underwhelming </li></ul><ul><li>Insufficient support for inter-process communication </li></ul>問題点代表的な概念ファウンデーションの欠如公式なファウンデーションの欠如標準の欠如？ツールが難しい、高い、連携が簡単ではない実行時に変更されるプロセスが未対応業務例外のサポートが未対応プロセス設計時における verify と validate の制限プロセス設計時における verify と validate の制限プロセス間通信のサポートが不十分

7. Workflow Patterns Initiative <ul><li>Started in 1999, joint work TU/e and QUT </li></ul><ul><li>Objectives: </li></ul><ul><ul><li>Identification of workflow modelling scenarios and solutions </li></ul></ul><ul><ul><li>Benchmarking </li></ul></ul><ul><ul><ul><li>Commercial Workflow products (MQ/Series Workflow, Staffware, etc) </li></ul></ul></ul><ul><ul><ul><li>Open Source Workflow products (jBPM, OpenWFE, Enhydra Shark) </li></ul></ul></ul><ul><ul><ul><li>Proposed standards for web service composition (BPML, BPEL) </li></ul></ul></ul><ul><ul><ul><li>Process modelling languages (UML, BPMN) </li></ul></ul></ul><ul><ul><li>Foundation for selecting workflow solutions </li></ul></ul><ul><li>Home Page: www.workflowpatterns.com </li></ul><ul><li>Primary publication: </li></ul><ul><ul><li>W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, A.P. Barros, “Workflow Patterns”, Distributed and Parallel Databases 14(3):5-51 , 2003 . </li></ul></ul><ul><li>Evaluations of commercial offerings, research prototypes, proposed standards for web service composition, etc </li></ul>ワークフローパターンイニシアティブ目的ワークフローモデリングのシナリオと提案の確立ワークフローでの提案を行なうファウンデーション公刊評価、調査 ( 提案された web サービスコンポジションなど )

8. The Workflow Patterns Framework <ul><li>These perspectives follow S. Jablonski and C. Bussler’s classification from: </li></ul><ul><li>Workflow Management: Modeling Concepts, Architecture, and Implementation. International Thomson Computer Press, 1996 </li></ul>time www.workflowpatterns.com プロセス内のアクティビティの整理プロセス内のリソース定義と作業の分担プロセス内のデータ表現とハンドリングコントロールフローパターンリソースパターンデータパターン新コントロールフローパターン 23 の新パターンと CPN 記述ワークフローパターンフレームワーク Exception P:s Exception handling in a process CAiSE’2006 N. Russell W. van der Aalst A. ter Hofstede Jun 2006 Control-flow P:s 43 <ul><li>- 23 new patterns </li></ul><ul><li>Formalised in </li></ul><ul><li>CPN notation </li></ul>TR N. Russell A. ter Hofstede W. van der Aalst N. Mulyar Sep 2006 revised Oct 2005 Data P:s - 40 N. Russell A. ter Hofstede D. Edmond W. van der Aalst Data representation and handling in a process ER’2005 Jun 2005 Resource P:s - 43 Resource definition & work distribution in a process N. Russell W. van der Aalst A. ter Hofstede D. Edmond CAiSE’2005 Control-flow P:s 20 W. van der Aalst A. ter Hofstede B. Kiepuszewski A. Barros The ordering of activities in a process 2000 CoopIS’2000 DAPD’2003 2003

9. The Workflow Patterns Framework Eva l ua t I on s time L a n g u a g e D e v e l o p m e n t: YAWL/newYAWL 評価ワークフローパターンフレームワーク Control-flow P:s 20 2000 2003 XPDL, BPEL4WS, BPML, WSFL, XLANG , WSCI, UML AD 1.4 UML AD 2.0, BPMN COSA FLOWer Eastman Meteor Mobile I-Flow Staffware InConcert Domino Workflow Visual Workflow Forte Conductor MQSeries/Workflow SAR R/3 Workflow Verve Workflow Changengine Jun 2005 Resource P:s - 43 BPEL4WS UML AD 2.0 BPMN Staffware WebSphere MQ FLOWer COSA iPlanet jBPM OpenWFE Enhydra Shark XPDL, BPEL4WS UML AD 2.0, BPMN Staffware MQSeries FLOWer COSA jBPM OpenWFE Enhydra Shark Data P:s - 40 Oct 2005 Exception P:s Jun 2006 Staffware WebSphere MQ FLOWer COSA iPlanet XPDL 2.0, BPEL4WS 1.1, BPMN Control-flow P:s 43 Sep 2006 revised Staffware WebSphere MQ WebSphere I.D. FLOWer COSA, iPlanet SAP, Filenet Oracle BPEL jBPM, OpenWFE Enhydra Shark BPEL4WS, XPDL 2.0, UML AD 2.0 BPMN, EPC (ARIS)

10. Impact of the Workflow Patterns <ul><li>Systems inspired or directly influenced by the patterns </li></ul><ul><ul><li>FLOWer 3.0 of Pallas Athena Ivolutia Orchestration </li></ul></ul><ul><ul><li>Bizagi of Vision Software OpenWFE (an open source WFMS) </li></ul></ul><ul><ul><li>Staffware Process Suite Zebra (an open source WFMS) </li></ul></ul><ul><ul><li>Pectra Technology Inc.’s tool Alphaflow (an open source WFMS) </li></ul></ul><ul><ul><li>Lynx Workflow by InsuraPro jBPM (a open source WFMS) </li></ul></ul><ul><li>Use of the workflow patterns in selecting a WFMS </li></ul><ul><ul><li>the Dutch Employee Insurance Administration Office </li></ul></ul><ul><ul><li>the Dutch Justice Department </li></ul></ul><ul><li>Other </li></ul><ul><ul><li>Pattern-based evaluations (e.g. ULTRAflow, OmniFlow, @enterprise, BPMN) </li></ul></ul><ul><ul><li>Citations (800+ according to Google Scholar) </li></ul></ul><ul><ul><li>Education (used in teaching at 10+ Universities) </li></ul></ul>ワークフローパターンの影響刺激を受けたり、直接考えを取り込んだり影響をうけたシステムワークフローシステムの選択でパターンを利用その他

11. Why revisit control flow? <ul><li>Lack of precision </li></ul><ul><ul><li>Solution: CPN formalisation + Context conditions </li></ul></ul><ul><li>Merging of various concepts </li></ul><ul><ul><li>Solution: A number of patterns were split </li></ul></ul><ul><li>Certain patterns missing </li></ul><ul><ul><li>Solution: Addition of those patterns </li></ul></ul>なぜコントロールフローパターンをもう一回 ? 精密さの欠如複数のコンセプトが混在パターン不足 CPN フォーマットとコンテキストコンディションを適用いくつかのパターンを分散いくつかのパターンを追加

12. Approach <ul><li>All original patterns were reviewed </li></ul><ul><li>All continue to serve a valid purpose </li></ul><ul><ul><li>Some were retained in original form but with more explicit context conditions and detailed semantics </li></ul></ul><ul><ul><li>Others were subdivided along different dimensions (the most basic interpretation replaced the original pattern, the others were added) </li></ul></ul><ul><li>New patterns were identified and included </li></ul><ul><li>Explicit evaluation criteria were added </li></ul><ul><li>Evaluations were completely revised </li></ul>アプローチすべてのパターンをレビューすべては明確な目的に役立ちますいくつかはオリジナルのパターンを維持していますが、コンテキストの条件や詳細な意味を追加他のいくつかのパターンはオリジナルとは違ったわけ方になっているのもあります新しいパターンが確立され新コントロールフローパターンに含まれています明確な評価基準が追加されています “ 評価”については完全に以前と異なったものに修正されています

13. The New Control-flow Patterns <ul><li>Multiple Instances (MI) Patterns </li></ul><ul><li>delineate situations with multiple threads of execution in a workflow which relate to the same activity. </li></ul><ul><li>State-based Patterns </li></ul><ul><li>reflect situations which are most easily modelled in WF languages with an explicit notion of state. </li></ul><ul><li>Cancellation Patterns </li></ul><ul><li>categorise the various cancellation scenarios that may be relevant for a workflow specification. </li></ul><ul><li>Trigger Patterns </li></ul><ul><li>catalogue the different triggering mechanisms appearing in a process context. </li></ul><ul><li>Basic Control-flow Patterns </li></ul><ul><li>capture elementary aspects of control-flow (similar to the concepts provided by the WFMC). </li></ul><ul><li>Advanced Branching and Synchronization Patterns </li></ul><ul><li>describe more complex branching and synchronization scenarios. </li></ul><ul><li>Iteration Patterns </li></ul><ul><li>describe various ways in which iteration may be specified. </li></ul><ul><li>Termination Patterns </li></ul><ul><li>address the issue of when the execution of a workflow is considered to be finished. </li></ul>新コントロールフローパターン基本パターン応用分岐パターン繰り返しパターン終了パターンコントロールフローの基本パターン . Wfmc 版に類似より複雑な分岐、同期のパターンを説明繰り返し制御が現れる複数のパターンを説明ワークフローが終了する状態の問題について言及複数インスタンスパターン同一アクティビティでのマルチスレッドの描写明確なフローの状態についての記述状態ベースパターンワークフロー仕様に関連あるキャンセルパターンを分類化キャンセルパターンプロセス上で発生しうる様々なトリガー ( プロセスを進める ) のカタログ化トリガーパターン

14. Example: Cancellation Region © YAWL Foundation <ul><li>Generalisation of Cancel Activity and Cancel Case </li></ul><ul><li>Region associated with a task </li></ul><ul><li>This region is emptied of tokens upon completion of that task. </li></ul><ul><li>Rarely fully supported (only UML 2.0 ADs through InterruptibleActivityRegion construct and YAWL) </li></ul>例 : キャンセル例外アクティビティとキャンセル時を明確化タスクとの関連タスク終了時のトークンは空になりますまれにサポートされています。 (UML 2.0 Ads の InterruptibleActivityRegion construct と YAWL のみ ) Cancellation: 25

15. A (Very) Complex CF Pattern: The General OR-Join <ul><li>Basically: Wait only if you have to </li></ul><ul><li>Problems: </li></ul><ul><ul><li>How should you treat other OR-joins? </li></ul></ul><ul><ul><li>How do you deal with cycles? </li></ul></ul><ul><ul><li>How do you treat decomposed tasks? </li></ul></ul><ul><ul><li>Is an analysis of the future possible? How complex will it be? </li></ul></ul><ul><ul><li>(for a detailed discussion see [WEAH05] and work by Kindler et al) </li></ul></ul>© YAWL Foundation 複雑パターン :OR-Join “ しなければいけないときのみ待て” ・他の OR-joins をどう扱うべきか？・フローサイクルとどう扱うか？・他タスクとの関連はどう扱うべきか？・未来予測 / 分析は可能？どれだけ複雑？詳細は WEAH05 の議論を参照 Advanced: 38

16. Non-local semantics of Gen. OR-Join ("bus driver semantics") Not only in EPCs but also in many WFM systems: Domino Workflow, Eastman, MQ Series, etc. Click here for a FLASH animation of General OR-Join ノンローカルな OR-Join EPCs だけでなくたくさんの WFMS でも同様です Advanced: 38

17. MI without a Priori Run-Time Knowledge <ul><li>Creation of a number of concurrently executing instances of an activity, this number is not known before invocation of the MI activity. Synchronisation of all instances created is required. </li></ul><ul><li>More advanced MI patterns address: </li></ul><ul><ul><li>Creation of new instances on-the-fly </li></ul></ul><ul><ul><li>Threshold for completion (partial join) </li></ul></ul><ul><ul><li>Cancellation of remaining threads in case of a partial join </li></ul></ul>推測的なランタイム情報をもたないマルチインスタンスアクティビティ並列実行のインスタンスを複数生成、その数はアクティビティの実行前には決められない。すべてのインスタンスの同期化は必須である他の MI パターンでは以下のことについて言及しています：実行時での新しい ( プロセス ) インスタンス生成終了 ( 部分 Join) 条件についてのスレッショルド部分 Join で残っているプロセスのキャンセル MI Patterns: 15

18. Control-Flow Perspective: Evaluation 1 – BPMN 2 – UML AD 3 – BPEL コントロールフロー面での評価基準

19. Data Pattern Categories <ul><li>Data Visibility: The extent and manner in which data elements can be viewed and utilised by workflow components. </li></ul><ul><li>Internal Data Interaction: Data communication between active elements within a workflow. </li></ul><ul><li>External Data Interaction: Data communication between active elements within a workflow and the external operating environment. </li></ul><ul><li>Data Transfer: Data element transfer across the interface of a workflow component. </li></ul><ul><li>Data Routing: The manner in which data elements can influence the operation of the workflow. </li></ul>© YAWL Foundation データパターンカテゴリデータ可視性：ワークフローコンポーネントの中でどうデータ要素が表現され利用されるかについて説明内部データ相互作用：ワークフロー内でのアクティブな要素間データのやりとりについて説明外部データ相互作用：ワークフロー内と外部システムでのアクティブな要素間データのやりとりについて説明データ転送：ワークフローコンポーネントを超えるデータ要素の転送について説明データルーティング：データ要素がワークフロー上での操作でどのように影響をうけていくか記述する作法について説明

20. Data Perspective: Evaluation 1 – BPMN 2 – UML AD 3 – BPEL データ面での評価基準

21. Workflow Resource Patterns <ul><li>Focus on the manner in which work is offered to, allocated to and managed by workflow participants </li></ul><ul><li>Consider both the system and resource perspectives </li></ul><ul><li>Assume the existence of a process model and related organisational model </li></ul><ul><li>Take into account differing workflow paradigms: </li></ul><ul><ul><li>richness of process model (esp. allocation directives) </li></ul></ul><ul><ul><li>autonomy of resources </li></ul></ul><ul><ul><li>alternate routing mechanisms </li></ul></ul><ul><ul><li>work management facilities </li></ul></ul>ワークフローリソースパターンワークフロー参加者による作業の指示、人 / システムの割り当て、管理などの作法に焦点を当てていますシステムとリソースの両面で考えますプロセス、関連している組織が既に存在していることを仮定しています異なるワークフローパラダイムを取り入れますリッチプロセスモデルリソースの自律ルーティングメカニズムの代替作業管理ファシリティ

22. Resource Patterns Classes <ul><li>Creation patterns: design-time work allocation directives </li></ul><ul><li>Push patterns: workflow system proactively distributes work items </li></ul><ul><li>Pull patterns: resources proactively identify and commit to work items </li></ul><ul><li>Detour patterns: re-routing of work items </li></ul><ul><li>Auto-start patterns: automated commencement </li></ul><ul><li>Visibility patterns: observability of workflow activities </li></ul><ul><li>Multiple resource patterns: work allocation involving multiple participants or resources </li></ul>Click here for a FLASH animation of Delegation Pattern リソースパターン分類生成パターン：設計時でのリソース割り当てプッシュパターン：ワークフローシステムが積極的に作業を提供プルパターン：リソース（人など）が積極的に作業をコミットする回り道パターン：作業の流れを変える自動スタートパターン：自動開始のパターン可視化パターン：作業の監視性複数リソースパターン：複数リソースにまたがる作業の割り当て

23. Work Item Lifecycle created offered to a single resource offered to multiple resources allocated to a single resource suspended failed started completed R:allocate-s R:start-s R:suspend R:resume R:complete R:fail R:start R:start-m S:create S:offer-s S:offer-m S:allocate R:allocate-m 作業ライフサイクル

24. Resource perspective: Evaluation 1 – BPMN, 2 – UML AD, 3 – Oracle BPEL PM (from [Mulyar 2005]) リソース面での評価基準

25. <ul><li>www.yawlfoundation.org (research) </li></ul><ul><li>www.sourceforge.net /projects/yawl (system) </li></ul><ul><li>http:// www.yawlgroup.com (consultancy) </li></ul>YAWL in the web YAWL in the web 詳細は web で。。。

26. YAWL Overview <ul><li>Collaboration between TU/e and QUT </li></ul><ul><li>Based on Workflow Patterns Initiative </li></ul><ul><li>YAWL: 2002 – newYAWL: 2007 </li></ul><ul><li>System development </li></ul><ul><ul><li>Open source (currently LGPL) </li></ul></ul><ul><ul><li>Governed by YAWL Foundation </li></ul></ul><ul><ul><li>Industry collaboration </li></ul></ul><ul><ul><ul><li>M2 Investments – first:telecom </li></ul></ul></ul><ul><ul><ul><li>Intercontinental Hotels Group (till 2007) </li></ul></ul></ul><ul><li>Main publication </li></ul><ul><ul><li>[AH05] W.M.P. van der Aalst and A.H.M. ter Hofstede. YAWL: Yet Another Workflow Language, Information Systems 30(4):245-275, 2005 </li></ul></ul>YAWL 概要 TU/e と QUT のコラボレーションワークフローパターンイニシアティブに基づいています YAWL 2002 年から始まって , 新 YAWL が 2007 年スタート業界コラボレーションテレコムインターコンチネンタルホテルグループとりまく環境

27. YAWL Highlights <ul><li>YAWL </li></ul><ul><ul><li>Based on the (old) control-flow patterns </li></ul></ul><ul><ul><li>Extends Petri nets </li></ul></ul><ul><ul><li>Formalisation of control flow perspective </li></ul></ul><ul><ul><li>Verification </li></ul></ul><ul><ul><li>Dynamic workflow </li></ul></ul><ul><ul><li>Exception handling </li></ul></ul><ul><li>YAWL System </li></ul><ul><ul><li>Open source </li></ul></ul><ul><ul><li>Service oriented architecture </li></ul></ul><ul><ul><li>Production class </li></ul></ul><ul><li>newYAWL </li></ul><ul><ul><li>Direct support for: </li></ul></ul><ul><ul><ul><li>41 out of 42 control flow patterns (missing: implicit termination) </li></ul></ul></ul><ul><ul><ul><li>38 out of 40 data patterns (and the other two, passing by reference, partially) </li></ul></ul></ul><ul><ul><ul><li>38 out of 43 resource patterns (missing: patterns related to case handling) </li></ul></ul></ul><ul><ul><li>Formalisation in CPN </li></ul></ul><ul><ul><li>Implementation of its resource perspective in system (due in the near future …) </li></ul></ul>YAWL ハイライト旧コントロールフローパターンに基づいていますペトリネットを拡張コントロールフローの形式化立証動的ワークフロー例外ハンドリングオープンソースＳＯＡ製品レベルパターンサポートＣＰＮ形式リソース面での実装も近い将来に対応。。。

28. YAWL notation Composite task Multiple Instance task YAWL 記述

29. General YAWL Example I YAWL サンプル

30. General YAWL Example II YAWL サンプル２

31. General YAWL Example III © YAWL Foundation YAWL サンプル３

32. Cancellation in YAWL <ul><li>The concept of cancellation region generalises the cancel activity and cancel case patterns </li></ul><ul><li>Syntactically, a cancellation region consists of a number of tasks and places (possibly including implicit ones!) part of the same composite task and attached to a so-called cancellation task (also part of the same composite task). </li></ul><ul><li>Semantically, upon completion of the cancellation task all tokens in the cancellation region (or in decompositions of tasks in that region etc) are removed. </li></ul>YAWL でのキャンセルキャンセルについてのコンセプトはキャンセル作業、ケースを一般化すること構文的にキャンセル領域は複数のタスクで構成され、あるタスクはキャンセルタスクと関連します意味としてはキャンセル領域のすべてのトークン（状態）は戻される ( 移動 ) ということ

33. General YAWL Example IV YAWL サンプル４

34. YAWL Example with Time T represents a time-out task YAWL 時間のサンプル T はタイムアウトタスクを表しています

35. The YAWL System <ul><li>Engine, Graphical Editor, Custom YAWL Services </li></ul><ul><li>First release November 2003, Open Sourced in May 2004 </li></ul><ul><li>Release 2.0 planned for Mid 2008 </li></ul><ul><li>Perspectives: </li></ul><ul><ul><li>Control-flow: comprehensive support for original patterns </li></ul></ul><ul><ul><li>Data: using XML technologies </li></ul></ul><ul><ul><li>Resource: fairly basic currently, comprehensive support in 2.0 </li></ul></ul><ul><ul><li>Operational: tasks can be linked to web services </li></ul></ul><ul><li>Service-oriented architecture </li></ul><ul><li>Automated form generation </li></ul><ul><li>Support for dynamic workflow and exception handling </li></ul><ul><li>Support for design time verification </li></ul><ul><li>Persistence (thanks to M2 Investments/first:telecom) </li></ul>The YAWL システムエンジン、グラフィカルエディタ、独自 YAWL サービス 2003 年 11 月にリリースされ、 2004 年 5 月にオープンソース化 2008 年中に ver.2.0 リリース予定旧パターンの統括的なサポート XML 利用今は基本的なところのみサポート、 ver.2.0 で完全サポートタスクは web サービスにリンクしていますＳＯＡフォーム自動生成動的ワークフローと例外ハンドリング設計時の立証永続化

36. <ul><li>The data inside of YAWL exists as many XML documents </li></ul>Native use of XML © YAWL Foundation XML の使い方 YAWL 内のデータはたくさんの XML として存在しています

37. <ul><li>The functionality of the YAWL business processing engine uses XML standards internally to perform the actions that one would expect of a Business Process System: </li></ul><ul><ul><li>Data Validation: XML Schema </li></ul></ul><ul><ul><li>Transformations: XQuery </li></ul></ul><ul><ul><li>Decision making: XPath </li></ul></ul>Native use of XML (2) XML の使い方 YAWL エンジンの機能は標準である XML を内部で利用しますバリデーションには XMScheme データ転送には XQuery 意思決定 ( 条件分岐 ) には XPath

38. Native use of XML (3): strong data typing XML の使い方：強い型タイピング

39. Native use of XML (4): Transformations in Data Passing XML の使い方：データ転送

40. Native use of XML (5): System Decisions 意思決定（条件分岐）

41. Native use of XML (6): Generation of X f orms ｖ © YAWL Foundation Xform 生成

42. YAWL Workflow Engine Worklet Service Resource Service Web Service Invoker Service A B X E Event Log Event Log Process Repository Case Data YAWL Process Editor A A B Admin Worklist R R A B B O W Org Model Event Log Worklet Repository Exception Selection X Web Service    users Web Service Service Oriented Architecture PROM Interfaces A - Administration B - Processes E - Logging O - Org Data R - Resourcing W - Work Queue X - Exception SOA

43. Control flow specification コントロールフロー仕様

44. Data flow specification データフロー仕様

45. Resource specification (2.0) リソース仕様 (2.0)

46. YAWL resource service YAWL リソースサービス

47. Case management ケース管理

48. Work Item Actions ワークアイテムアクション

49. Data entry for started work items データエントリ

50. User Management ユーザ管理

51. Verification <ul><li>Design time analysis of YAWL specifications </li></ul><ul><li>Important due to long-lived nature of workflows </li></ul><ul><li>Highly complex (both algorithmically and computationally) </li></ul><ul><li>Almost never supported by commercial or open source systems </li></ul><ul><li>YAWL environment supports three approaches: </li></ul><ul><ul><li>Structural </li></ul></ul><ul><ul><li>Behavioural </li></ul></ul><ul><ul><li>Reset nets </li></ul></ul>立証 YAWL 仕様のプロセス設計時による分析ワークフローの長時間という特質からくる重要さ高い複雑さ（アルゴリズム面、計算面）ほとんどの商用 / オープンソースの製品ではサポートされていない YAWL 環境では以下の３つのアプローチを採用しています：構造振る舞いネット初期化

52. Dynamic Workflow and Exception Handling: Workflow Limitations <ul><li>Uptake of WfMS is limited to implementation of rigid and/or idealised workflow processes. </li></ul><ul><li>Reason: WfMSs have difficulty dealing with process flexibility : </li></ul><ul><ul><ul><li>Keeping it simple means ignoring deviations </li></ul></ul></ul><ul><ul><ul><li>Capturing deviations means complex models </li></ul></ul></ul><ul><ul><li>difficulty evolving with the work practices they model </li></ul></ul><ul><ul><li>difficulty representing “real-world” activities </li></ul></ul><ul><ul><li>limited exception handling capabilities </li></ul></ul>動的ワークフローと例外ハンドリング：ワークフローの制約 WFMS の理解は“堅い” ,“ 理想的な”ワークフロープロセスの実装に限られますプロセス柔軟性をあつかうのは難しいシンプルさを保つということはズレ（細かい本質でないこと）を無視することズレを正確に把握することはモデルが複雑になるということ進化していくモデルに対応する難しさ現実のアクティビティを表現する難しさ例外ハンドリングでできることの限界

53. Introducing Worklets <ul><li>A worklet is a small, self-contained, complete workflow process which handles one specific action (task) in a larger, composite activity (process). </li></ul><ul><li>Each task of a process instance may be linked to an extensible repertoire of worklets, one of which is contextually chosen at runtime to carry out the task. </li></ul><ul><li>The repertoire is dynamically constructed as different approaches to completing a task are developed, derived from the context of each process instance. </li></ul><ul><li>A sequence of worklets may be chained to form an entire workflow process. </li></ul>Worklets とは Worklets は小さく、自分だけで動作し、ワークフロープロセスを管理できます（大きく、複雑なアクティビティにある特定の作業（タスク）も扱えます ) 各プロセスインスタンスのタスクは Worklets の拡張可能なレパートリーに関連づいています。それらのうちのひとつは実行時に前後関係からタスク間の関連が決定します。異なるフロー（タスクを終了するための）が設計されるときに動的にレパートリーが構築されます Worklets における順序はプロセス全体を構成するために管理されます

54. Worklets <ul><li>For each deviation that may occur, a complementary worklet for handling it may be defined, to be dynamically incorporated into a workflow execution whenever needed. </li></ul><ul><ul><li>Worklets to handle deviations are constructed in exactly the same way as those for standard processes. </li></ul></ul><ul><li>Importantly, the method used to handle an exception is captured by the system, and so a history is recorded for future instantiations. </li></ul><ul><ul><li>In this way, the process model-set undergoes a dynamic natural evolution. </li></ul></ul>ワークレットおきるであろうズレは worklets でハンドリングすることが定義されれば必要時にワークフロー実行時に動的に実行されますズレをハンドリングするには標準プロセスの構築とまったく同じ方法で行なえます重要なのは、例外はシステムで補足され、履歴が保持されることプロセスのモデルセットは動的に裏側で行なわれます

55. Worklet Selection <ul><li>Each worklet is a representation of a particular situated action, the runtime selection of which relies on the relevant context of each case instance, derived from case and historical data. </li></ul><ul><li>The worklet selection process is achieved through the use of modified Ripple Down Rules (RDR). </li></ul><ul><li>Each task in a process may be associated with a particular RDR set from which are referenced a repertoire of worklets. </li></ul><ul><li>One will be dynamically selected and assigned to perform the task at runtime, based on the particular context of the task. </li></ul>ワークレット選択各ワークレットはあるアクション ( 作業の単位）を表したもので、実行時のアクションの選択は実行時の状況、履歴データから決定されますそのアクションの決定には RippleDownRules(RDR) が利用されます各タスクはワークレットのレパートリーから参照される RDR とひもづいていますアクションが動的に決定されタスクの実行に割り当てられるのはタスクの状態に基づいて行なわれます

56. RDR Structure <ul><li>An RDR Knowledge Base is a collection of simple rules conceptually arranged in a binary tree structure. </li></ul><ul><li>Each rule node may have a false (‘or’) branch and/or a true (‘exception’) branch to another rule node </li></ul><ul><ul><li>the root node has a default rule and can have a true branch only. </li></ul></ul><ul><li>If a rule is satisfied, the true branch is taken and the rule of the child node is evaluated </li></ul><ul><li>If it is not satisfied, the false branch is taken and its child node rule is evaluated. </li></ul>RDR 構造 RDR 知識ベースはシンプルなルールの集合で、二分木構造で概念レベルでアレンジされたものです各ルールノードは他ルールノードへの false / true での分岐を保持しますルートノードはデフォルトルールを保持し true 分岐のみ保持しますルールが成立する場合、 true 分岐に遷移し、次ルールノード（子ノード ) のルールが評価されますルールが成立しない場合、 false 分岐に遷移し、次ルールノード（子ノード ) のルールが評価されます

57. RDR Structure <ul><li>When a terminal node is reached: </li></ul><ul><ul><li>if its rule is satisfied, then its conclusion is returned </li></ul></ul><ul><ul><li>if its rule is not satisfied, then the conclusion of the last rule satisfied on the path to that node is returned </li></ul></ul><ul><li>If the conclusion returned is found to be unsuitable for a particular case instance, a new rule may be formulated and added as a new leaf node. </li></ul><ul><ul><li>In essence, each added rule is a refinement of its parent. </li></ul></ul>RDR 構造ルールノードが終了ノードに到達したときに：ルールが成立した場合には結果を戻しますルールが成立しない場合には最後に成立したルールの結果を戻します戻された結果は不適切と判断された場合には新しいルールが計算され新しくルールノードが追加されます本質的には各追加されたルールは親ノードの洗練されたルールになります

58. Simple RDR Example Root (p1) (p2) (p3) (p4) (p5) (numbers refer to photo credits page) (p6) シンプルな RDR サンプル

59. Worklet Service Architecture YAWL engine A B Worklet service RDRs Logs YAWL worklist  Rules editor Worklet Specs X YAWL editor © YAWL Foundation ワークレットサービスアーキテクチャ

60. Worklet Exception Service <ul><li>The Worklet Service also provides support for exception handling . </li></ul><ul><li>Each specification may have a separate RDR rule set defined for each type of possible process exception. </li></ul><ul><li>When an exception occurs: </li></ul><ul><ul><li>If a process has a rule set defined for that exception type, the worklet service will handle the exception by invoking an appropriately selected exception handling process </li></ul></ul><ul><ul><li>If there is no associated rule set, the exception is simply ignored. </li></ul></ul>ワークレット例外サービスワークレットサービスは例外ハンドリングもサポートします各仕様は実行可能なプロセスのための RDR ルールセットを保持しています例外がおきると：例外タイプのルールセットを保持している場合、ワークレットサービスは指定された例外タイプを呼び出し例外を適切にハンドリングします例外タイプのルールセットを保持していない場合、例外は無視されます

61. Worklets & Exceptions <ul><li>The Worklet Service uses the same rules framework for selecting exception handlers as it does for worklet substitutions </li></ul><ul><li>For exceptions, a discrete exception handling sequence is selected instead of a single worklet </li></ul><ul><ul><li>The exception sequence may contain a worklet to run as a compensatory process </li></ul></ul><ul><li>Exception Handling sequences can be defined 'on-the-fly' for unexpected exceptions, which will then be dynamically incorporated into an instance of that workflow process whenever needed. </li></ul><ul><ul><li>Worklets to handle exceptions are constructed in exactly the same way as those for standard processes. </li></ul></ul><ul><li>Importantly, the method used to handle an exception is captured by the system, and so a history is recorded for future instantiations. </li></ul><ul><ul><li>In this way, the process model-set undergoes a dynamic natural evolution. </li></ul></ul>ワークレットと例外ワークレットサービスは例外ハンドリングの際にも同じルールフレームワークを利用します例外ハンドリングの処理はワークレットの代わりに順番が制御されることがあります例外ハンドリングの処理順序に補正を目的としたワークレット自体が含まれることもあります例外ハンドリングの処理順序は予期せぬ例外のための順序も実行時として定義できます。必要なときにはプロセスインスタンス内で動的に呼び出されますワークレットでは標準プロセスと同様の方法で例外ハンドリングを構築できます重要なのは、例外はシステムで補足され、履歴が保持されることプロセスのモデルセットは動的に裏側で行なわれます

62. Exception Factors The Worklet Service can take these actions against these targets for these events 例外ファクターワークレットサービスは以下のイベントを取得できます Ancestors All Cases Case Task Targets External Triggers Task abort Unavailable resource Timeout Constraint violation Constraints (pre & post) Events Compensate Remove Fail Complete Restart Continue Suspend Actions

63. Exception Handlers <ul><li>Exception handling sequences are defined using the 'exception handling primitives‘ </li></ul><ul><li>A specification can have a repertoire of handlers for each exception type - the appropriate handler will be chosen contextually at runtime </li></ul><ul><ul><li>For item-level exceptions, each item in the specification has its own repertoire of handlers </li></ul></ul><ul><li>A sequence can contain any number of compensation primitives, each associated with a worklet. </li></ul><ul><ul><li>Worklets can run in parallel with the parent task, or while the parent is suspended </li></ul></ul>例外ハンドラ例外ハンドリングの順序は ‘ exception handling primitives‘ で定義されますフロー定義では例外ハンドラのレパートリーを保持し、実行時の状態で適切なハンドラが選択されるようになります個々のワークフローアイテム毎に例外ハンドラを定義できますワークレットに関連する補正むけの順序も含んでいますワークレットは親タスクが一時停止された場合にでも並行実行可能です

64. Worklet Advantages <ul><li>Keeps the parent model clean and simple . </li></ul><ul><li>Promotes the reuse of sub-processes in different models. </li></ul><ul><li>Allows standard processes to be used as exception handling processes , and vice versa. </li></ul><ul><li>An extensible repertoire of actions can be compiled that can be invoked as required during design and/or runtime. </li></ul><ul><li>A system may build a history of executions, providing for a learning system that can take the appropriate actions for certain contexts automatically. </li></ul>ワークレットの優位性モデルをきれいにシンプルにできます異なるモデルでサブプロセスが再利用できます例外ハンドリングを標準プロセス内で利用できます拡張可能なレパートリーは設計時、実行時に呼び出されるようにコンパイルされます状況に応じた適切なプロセス実行を行なうために実行履歴を保持する学習システムを用意しています

65. Worklet Advantages <ul><li>A fully encapsulated sub-process allows for easier verification and modification. </li></ul><ul><li>Allows a model to evolve without the need to stop and modify the design of the whole model when an exception occurs. </li></ul><ul><li>By de-coupling the monolithic process model, models can be built that vary from loosely to tightly defined and so supports late binding of processes. </li></ul><ul><li>Allows a model to be considered from many levels of granularity . </li></ul>ワークレットの優位性容易な立証のためのサブプロセスのカプセル化例外発生時でもプロセスモデルの実行をとめたり修正したりすることなくモデルを進化させることができるモノリシックなプロセスモデルを疎結合にすることで、モデルは固いものからゆるいものまで定義でき最新のプロセスモデルの動的バインディングもサポートしますあらゆる粒度でモデルを構築できます

66. Current and Future Activities <ul><ul><li>Transition of YAWL 2.0 Beta version to YAWL 2.0 version </li></ul></ul><ul><ul><li>Case studies (e.g. Film & TV industry) – YAWL4Film </li></ul></ul><ul><ul><li>Simulator </li></ul></ul><ul><ul><li>Inter-process communication </li></ul></ul><ul><ul><li>Configurable reference models </li></ul></ul><ul><ul><li>Visualization framework for work list presentation </li></ul></ul><ul><ul><li>Declarative workflows </li></ul></ul><ul><ul><li>BPMN2YAWL plug-in </li></ul></ul><ul><ul><li>YAWL to OpenWFEru – by John Mettraux </li></ul></ul>今とこれから YAWL Beta から YAWL2.0 version にむけて事例シミュレータプロセス間相互通信設定可能な参照モデルワークリストのビジュアル化宣言的ワークフロー BPMN2YAWL プラグイン OpenWFE-ru の YAWL インテグレーション

67. Thanks! <ul><li>Questions? </li></ul>

68. Some References <ul><li>[AH02] W.M.P. van der Aalst and A.H.M. ter Hofstede. Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages (Invited Talk). In K. Jensen, editor, Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), volume 560 of DAIMI, pages 1-20, Aarhus, Denmark, August 2002. </li></ul><ul><li>[AH05] W.M.P. van der Aalst and A.H.M. ter Hofstede. YAWL: Yet Another Workflow Language, Information Systems 30(4):245-275, 2005 </li></ul><ul><li>[AADH04] W.M.P. van der Aalst, L. Aldred, M. Dumas, and A.H.M. ter Hofstede. Design and Implementation of the YAWL System. In Proceedings of the 16th International Conference on Advanced Information Systems (CAiSE'2004). Riga, Latvia, June 2004. Springer Verlag </li></ul><ul><li>[AHEA06] Michael Adams, Arthur H.M. ter Hofstede, David Edmond, W.M.P. van der Aalst. Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows. In Proceedings of CoopIS’2006 (to appear), Montpellier, France, 2006. </li></ul><ul><li>[VAH06] H.M.W. Verbeek, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Invariants . BPM Center Report BPM-06-01, BPMcenter.org, 2006. </li></ul><ul><li>[WEAH05] M. Wynn, D. Edmond, W.M.P. van der Aalst, A.H.M. ter Hofstede. Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets. Proceedings of ATPN’2005. Miami, Florida, 2005. </li></ul><ul><li>[WAHE06] M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede and D. Edmond, Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Reset Nets and Reachability Analysis, Proceedings of BPM 2006, Vienna, Austria, (short paper), volume 4102 of Lecture Notes in Computer Science, pages 389-394, 2006, Springer-Verlag. </li></ul><ul><li>[RAH] N. Russell, A.H.M. ter Hofstede and W.M.P. van der Aalst, newYAWL: Specifying a Workflow Reference Language using Coloured Petri Nets, in Proc of 8th Workshop and Tutorial on Practucal Use of Coloured Petri Nets and the CPN Tools, Denmark 2007 </li></ul>