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