artifact-centric modeling using bpmn
DESCRIPTION
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).TRANSCRIPT
![Page 1: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/1.jpg)
Niels LohmannMartin Nyolt
ARTIFACT-CENTRICMODELING
USING BPMN
![Page 2: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/2.jpg)
DATA IN BPMN 1
remotelyaccessible
data objects
filldebit
Debit[empty]
Debit[filled]
send debit
order beer
oderwine
Order[undec.][unpaid]
Order[beer][paid]
Order[wine][paid]
receive cargo
process debit
usedebit
Debit[filled]
Debit[proc-essed]
Debit[used]
register payment
loadbeer
loadwine
send cargo
Cargo[un-
loaded]
Cargo[beer]
Cargo[wine]
Cargo[beer]
Cargo[wine]
Order[beer]
[unpaid]
Order[wine]
[unpaid]
Ship
per
Buye
r
Debit Cargo
![Page 3: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/3.jpg)
DATA IN BPMN - LIMITS 2
remotelyaccessible
data objects
Order[undec.][unpaid]
Order[beer][paid]
Order[wine][paid]
Order[beer][unpaid]
Order[wine][unpaid]
REMOTE ACCESS
![Page 4: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/4.jpg)
DATA IN BPMN - LIMITS 2
remotelyaccessible
data objects
Order[undec.][unpaid]
Order[beer][paid]
Order[wine][paid]
Order[beer][unpaid]
Order[wine][unpaid]
REMOTE ACCESSreceive cargo
send cargo
Cargo[beer]
Cargo
Cargo[beer]
TRANSFEROF DATA OBJECT
![Page 5: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/5.jpg)
DATA IN BPMN - LIMITS 2
remotelyaccessible
data objects
Order[undec.][unpaid]
Order[beer][paid]
Order[wine][paid]
Order[beer][unpaid]
Order[wine][unpaid]
REMOTE ACCESS
Order[beer][paid]
Order[wine][paid]
register payment
Order[beer][unpaid]
Order[wine][unpaid]
COMPOUND DATA OBJECTS
receive cargo
send cargo
Cargo[beer]
Cargo
Cargo[beer]
TRANSFEROF DATA OBJECT
![Page 6: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/6.jpg)
ARTIFACT-CENTRIC MODELING 3
QUOTEORDER
INVOICECARGO
![Page 7: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/7.jpg)
ARTIFACT-CENTRIC MODELING 3
QUOTEORDER
INVOICECARGO
“NOUN-CENTRIC”
![Page 8: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/8.jpg)
ARTIFACT-CENTRIC MODELING 3
QUOTEORDER
INVOICECARGO
“NOUN-CENTRIC”DECLARATIVE
![Page 9: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/9.jpg)
ARTIFACT-CENTRIC MODELING 3
QUOTE
CREATEDACCEPTEDREJECTED
RECEIVEDCONFIRMEDFILED
SENTPAID ASSEMBLED
PACKAGEDSHIPPED
ORDER
INVOICECARGO
“NOUN-CENTRIC”DECLARATIVE
![Page 10: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/10.jpg)
ARTIFACT-CENTRIC MODELING 3
QUOTE
CREATEDACCEPTEDREJECTED
RECEIVEDCONFIRMEDFILED
SENTPAID ASSEMBLED
PACKAGEDSHIPPED
ORDER
INVOICECARGO
“NOUN-CENTRIC”DECLARATIVE
![Page 11: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/11.jpg)
ARTIFACTS 4
REJECTED
CREATED
ACCEPTED
EMPTYOBJECT LIFE CYCLEMODELS ARTIFACT’S EVOLUTION
[LOHMANN AND WOLF, ICSOC 2010]
QUOTE
![Page 12: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/12.jpg)
ARTIFACTS 4
REJECTED
CREATED
ACCEPTED
EMPTYOBJECT LIFE CYCLEMODELS ARTIFACT’S EVOLUTION
SELLER
CUSTOMER
AGENTSMAY EXECUTE ARTIFACT’S TASKS
[LOHMANN AND WOLF, ICSOC 2010]
CUSTOMER
QUOTE
![Page 13: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/13.jpg)
ARTIFACTS 4
REJECTED
CREATED
ACCEPTED
EMPTYOBJECT LIFE CYCLEMODELS ARTIFACT’S EVOLUTION
SELLER
CUSTOMER
@ SELLERAGENTSMAY EXECUTE ARTIFACT’S TASKS
@ SELLER
LOCATIONSINFLUENCE EXECUTABILITY
[LOHMANN AND WOLF, ICSOC 2010]
CUSTOMER
QUOTE
![Page 14: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/14.jpg)
PROCESS SYNTHESIS 5
ARTIFACTS+ AGENTS+ LOCATIONS
POLICIES
GOAL STATES
9>>>>>>=
>>>>>>;
!✔
COMPLIANCERULES
CONTRACT
SOUND + COMPLIANT BUSINESS PROCESS(CHOREOGRAPHY)
[LOHMANN AND WOLF, ICSOC 2010]
![Page 15: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/15.jpg)
PROCESS SYNTHESIS WITH PETRI NETS 6
ARTIFACTS+ AGENTS+ LOCATIONS
POLICIES
GOAL STATES
9>>>>>>=
>>>>>>;COMPLIANCERULES
TOOL SUPPORT
SOUND + COMPLIANT BUSINESS PROCESS (CHOREOGRAPHY)
[LOHMANN AND WOLF, ICSOC 2010]
![Page 16: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/16.jpg)
MENU 7
1
2
3
4
ARTIFACT-CENTRIC MODELING
ARTIFACTS + OBJECT LIFE CYCLES
LOCATIONS + MESSAGE EXCHANGE
POLICIES + GOAL STATES
![Page 17: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/17.jpg)
ARTIFACTS 7
Debit Cargo
Order
![Page 18: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/18.jpg)
OBJECT LIFE CYCLES 8
Cargoloadbeer
Shipper
loadwine
Shipper
unloaded
wine loaded
beer loaded Orderorderbeer
Buyer
orderwineBuyer
undecided
wine ordered
beer orderedregisterpayment
Sellerunpaid paid
Debit
fill
Buyer
process
Shipper
use
Shipperfilledempty processed used
![Page 19: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/19.jpg)
OBJECT LIFE CYCLES 8
Cargoloadbeer
Shipper
loadwine
Shipper
unloaded
wine loaded
beer loaded Orderorderbeer
Buyer
orderwineBuyer
undecided
wine ordered
beer orderedregisterpayment
Sellerunpaid paid
Debit
fill
Buyer
process
Shipper
use
Shipperfilledempty processed used
INITIAL STATE
![Page 20: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/20.jpg)
OBJECT LIFE CYCLES 8
Cargoloadbeer
Shipper
loadwine
Shipper
unloaded
wine loaded
beer loaded Orderorderbeer
Buyer
orderwineBuyer
undecided
wine ordered
beer orderedregisterpayment
Sellerunpaid paid
Debit
fill
Buyer
process
Shipper
use
Shipperfilledempty processed used
FINAL STATE
INITIAL STATE
![Page 21: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/21.jpg)
OBJECT LIFE CYCLES 8
Cargoloadbeer
Shipper
loadwine
Shipper
unloaded
wine loaded
beer loaded Orderorderbeer
Buyer
orderwineBuyer
undecided
wine ordered
beer orderedregisterpayment
Sellerunpaid paid
Debit
fill
Buyer
process
Shipper
use
Shipperfilledempty processed used
FINAL STATE
INITIAL STATEEXECUTING AGENT
![Page 22: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/22.jpg)
MENU 9
1
2
3
4
ARTIFACT-CENTRIC MODELING
ARTIFACTS + OBJECT LIFE CYCLES
LOCATIONS + MESSAGE EXCHANGE
POLICIES + GOAL STATES
![Page 23: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/23.jpg)
LOCATIONS AND MESSAGE EXCHANGE 9
Debit
fill
Buyer
process
Shipper
use
Shipperfilledempty processed used
ShipperBuyer
![Page 24: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/24.jpg)
LOCATIONS AND MESSAGE EXCHANGE 9
Debit
fill
Buyer
process
Shipper
use
Shipperfilledempty processed used
ShipperBuyer
LOCATION “AT THE BUYER”
![Page 25: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/25.jpg)
LOCATIONS AND MESSAGE EXCHANGE 9
Debit
fill
Buyer
process
Shipper
use
Shipperfilledempty processed used
ShipperBuyer
LOCATION “AT THE BUYER”
COMMUNICATION CHANNELS
![Page 26: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/26.jpg)
LOCATIONS AND MESSAGE EXCHANGE 9
Debit
fill
Buyer
process
Shipper
use
Shipperfilledempty processed used
ShipperBuyer
LOCATION “AT THE BUYER”
COMMUNICATION CHANNELS
INITIAL LOCATION
![Page 27: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/27.jpg)
REMOTE ACCESS 10
Orderorderbeer
Buyer
orderwine
Buyer
undecided
wine ordered
beer orderedregisterpayment
Shipperunpaid paid
![Page 28: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/28.jpg)
REMOTE ACCESS 10
Orderorderbeer
Buyer
orderwine
Buyer
undecided
wine ordered
beer orderedregisterpayment
Shipperunpaid paid
SHIPPER HAS REMOTE ACCESS
![Page 29: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/29.jpg)
REMOTE ACCESS 11
Poll
participatein poll
Participant participated
createpoll
Initiator created
URL URL
http://doodle.com/n5i4xqdrvn68p8g7
![Page 30: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/30.jpg)
REMOTE ACCESS 11
Poll
participatein poll
Participant participated
createpoll
Initiator created
URL URL
REMOTE ACCESS IS GRANTED
http://doodle.com/n5i4xqdrvn68p8g7
![Page 31: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/31.jpg)
MENU 12
1
2
3
4
ARTIFACT-CENTRIC MODELING
ARTIFACTS + OBJECT LIFE CYCLES
LOCATIONS + MESSAGE EXCHANGE
POLICIES + GOAL STATES
![Page 32: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/32.jpg)
POLICIES 12
Policy 1
Orderregister paymentShipper
Cargoloadwine
Shipper
Cargoloadbeer
Shipper
CargoOrder
![Page 33: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/33.jpg)
POLICIES 12
Policy 1
Orderregister paymentShipper
Cargoloadwine
Shipper
Cargoloadbeer
Shipper
CargoOrder
CONSTRAIN ODER OF ACTIONS
![Page 34: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/34.jpg)
GOAL STATES 13
CargoOrder
beer loaded
wine loaded
beer ordered
wine ordered
paid
Buyer
![Page 35: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/35.jpg)
GOAL STATES 13
CargoOrder
beer loaded
wine loaded
beer ordered
wine ordered
paid
Buyer
SPECIAL VIEW: SHOW ONLY FINAL STATES
![Page 36: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/36.jpg)
GOAL STATES 13
CargoOrder
beer loaded
wine loaded
beer ordered
wine ordered
paid
Buyer
MAKE THIS COMBINATION VALID
SPECIAL VIEW: SHOW ONLY FINAL STATES
![Page 37: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/37.jpg)
ARTIFACT CENTRIC MODEL 14Debit
fill
Buyer
process
Shipper
use
Shipperfilledempty processed used
ShipperBuyer
Orderorderbeer
Buyer
orderwine
Buyer
undecided
wine ordered
beer orderedregisterpayment
Shipperunpaid paid
Cargo
loadbeer
Shipper
loadwine
Shipper
unloaded
wine loaded
beer loaded
Shipper Buyer
Policy 2
Orderregister paymentShipper
Debit
fillBuyer
Debit
Shipper
Policy 4Debit
fillBuyer
Debitsend to
buyerBuyer
Policy 3Cargoloadbeer
Shipper
Cargoloadwine
Shipper
Cargosend to
buyerShipper
Policy 1
Orderregister paymentShipper
Cargoloadwine
Shipper
Cargoloadbeer
Shipper
![Page 38: Artifact-centric modeling using BPMN](https://reader038.vdocuments.us/reader038/viewer/2022102923/5538105d4a7959016b8b46c5/html5/thumbnails/38.jpg)
TAKE HOME POINTS 15
DATA OBJECTS ARE FIRST CLASS CITIZENS
PROCESS IS DESCRIBED IN TERMS OF ARTIFACTS
ONLY FEW ADJUSTMENTS TO BPMN REQUIRED
EXTENSION HAS FORMAL SEMANTICS
SMALLER PARTITION OF THE PROCESS
STEP TOWARDS CORRECTNESS BY DESIGNCONTRACT