Hybrid Weaving in Aspect Oriented Business Process Management
1 like251 views
The document discusses cross-cutting concerns in business process management (BPM), outlining problems such as complexity and maintenance, and proposing solutions through separation of concerns and various weaving techniques. It highlights the distinctions between retroactive and non-retroactive regulations and the complexities of hybrid weaving in enabling process flexibility. The conclusion emphasizes the need for managing both types of concerns, formal specification, model validation, and future development of workflow management systems.
Hybrid Weaving in Aspect Oriented Business Process Management
- 1. BIR 2017 - Copenhagen, Denmark Amin Jalali Email : aj (at) dsv.su.se 29/08/2017 1 Department of Computer and Systems Sciences, Stockholm University, Sweden
- 2. BIR 2017 - Copenhagen, Denmark Cross-Cutting Concerns in BPM Problems: Complexity Change Management Maintenance ... 29/08/2017 2 ... Auditing Mortgage loan Archive LC process AML Change Asset Deal Security Cross-cutting concerns Core- processes MortgageloanProcess Financial Mng. Contract Mng. Mortgage Expert Sign loan contract Receive the deposit Assess the value Receive document ... Receive Declaration form ... ...
- 3. BIR 2017 - Copenhagen, Denmark How to design models? separation of Concerns 29/08/2017 3 BusinessProcesses ... Auditing Mortgage loan Archive LC process AML Change Asset Deal Security Cross-cutting concerns Core- processes MMMM M Cross-cutting Concerns (advices) Core Concern (main process) M Rules (pointcuts) AspectOriented BusinessProcessModel a) No decomposition Scattering Problem c) Horizontal decomposition Tangling Problem d) Orthogonal decomposition Rules b) Vertical decomposition Scattering/Tangling Problem Obliviousness In Program P whenever condition C arises perform Action A Quantification Action (Filman et al. 2000)
- 4. BIR 2017 - Copenhagen, Denmark Concerns and regulations The regulations can be defined in two ways, i.e. (i) they should be applied for actions that will happen after the time of establishment (non-retroactively), or (ii) they should be applied for actions that also happen before the time of establishment (retroactively). The ex-post-facto law prohibits introducing retroactive regulations in many contexts, e.g. criminal, tax, etc. 29/08/2017 4
- 5. BIR 2017 - Copenhagen, Denmark How to Enact? Static Weaving Dynamic Weaving 29/08/2017 5 (DesM) Design Model M E M E Cross-cutting Concerns Core-Concern M E rules S (DesM) Design Model M E M E Cross-cutting Concerns Core-Concern M E rules S M E S Adapt while running (AdaWR) Static retroactively Dynamic Non- retroactively M E Compose Model (CompM)
- 6. BIR 2017 - Copenhagen, Denmark Hybrid Weaving Key issues: Perform a static weaving when an instance is created (configuration time) Update the pointcuts (rules) Perform Dynamic Weaving in enactment time 29/08/2017 6 M E M E Cross-cutting Concerns Core-Concern CM E rules SCompose Configurable Model (CompCM) Configure Configurable Model (ConCM) S M E Cross-cutting Concerns Core-Concern M E rules M E M E S Adapt while running (AdaWR) M E M E Cross-cutting Concerns Core-Concern CM E rules S (DesCM) Design Configurable Model runtime Configuration time
- 7. BIR 2017 - Copenhagen, Denmark Formal Semantics Coloured Petri Nets widely-used formal technique for system design and verification Implemented in CPN Tools State Space Analysis To proof soundness 29/08/2017 7
- 8. BIR 2017 - Copenhagen, Denmark Discussion Configuration time can be considered to extend the Process Flexibility Taxonomy Hybrid Weaving is very complex and requires combinations of all flexibility types to be supported by the tool! 29/08/2017 8 ProcessDefinitionCompleteness Flexibility Configuration Design Variation Change Deviation Under Specification (Late binding) (Late configuring) (Late modeling) Instance Level Process Level Design-time Configuration-time Run-time incompletecomplete
- 9. BIR 2017 - Copenhagen, Denmark Conclusion Managing both retroactive and non- retroactive concerns Formal specification Model valdiation Extension of Taxonomy of Process Flexibility Future Direction: Extend the functionality of a WfMS based on the CPN Model 29/08/2017 9
- 10. BIR 2017 - Copenhagen, Denmark Questions Thank you ... 29/08/2017 10