1 / 40

The Aspects of Business Processes An open and formalism independent architecture

Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005. The Aspects of Business Processes An open and formalism independent architecture. Ekkart Kindler Universität Paderborn Institut für Informatik FG Softwaretechnik. Organisation. Integration. Control.

cher
Download Presentation

The Aspects of Business Processes An open and formalism independent architecture

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005. The Aspects of Business ProcessesAn open and formalism independentarchitecture Ekkart Kindler Universität PaderbornInstitut für InformatikFG Softwaretechnik

  2. Organisation Integration Control Information Overview AMFIBIAA meta-model for the integration of business process aspects EPC ToolsAn open tool for EPCs AMFIBIA

  3. EPC Tools AMFIBIA

  4. Semantics of EPCs AMFIBIA

  5. Non-local Semantics of EPCs Semantics of some nodes is not local! AMFIBIA

  6. Problem: Vicious Circle AMFIBIA

  7. EPCs EPCs Motivation informal formal WfM BPM Analysis Implementation Analysis Verification AMFIBIA

  8. Our Contribution • Formalization of informal semantics • As faithful as possible • Characterization of „problematic EPCs“ • Efficient simulation and analysis: EPC Tools EPCs EPCs AMFIBIA

  9. EPC Tools fixed point theory model checking (MCiE) AMFIBIA

  10. Organisation Integration Control Information Overview AMFIBIAA meta-model for the integration of business process aspects EPC ToolsAn open tool for EPCs Motivation &Ideas AMFIBIA

  11. Aspects of BPM Assignment Organisation Authenticity Control Information Transaction AMFIBIA

  12. Basic Aspects Organisation Control Information AMFIBIA

  13. Integration of Aspects Organisation Integration Control Information AMFIBIA

  14. Unbiased Integration Organisation Integration Control Information AMFIBIA

  15. Formalism Independence Organisationcharts Organisation Petri nets Integration Control Information ER diagrams EPCs AMFIBIA

  16. Aspect Integration Organisationcharts Organisation Assignment Petri nets Authenticity Integration Control Information Transaction ER diagrams EPCs AMFIBIA

  17. Vertical Integration Vertical Integration BPM WfM AMFIBIA

  18. Horizontal Integration Horizontal Integration Control Organisation Information ... AMFIBIA

  19. Aspect Integration Aspect Integration Control Organisation Information ... AMFIBIA

  20. Formalism Integration … Formalism Integration BPEL Activity diagrams EPCs Petri nets AMFIBIA

  21. Vertical Integration Dimensions of Integration Aspect Integration Formalism Integration AMFIBIA

  22. Organisation Integration Control Information Overview AMFIBIAA meta-model for the integration of business process aspects EPC ToolsAn open tool for EPCs Some details AMFIBIA

  23. * * Organisation Integration Control Information The Integral Parts of BPMs <<instanceOf>> BPM Case 1 * Task <<instanceof>> Activity 1 * model instance static dynamic AMFIBIA

  24. * * Organisation Integration Control Information Structuring Aspect Structuring 1 <<instanceOf>> BPM Case 1 * subprocess Task <<instanceof>> Activity 1 * Compound Basic AMFIBIA

  25. Organisation Integration Control Information Workflow Net send travel expense form endorse trip approve trip determinetrip data reimburseexpenses fill application form book trip make trip fill in travelexpense form AMFIBIA

  26. Organisation Integration Control Information * source target PNML Core Model PN Object Node Arc Transition Place Marking * AMFIBIA

  27. Organisation Integration Verhalten Information <<instanceOf>> * * 1 * <<instanceof>> 1 * Integration BPM Case Task Activity AMFIBIA

  28. Organisation Integration Control Information Control Aspect case BPM Case 1 initial final active finished current * * 1 * * Task State Activity * initialize(State):Statefinalize(State):State activated AMFIBIA

  29. 1 1 1 1 TaskOrga TaskBehavior TaskInform TaskStruct Organisation Integration Control Information Excursus: Aspect Orientation Task AMFIBIA

  30. 1 1 1 Task Task Task Organisation Integration Control Information Excursus: Aspect Orientation Task AMFIBIA

  31. Implementation by PNML case formalismindependentconcepts BPM Case 1 initial final active finished current * * 1 * * Task State Activity * initialize(State):Statefinalize(State):State activated formalismspecificconcepts Transition PN Marking AMFIBIA

  32. Formalism Independence Organisation PN OrganisationCharts Integration Control Information ER diagrams EPC AMFIBIA

  33. Organisation Organisation Integration Control Information BPM Case 1 1 Task Context Activity 1 * Assignment ResourceDescriptor * GetResources(Context) * Resource AMFIBIA

  34. Organisation Integration Control Information Organisation Charts AMFIBIA

  35. Organisation Aspect Implementation Organisation Task Integration Control Information * ResourceDescriptor ResourceDescriptorImpl GetResources(Context) Role OrgUnit Restriction Context AMFIBIA

  36. AMFIBIA: Meta Model & Interfaces OrganisationChart Organisation Petri nets Integration Control Information ER diagram EPCs AMFIBIA

  37. AMFIBIA: Aspect Integration Organisationcharts Organisation Assignment Petri nets Authenticity Integration Control Information Transaction ER diagrams EPCs AMFIBIA

  38. Vertical Integration AMFIBIA: Dimensions of Integration Aspect Integration Formalism Integration AMFIBIA

  39. Discussion & Questions AMPHIBIA • Where is the functional aspect? • Are there any aspects missing? • Why do you want formalism independence? • Are these aspects really independent? • Is this going to work? • … AMFIBIA

  40. Organisation Component ToolsFormal methods! No regrets! Integration Control Information Overview: Projects EPC ToolsAn open tool for EPCs AMFIBIAA meta-model for the integration of business process aspects Implementation will start soon! Software Process Mining“ISO9000 certification for free“ ??? AMFIBIA

More Related