際際滷

際際滷Share a Scribd company logo

Dynamic Weaving in Aspect Oriented Business Process Management

Amin Jalali
Amin Jalali

This document summarizes a presentation on aspect-oriented business process modeling (AOBPM). It introduces AOBPM design, dynamic weaving approaches, how weaving enables flexibility, workitem lifecycles, formal semantics using Petri nets, an implementation using YAWL, and a bank case study. Limitations discussed include using small processes and opportunities for refining advice modeling and precedence. The presentation aims to separate concerns to simplify processes and support agility.

1 of 16
2013, 11-13 Sept, Graz, Austria Amin Jalali*, Petia Wohed*, Chun Ouyang** and Paul Johannesson* 11/09/2013 1 * Department of Computer and Systems Sciences, Stockholm University, Sweden ** Science and Engineering Faculty, Queensland University of Technology, Australia
2013, 11-13 Sept, Graz, Austria Agenda Introduction AOBPM Design AOBPM - Enactment (Weaving) Weaving Approaches Weaving & Flexibility Workitem lifecycle Weaving Steps Formal Semantics Implementation Case Study Limitations & Future Works Questions 11/09/2013 2
2013, 11-13 Sept, Graz, Austria Introduction Separation of concerns Modularization Techniques Cross-cutting concerns Aspect orientation 11/09/2013 3 Issue a bank draft Traceability Auditing Deal for speculation Change asset deal Logging Open a Letter of Credit Security Cross-cutting concerns Core-Concerns General Manager DealingDep. Dealer JuniorChief BackOffice Emp. Fill Position Sheet Confirm OfficeEmp. Archive Position Sheet Position Sheet yes No Deal Fill DealSlip Sign Deal Slip Sign Deal Slip Archive Deal Slip ChangeAssetDealProcess Complexity Maintenance Re-usability Etc. (Jalali et al, AOBP Modeling with Precedence, BPMN 2012)
2013, 11-13 Sept, Graz, Austria AOBPM - Design 11/09/2013 4 (van der Aalst, BPM: A Comprehensive Survey 2013) RunandAdjust (Re)design Implement/configure Data-basedanalysis Model-basedanalysis
2013, 11-13 Sept, Graz, Austria AOBPM Design (2) Modeling Approaches: AO4BPMN by Charfi et al. Cappelli et al. Jalali et al. Definitions: Join point Advised Join point Pointcut Advice Aspect PROCEED 11/09/2013 5 - - Fill Information Transfer Archive Information PROCEED LoggingAspectTransferMoneyProcess ArchivePointcut Aspect Advice Archive Sign transaction PROCEED SecurityAspect Aspect Advice Sign when transfer to other account Sign when transfer to other account Pointcut
2013, 11-13 Sept, Graz, Austria Weaving Static Lack of flexibility (adjustment) Dynamic Handling flexibility Addressing changes quickly. 11/09/2013 6 M D|N|E M D|N|E M D|N|E Merge models (MerM) Cross-cutting Concerns Core-Concern M D|N|E rules M E M E M E S S Adpat while running (AdaWR) Cross-cutting Concerns Core-Concern M E rules
2013, 11-13 Sept, Graz, Austria Dynamic Weaving & Flexibility Concerns: Main Full Completeness Runtime Flexibility Cross-Cutting Partial Completeness Runtime 11/09/2013 7 Design Change Deviation UnderspecificationUnderspecification (Late binding) (Late modeling) Run-timeDesign-time PartialFull Flexibility Configuration ProcessDefinitionCompleteness From Towards a Taxonomy of Process Flexibility by Schonenberg H. et al.
2013, 11-13 Sept, Graz, Austria Workitem lifecycle Weaving Points Weaving information Control-flow Perspective Data Perspective Resource Perspective Etc. 11/09/2013 8 Created allocated to a single resource Started Completed Suspended Failed offered to multiple resources offered to a single resource From Workflow Resource Patterns: Identification, Representation and Tool Support by Russell N. et al.
2013, 11-13 Sept, Graz, Austria Weaving Steps Steps: Launching Pausing Resuming Finalizing Questions: How data should be synchronized? Howe each type of advice should be treated? What information should be persisted for dynamic weaving? How each workitem and case should be controlled? Etc. 11/09/2013 9 B D Proceed E Proceed F G Proceed H A C 2 3 41 Proceed
2013, 11-13 Sept, Graz, Austria Formal Semantics Coloured Petri Nets widely-used formal technique for system design and verification Implemented in CPN Tools State Space Analysis To proof soundness 11/09/2013 10
2013, 11-13 Sept, Graz, Austria Implementation Implemented as a service for YAWL: 1. support full workitem life cycle 2. has formal foundation 3. open-source 4. based on Service Oriented Architecture 11/09/2013 11 Rule RepositoryProcess Repository Org Model Event Log YAWL Process Editor A R A YAWL Workflow Engine B X UsersUsers Pointcut Editor B R O A Admin worklist Resource Service Aspect Service XB
2013, 11-13 Sept, Graz, Austria Case Study Interviews with a domain expert Two similar process selected Change asset deal process handles deals for exchanging assets of the bank from one currency to another. Deal for speculation process Contains several security concerns The result is changing the banks assets 11/09/2013 12
2013, 11-13 Sept, Graz, Austria Case Study (2) Result: separation of several concerns. Decrease complexity Increase reusability Facilitate Maintenance and change management Enable agile development Documenting additional knowledge Direction for future work 11/09/2013 13
2013, 11-13 Sept, Graz, Austria Limitations & Future Work Small processes Pros: learn quickly, easier to present to a less domain knowledgeable audience. Cons: Too small advices Future Works: Precedence Case studies in other domains like healthcare Needs to refine the modeling techniques in definition of advice types 11/09/2013 14
2013, 11-13 Sept, Graz, Austria Limitations & Future Work (2) 11/09/2013 15 (van der Aalst, BPM: A Comprehensive Survey 2013) RunandAdjust (Re)design Implement/configure Data-basedanalysis Model-basedanalysis
2013, 11-13 Sept, Graz, Austria Questions Thank you ... 11/09/2013 16

