Artifact-centric modeling using BPMN

ARTIFACT-CENTRIC MODELING USING BPMNNiels LohmannMartin Nyolt

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 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

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

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

ARTIFACT-CENTRIC MODELING 3 QUOTE ORDER INVOICE CARGO

ARTIFACT-CENTRIC MODELING 3 QUOTE ORDER “NOUN-CENTRIC” INVOICE CARGO

ARTIFACT-CENTRIC MODELING 3 QUOTE ORDER “NOUN-CENTRIC” DECLARATIVE INVOICE CARGO

ARTIFACT-CENTRIC MODELING 3 CREATED ACCEPTED RECEIVED REJECTED CONFIRMED QUOTE ORDER FILED “NOUN-CENTRIC” DECLARATIVE SENT PAID ASSEMBLED INVOICE PACKAGED CARGO SHIPPED

ARTIFACTS 4 OBJECT LIFE CYCLE EMPTY MODELS ARTIFACT’S EVOLUTION CREATED ACCEPTED REJECTED QUOTE [LOHMANN AND WOLF, ICSOC 2010]

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]

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]

PROCESS SYNTHESIS 5 9 ARTIFACTS > + AGENTS > > + LOCATIONS > > > = CONTRACT ! POLICIES > SOUND + COMPLIANT > BUSINESS PROCESS ✔ > GOAL STATES > > (CHOREOGRAPHY) > COMPLIANCE ; RULES [LOHMANN AND WOLF, ICSOC 2010]

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]

MENU 7 1 ARTIFACT-CENTRIC MODELING 2 ARTIFACTS + OBJECT LIFE CYCLES 3 LOCATIONS + MESSAGE EXCHANGE 4 POLICIES + GOAL STATES

ARTIFACTS 7 Cargo Debit Order

OBJECT LIFE CYCLES 8Cargo load beer Shipper beer loaded Order load orderunloaded wine beer Shipper wine loaded register Buyer beer ordered payment unpaid Seller paid order undecided wine Buyer wine ordered Debit ﬁll process use empty Buyer ﬁlled Shipper processed Shipper used

OBJECT LIFE CYCLES 8Cargo load beer Shipper beer loaded Order load orderunloaded wine beer Shipper wine loaded register Buyer beer ordered payment INITIAL STATE unpaid Seller paid undecided order wine Buyer wine ordered Debit ﬁll process use empty Buyer ﬁlled Shipper processed Shipper used

OBJECT LIFE CYCLES 8Cargo load beer Shipper beer loaded Order load orderunloaded wine beer Shipper wine loaded register Buyer beer ordered payment INITIAL STATE unpaid Seller paid undecided order wine Buyer wine ordered Debit ﬁll process use empty Buyer ﬁlled Shipper processed Shipper used FINAL STATE

OBJECT LIFE CYCLES 8Cargo load beer Shipper beer loaded Order load orderunloaded wine beer Shipper wine loaded register Buyer beer ordered payment INITIAL STATE unpaid Seller paid undecided order wine EXECUTING AGENT Buyer wine ordered Debit ﬁll process use empty Buyer ﬁlled Shipper processed Shipper used FINAL STATE

LOCATIONS AND MESSAGE EXCHANGE 9 Debit Buyer Shipper ﬁll process use empty Buyer ﬁlled Shipper processed Shipper used

LOCATIONS AND MESSAGE EXCHANGE 9 LOCATION “AT THE BUYER” Debit Buyer Shipper ﬁll process use empty Buyer ﬁlled Shipper processed Shipper used

LOCATIONS AND MESSAGE EXCHANGE 9 LOCATION “AT THE BUYER” Debit Buyer Shipper ﬁll process use empty Buyer ﬁlled Shipper processed Shipper used COMMUNICATION CHANNELS

LOCATIONS AND MESSAGE EXCHANGE 9 INITIAL LOCATION “AT LOCATION THE BUYER” Debit Buyer Shipper ﬁll process use empty Buyer ﬁlled Shipper processed Shipper used COMMUNICATION CHANNELS

REMOTE ACCESS 10 Order order beer register Buyer beer ordered payment unpaid Shipper paid order undecided wine Buyer wine ordered

REMOTE ACCESS 10 Order order beer register Buyer beer ordered payment unpaid Shipper paid order undecided wine Buyer wine ordered SHIPPER HAS REMOTE ACCESS

REMOTE ACCESS 11 Poll URL URL create participate poll in poll Initiator Participant participated created http://doodle.com/n5i4xqdrvn68p8g7

REMOTE ACCESS 11 Poll URL URL create participate poll in poll Initiator Participant participated created REMOTE ACCESS IS GRANTED http://doodle.com/n5i4xqdrvn68p8g7

POLICIES 12 Policy 1 Cargo load Order beer Cargo Order Shipper register payment Cargo Shipper load wine Shipper

POLICIES 12 Policy 1 Cargo load Order beer Cargo Order Shipper register payment Cargo Shipper load wine Shipper CONSTRAIN ODER OF ACTIONS

GOAL STATES 13 Order Cargo Buyer wine ordered wine loaded paid beer ordered beer loaded

GOAL STATES 13 Order Cargo Buyer wine ordered wine loaded paid beer ordered beer loaded SPECIAL VIEW: SHOW ONLY FINAL STATES

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

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

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

ARTIFACT-CENTRIC MODELING USING BPMNniels.lohmann@uni-rostock.dehttp://about.me/nlohmannNiels LohmannMartin Nyolt

Artifact-centric modeling using BPMN

by Universität Rostock

Accessibility

Categories

Upload Details

Usage Rights

Statistics

Artifact-centric modeling using BPMN Presentation Transcript