Artifact-centric modeling using BPMN
•
0 gostou•660 visualizações
Workshop presentation given by Niels Lohmann on December 5, 2011 in Paphos, Cyprus at the 6th International Workshop on Engineering Service-Oriented Applications (WESOA'11).
![DATA IN BPMN 1
Debit Debit
[empty] [filled]
fill send
debit debit
Buyer
order Cargo
[beer]
beer
receive
cargo
oder
Cargo
wine [wine]
Order Order Order Order Order
Debit [undec.] [wine] [beer] [wine] [beer] remotely Cargo
[unpaid] [unpaid] [unpaid] [paid] [paid] accessible
data objects
load
beer
process use register send
Shipper
debit debit payment cargo
load
wine
Debit Cargo
Debit Debit Cargo Cargo
[proc- [un-
[filled] [used] [wine] [beer]
essed] loaded]](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Recomendados
Recomendados
Mais conteúdo relacionado
Mais de Universität Rostock
Mais de Universität Rostock (20)
Último
Último (20)
Artifact-centric modeling using BPMN
- 1. ARTIFACT-CENTRIC MODELING USING BPMN Niels Lohmann Martin Nyolt
- 2. DATA IN BPMN 1 Debit Debit [empty] [filled] fill send debit debit Buyer order Cargo [beer] beer receive cargo oder Cargo wine [wine] Order Order Order Order Order Debit [undec.] [wine] [beer] [wine] [beer] remotely Cargo [unpaid] [unpaid] [unpaid] [paid] [paid] accessible data objects load beer process use register send Shipper debit debit payment cargo load wine Debit Cargo Debit Debit Cargo Cargo [proc- [un- [filled] [used] [wine] [beer] essed] loaded]
- 3. DATA IN BPMN - LIMITS 2 Order Order Order Order Order [undec.] [wine] [beer] [wine] [beer] remotely [unpaid] [unpaid] [unpaid] [paid] [paid] accessible data objects REMOTE ACCESS
- 4. DATA IN BPMN - LIMITS 2 Order Order Order Order Order Cargo [beer] [undec.] [wine] [beer] [wine] [beer] remotely [unpaid] [unpaid] [unpaid] [paid] [paid] accessible data objects receive REMOTE ACCESS cargo Cargo send cargo Cargo [beer] TRANSFER OF DATA OBJECT
- 5. DATA IN BPMN - LIMITS 2 Order Order Order Order Order Cargo [beer] [undec.] [wine] [beer] [wine] [beer] remotely [unpaid] [unpaid] [unpaid] [paid] [paid] accessible data objects receive REMOTE ACCESS cargo Cargo Order Order Order Order [wine] [beer] [wine] [beer] [unpaid] [unpaid] [paid] [paid] send cargo Cargo register [beer] TRANSFER payment COMPOUND OF DATA OBJECT DATA OBJECTS
- 6. ARTIFACT-CENTRIC MODELING 3 QUOTE ORDER INVOICE CARGO
- 7. ARTIFACT-CENTRIC MODELING 3 QUOTE ORDER “NOUN-CENTRIC” INVOICE CARGO
- 8. ARTIFACT-CENTRIC MODELING 3 QUOTE ORDER “NOUN-CENTRIC” DECLARATIVE INVOICE CARGO
- 9. ARTIFACT-CENTRIC MODELING 3 CREATED ACCEPTED RECEIVED REJECTED CONFIRMED QUOTE ORDER FILED “NOUN-CENTRIC” DECLARATIVE SENT PAID ASSEMBLED INVOICE PACKAGED CARGO SHIPPED
- 10. ARTIFACT-CENTRIC MODELING 3 CREATED ACCEPTED RECEIVED REJECTED CONFIRMED QUOTE ORDER FILED “NOUN-CENTRIC” DECLARATIVE SENT PAID ASSEMBLED INVOICE PACKAGED CARGO SHIPPED
- 11. ARTIFACTS 4 OBJECT LIFE CYCLE EMPTY MODELS ARTIFACT’S EVOLUTION CREATED ACCEPTED REJECTED QUOTE [LOHMANN AND WOLF, ICSOC 2010]
- 12. ARTIFACTS 4 OBJECT LIFE CYCLE EMPTY MODELS ARTIFACT’S EVOLUTION SELLER CREATED AGENTS MAY EXECUTE ARTIFACT’S TASKS CUSTOMER CUSTOMER ACCEPTED REJECTED QUOTE [LOHMANN AND WOLF, ICSOC 2010]
- 13. ARTIFACTS 4 OBJECT LIFE CYCLE EMPTY MODELS ARTIFACT’S EVOLUTION SELLER @ SELLER CREATED AGENTS MAY EXECUTE ARTIFACT’S TASKS CUSTOMER CUSTOMER LOCATIONS ACCEPTED REJECTED INFLUENCE QUOTE EXECUTABILITY @ SELLER [LOHMANN AND WOLF, ICSOC 2010]
- 14. PROCESS SYNTHESIS 5 9 ARTIFACTS > + AGENTS > > + LOCATIONS > > > = CONTRACT ! POLICIES > SOUND + COMPLIANT > BUSINESS PROCESS ✔ > GOAL STATES > > (CHOREOGRAPHY) > COMPLIANCE ; RULES [LOHMANN AND WOLF, ICSOC 2010]
- 15. PROCESS SYNTHESIS WITH PETRI NETS 6 9 ARTIFACTS > TOOL + AGENTS > > SUPPORT + LOCATIONS > > > = POLICIES > > > GOAL STATES > > SOUND + COMPLIANT > BUSINESS PROCESS COMPLIANCE ; RULES (CHOREOGRAPHY) [LOHMANN AND WOLF, ICSOC 2010]
- 16. MENU 7 1 ARTIFACT-CENTRIC MODELING 2 ARTIFACTS + OBJECT LIFE CYCLES 3 LOCATIONS + MESSAGE EXCHANGE 4 POLICIES + GOAL STATES
- 17. ARTIFACTS 7 Cargo Debit Order
- 18. OBJECT LIFE CYCLES 8 Cargo load beer Shipper beer loaded Order load order unloaded wine beer Shipper wine loaded register Buyer beer ordered payment unpaid Seller paid order undecided wine Buyer wine ordered Debit fill process use empty Buyer filled Shipper processed Shipper used
- 19. OBJECT LIFE CYCLES 8 Cargo load beer Shipper beer loaded Order load order unloaded wine beer Shipper wine loaded register Buyer beer ordered payment INITIAL STATE unpaid Seller paid undecided order wine Buyer wine ordered Debit fill process use empty Buyer filled Shipper processed Shipper used
- 20. OBJECT LIFE CYCLES 8 Cargo load beer Shipper beer loaded Order load order unloaded wine beer Shipper wine loaded register Buyer beer ordered payment INITIAL STATE unpaid Seller paid undecided order wine Buyer wine ordered Debit fill process use empty Buyer filled Shipper processed Shipper used FINAL STATE
- 21. OBJECT LIFE CYCLES 8 Cargo load beer Shipper beer loaded Order load order unloaded wine beer Shipper wine loaded register Buyer beer ordered payment INITIAL STATE unpaid Seller paid undecided order wine EXECUTING AGENT Buyer wine ordered Debit fill process use empty Buyer filled Shipper processed Shipper used FINAL STATE
- 22. MENU 9 1 ARTIFACT-CENTRIC MODELING 2 ARTIFACTS + OBJECT LIFE CYCLES 3 LOCATIONS + MESSAGE EXCHANGE 4 POLICIES + GOAL STATES
- 23. LOCATIONS AND MESSAGE EXCHANGE 9 Debit Buyer Shipper fill process use empty Buyer filled Shipper processed Shipper used
- 24. LOCATIONS AND MESSAGE EXCHANGE 9 LOCATION “AT THE BUYER” Debit Buyer Shipper fill process use empty Buyer filled Shipper processed Shipper used
- 25. LOCATIONS AND MESSAGE EXCHANGE 9 LOCATION “AT THE BUYER” Debit Buyer Shipper fill process use empty Buyer filled Shipper processed Shipper used COMMUNICATION CHANNELS
- 26. LOCATIONS AND MESSAGE EXCHANGE 9 INITIAL LOCATION “AT LOCATION THE BUYER” Debit Buyer Shipper fill process use empty Buyer filled Shipper processed Shipper used COMMUNICATION CHANNELS
- 27. REMOTE ACCESS 10 Order order beer register Buyer beer ordered payment unpaid Shipper paid order undecided wine Buyer wine ordered
- 28. REMOTE ACCESS 10 Order order beer register Buyer beer ordered payment unpaid Shipper paid order undecided wine Buyer wine ordered SHIPPER HAS REMOTE ACCESS
- 29. REMOTE ACCESS 11 Poll URL URL create participate poll in poll Initiator Participant participated created http://doodle.com/n5i4xqdrvn68p8g7
- 30. REMOTE ACCESS 11 Poll URL URL create participate poll in poll Initiator Participant participated created REMOTE ACCESS IS GRANTED http://doodle.com/n5i4xqdrvn68p8g7
- 31. MENU 12 1 ARTIFACT-CENTRIC MODELING 2 ARTIFACTS + OBJECT LIFE CYCLES 3 LOCATIONS + MESSAGE EXCHANGE 4 POLICIES + GOAL STATES
- 32. POLICIES 12 Policy 1 Cargo load Order beer Cargo Order Shipper register payment Cargo Shipper load wine Shipper
- 33. POLICIES 12 Policy 1 Cargo load Order beer Cargo Order Shipper register payment Cargo Shipper load wine Shipper CONSTRAIN ODER OF ACTIONS
- 34. GOAL STATES 13 Order Cargo Buyer wine ordered wine loaded paid beer ordered beer loaded
- 35. GOAL STATES 13 Order Cargo Buyer wine ordered wine loaded paid beer ordered beer loaded SPECIAL VIEW: SHOW ONLY FINAL STATES
- 36. GOAL STATES 13 Order Cargo Buyer wine ordered wine loaded paid beer ordered beer loaded SPECIAL VIEW: SHOW MAKE THIS ONLY FINAL STATES COMBINATION VALID
- 37. ARTIFACT CENTRIC MODEL 14 Debit Cargo Buyer Shipper Shipper Buyer fill process use load Buyer Shipper Shipper beer empty filled processed used Shipper beer loaded load unloaded wine Policy 4 Policy 3 Shipper Cargo wine loaded Debit Debit load send to beer fill buyer Cargo Shipper Policy 1 Cargo Buyer Buyer send to Cargo buyer load Shipper beer load Order wine Shipper register Shipper payment Cargo Shipper load wine Shipper Policy 2 Debit Shipper Order Order register payment order Debit beer Shipper fill register Buyer beer ordered payment Buyer unpaid Shipper paid order undecided wine Buyer wine ordered
- 38. TAKE HOME POINTS 15 DATA OBJECTS ARE FIRST CLASS CITIZENS PROCESS IS DESCRIBED IN TERMS OF ARTIFACTS SMALLER PARTITION OF THE PROCESS ONLY FEW ADJUSTMENTS TO BPMN REQUIRED EXTENSION HAS FORMAL SEMANTICS CONTRACT STEP TOWARDS CORRECTNESS BY DESIGN
- 39. ARTIFACT-CENTRIC MODELING USING BPMN niels.lohmann@uni-rostock.de http://about.me/nlohmann Niels Lohmann Martin Nyolt