More Related Content

Dynamic Weaving in Aspect Oriented Business Process Management

  • 1. 2013, 11-13 Sept, Graz, Austria Amin Jalali*, Petia Wohed*, Chun Ouyang** and Paul Johannesson* 11/09/2013 1 * Department of Computer and Systems Sciences, Stockholm University, Sweden ** Science and Engineering Faculty, Queensland University of Technology, Australia
  • 2. 2013, 11-13 Sept, Graz, Austria Agenda Introduction AOBPM Design AOBPM - Enactment (Weaving) Weaving Approaches Weaving & Flexibility Workitem lifecycle Weaving Steps Formal Semantics Implementation Case Study Limitations & Future Works Questions 11/09/2013 2
  • 3. 2013, 11-13 Sept, Graz, Austria Introduction Separation of concerns Modularization Techniques Cross-cutting concerns Aspect orientation 11/09/2013 3 Issue a bank draft Traceability Auditing Deal for speculation Change asset deal Logging Open a Letter of Credit Security Cross-cutting concerns Core-Concerns General Manager DealingDep. Dealer JuniorChief BackOffice Emp. Fill Position Sheet Confirm OfficeEmp. Archive Position Sheet Position Sheet yes No Deal Fill DealSlip Sign Deal Slip Sign Deal Slip Archive Deal Slip ChangeAssetDealProcess Complexity Maintenance Re-usability Etc. (Jalali et al, AOBP Modeling with Precedence, BPMN 2012)
  • 4. 2013, 11-13 Sept, Graz, Austria AOBPM - Design 11/09/2013 4 (van der Aalst, BPM: A Comprehensive Survey 2013) RunandAdjust (Re)design Implement/configure Data-basedanalysis Model-basedanalysis
  • 5. 2013, 11-13 Sept, Graz, Austria AOBPM Design (2) Modeling Approaches: AO4BPMN by Charfi et al. Cappelli et al. Jalali et al. Definitions: Join point Advised Join point Pointcut Advice Aspect PROCEED 11/09/2013 5 - - Fill Information Transfer Archive Information PROCEED LoggingAspectTransferMoneyProcess ArchivePointcut Aspect Advice Archive Sign transaction PROCEED SecurityAspect Aspect Advice Sign when transfer to other account Sign when transfer to other account Pointcut
  • 6. 2013, 11-13 Sept, Graz, Austria Weaving Static Lack of flexibility (adjustment) Dynamic Handling flexibility Addressing changes quickly. 11/09/2013 6 M D|N|E M D|N|E M D|N|E Merge models (MerM) Cross-cutting Concerns Core-Concern M D|N|E rules M E M E M E S S Adpat while running (AdaWR) Cross-cutting Concerns Core-Concern M E rules
  • 7. 2013, 11-13 Sept, Graz, Austria Dynamic Weaving & Flexibility Concerns: Main Full Completeness Runtime Flexibility Cross-Cutting Partial Completeness Runtime 11/09/2013 7 Design Change Deviation UnderspecificationUnderspecification (Late binding) (Late modeling) Run-timeDesign-time PartialFull Flexibility Configuration ProcessDefinitionCompleteness From Towards a Taxonomy of Process Flexibility by Schonenberg H. et al.
  • 8. 2013, 11-13 Sept, Graz, Austria Workitem lifecycle Weaving Points Weaving information Control-flow Perspective Data Perspective Resource Perspective Etc. 11/09/2013 8 Created allocated to a single resource Started Completed Suspended Failed offered to multiple resources offered to a single resource From Workflow Resource Patterns: Identification, Representation and Tool Support by Russell N. et al.
  • 9. 2013, 11-13 Sept, Graz, Austria Weaving Steps Steps: Launching Pausing Resuming Finalizing Questions: How data should be synchronized? Howe each type of advice should be treated? What information should be persisted for dynamic weaving? How each workitem and case should be controlled? Etc. 11/09/2013 9 B D Proceed E Proceed F G Proceed H A C 2 3 41 Proceed
  • 10. 2013, 11-13 Sept, Graz, Austria Formal Semantics Coloured Petri Nets widely-used formal technique for system design and verification Implemented in CPN Tools State Space Analysis To proof soundness 11/09/2013 10
  • 11. 2013, 11-13 Sept, Graz, Austria Implementation Implemented as a service for YAWL: 1. support full workitem life cycle 2. has formal foundation 3. open-source 4. based on Service Oriented Architecture 11/09/2013 11 Rule RepositoryProcess Repository Org Model Event Log YAWL Process Editor A R A YAWL Workflow Engine B X UsersUsers Pointcut Editor B R O A Admin worklist Resource Service Aspect Service XB
  • 12. 2013, 11-13 Sept, Graz, Austria Case Study Interviews with a domain expert Two similar process selected Change asset deal process handles deals for exchanging assets of the bank from one currency to another. Deal for speculation process Contains several security concerns The result is changing the banks assets 11/09/2013 12
  • 13. 2013, 11-13 Sept, Graz, Austria Case Study (2) Result: separation of several concerns. Decrease complexity Increase reusability Facilitate Maintenance and change management Enable agile development Documenting additional knowledge Direction for future work 11/09/2013 13
  • 14. 2013, 11-13 Sept, Graz, Austria Limitations & Future Work Small processes Pros: learn quickly, easier to present to a less domain knowledgeable audience. Cons: Too small advices Future Works: Precedence Case studies in other domains like healthcare Needs to refine the modeling techniques in definition of advice types 11/09/2013 14
  • 15. 2013, 11-13 Sept, Graz, Austria Limitations & Future Work (2) 11/09/2013 15 (van der Aalst, BPM: A Comprehensive Survey 2013) RunandAdjust (Re)design Implement/configure Data-basedanalysis Model-basedanalysis
  • 16. 2013, 11-13 Sept, Graz, Austria Questions Thank you ... 11/09/2013 16