Milano: un esempio di prototipo di WMS. Alessandra Agostini, Tecnologie per la cooperazione

Size: px

Start display at page:

Download "Milano: un esempio di prototipo di WMS. Alessandra Agostini, Tecnologie per la cooperazione"

Reginald Page
8 years ago
Views:

1 Milano: un esempio di prototipo di WMS 54

2 The Milano WMS MWMS MCH A component of a CSCW platform: Application Environment MOR Execution Safe-Tcl Linking communication and action Environment Interpreter TCP-IP Providing simple workflow models which allow: Workspace Support of multiple representations of the workflow Computation of exceptional paths from the standard behaviour Verification of the correctness of a change with respect to the target Safe enactment of a change on all running instances To Do List MCH Mailbox 55

multiple representations of the workflow Computation of exceptional paths from the standard behaviour Verification of the

3 Supporting different views b3 b4 b5 b1 b2 b6 b7 Financial Insolvencies b8 Investigation {b2} {b1} {b3, b6} {b4, b6} {b5, b6} Financial Insolvencies Investigation {b3, b7} {b3, b8} {b3, b9} {b4, b7} {b5, b7} {b4, b8} {b5, b8} {b4, b9} {b5, b9} AD: Writing (=<50M) b11 DC: Evaluation Writing Report b10 DC:Writing (=<80M) b13 CO:Evaluation b18 b9 b12 CO: Writing (=<200M) RB:Evaluation AD:Seconding b15 b14 Client:Approval Conditions & Signature DC:Seconding CO:Seconding b16 RB:Writing (>200M) b17 RB:Evaluation AD: Writing (=<50M) {b11} DC:Evaluation {b10} DC:Writing (=<80M) {b18} Client:Approval Conditions & Signature AD:Seconding {b12} DC:Seconding {b13} {b14} CO:Writing (=<200M) CO:Evaluation {b15} {b19} RB:Evaluation RB:Evaluation CO:Seconding {b16} {b17} RB:Writing (>200M) b19 56

AD:Seconding b15 b14 Client:Approval Conditions & Signature DC:Seconding CO:Seconding b16 RB:Writing (>200M) b17 RB:Evaluation AD: Writing (=<50M) {b11} DC:Evaluation {b10} DC:Writing (=<80M) {b18}

4 Exception Handling via jumps b3 b4 b1 b2 b6 b7 Financial Insolvencies b8 {b1} {b2} {b3, b6} {b4, b6} {b5, b6} Financial Insolvencies Investigation {b3, b7} {b3, b8} {b3, b9} {b4, b7} {b5, b7} {b4, b8} {b5, b8} {b4, b9} {b5, b9} b5 Investigation Writing Report b10 b9 {b10} Milano WMS: strongly linear jumps 57

{b3, b8} {b3, b9} {b4, b7} {b5, b7} {b4, b8} {b5, b8} {b4, b9} {b5, b9} b5

5 Exception Handling via jumps b3 b4 b5 b1 b2 Writing Report b6 b7 Financial Insolvencies b8 Investigation b9 {b1} {b2} {b3, b6} {b4, b6} {b5, b6} Financial Insolvencies Investigation {b3, b7} {b3, b8} {b3, b9} {b4, b7} {b5, b7} {b4, b8} {b5, b8} {b10} {b4, b9} {b5, b9} b10 Milano WMS: weakly linear jumps 58

Financial Insolvencies Investigation {b3, b7} {b3, b8} {b3, b9} {b4, b7}

6 Supporting Global Changes: static correctness Correctness of the change with respect to a Minimal Critical Specification (MCS) The default MCS contains all activities without flow constraints The check is made through an injective morphism between the MCS and the changed model 59

default MCS contains all activities without flow constraints The

7 Supporting Global Changes: dynamic safe enactment Parallelization Sequentialization unsafe states Swapping 60

8 Example of parallelization {b1} Financial Insolvencies Investigations {b2} {b3, b6} {b4, b6} {b5, b6} Financial Insolvencies Investigation {b3, b7} {b3, b8} {b3, b9} {b4, b7} {b5, b7} {b4, b8} {b5, b8} {b4, b9} {b5, b9} AD: Writing (=<50M) {b10} AD:Seconding The old model The new model 62

{b3, b7} {b3, b8} {b3, b9} {b4, b7} {b5, b7} {b4, b8} {b5, b8} {b4, b9}

9 Example of swapping Financial Insolvencies Investigation Financial Insolvencies Investigation The old model The new model 63

10 Bibliografia [Abbott e Sarin 1994] Abbott KR, Sarin SK Experiences with Workflow Management: Issues for the Next Generation In: Atti della 5a conferenza su 'CSCW', Chapel Hill, North Carolina, Ottobre 1994 [Agostini et al 1995] Agostini A, De Michelis G, Grasso M A,Patriarca S Reengineering a Business Process with an Innovative Workflow Management System: a Case Study In: Collaborative Computing, casa edit Chapman & Hall, Vol 1, No 3, 1994, pp [Agostini e De Michelis 2000a] Agostini A, De Michelis G A light workflow management system using simple process models In "Computer Supported Cooperative Work The Journal of Collaborative Computing", Kluwer Academic Publishers, Vol 9, No 3-4, Agosto 2000, pp [Agostini e De Michelis 2000b] Agostini A, De Michelis G Improving Flexibility of Workflow Management Systems In W van der Aalst, J Desel, A Oberweis (Ed), Business Process Management: Models, Techniques, and Empirical Studies, LNCS 1806, Springer, Febbraio 2000, pp [Bernstein 2000] Bernstein A How Can Cooperative Work Tools Support Dynamic Group Processes? Bridging the Specificity Frontier In: Atti della conferenz su CSCW, Philadelphia, PA, 2-6 Dicembre

Computing, casa edit Chapman & Hall, Vol 1, No 3, 1994, pp 163-190 [Agostini e De Michelis 2000a] Agostini A, De Michelis G A light workflow management system using simple process models In "Computer

11 Bibliografia [Ellis e Keddara 1995] Ellis AC, Keddara K Dinamic Change within Workflow System In: Atti della conferenza su 'Organizational Computing System', COOCS'95, San Jose, California, 1995 [Hammer e Champy 1993] Hammer M, Champy J Reengineering the Corporation: A Manifesto for Business Revolution, HarperCollins Publisher, New York 1993 [Medina-Mora et al 1992] Medina-Mora R, Winograd T, Flores R, Flores F The Action Workflow Approach to Workflow Management Technology In: Atti della 4a conferenza su 'CSCW', Toronto, Canada, 31 Ottobre- 4 Novembre 1992 [Schmidt 1997] Schmidt K Of maps and scripts The status of formal constructs in cooperative work In: Atti della conferenza su Supporting Group Work, GROUP 97, Phoenix, Arizona, Novembre 1997, ACM Press, New York, NY, 1997, pp [Swenson 1993] Swenson K Visual Support for Reengineering Work Processes In: Atti della conferenza su 'Organizational Computing System', COOCS'93, San Jose, California, 1-4 Novembre 1993 [Workflow Management Coalition] 65

T, Flores R, Flores F The Action Workflow Approach to Workflow Management Technology In: Atti della 4a conferenza su 'CSCW', Toronto, Canada, 31 Ottobre- 4 Novembre 1992 [Schmidt 1997] Schmidt K Of

Doing Software Development: Occasions for Automation and Formalisation

Appeared in the European Conference on Computer Supported Cooperative Work. Lancaster, UK. September 7-11, 1997. 173-188. Doing Software Development: Occasions for Automation and Formalisation Rebecca