Artifact-centric modeling using BPMN

Niels LohmannMartin Nyolt

ARTIFACT-CENTRICMODELING

USING BPMN

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

DATA IN BPMN - LIMITS 2

remotelyaccessible

data objects


Order[beer][paid]

Order[wine][paid]

Order[beer][unpaid]

Order[wine][unpaid]

REMOTE ACCESS


remotelyaccessible

data objects


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


remotelyaccessible

data objects


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

ARTIFACT-CENTRIC MODELING 3

QUOTEORDER

INVOICECARGO


QUOTEORDER

INVOICECARGO

“NOUN-CENTRIC”


QUOTEORDER

INVOICECARGO

“NOUN-CENTRIC”DECLARATIVE


QUOTE

CREATEDACCEPTEDREJECTED

RECEIVEDCONFIRMEDFILED

SENTPAID ASSEMBLED

PACKAGEDSHIPPED

ORDER

INVOICECARGO



QUOTE

CREATEDACCEPTEDREJECTED

RECEIVEDCONFIRMEDFILED

SENTPAID ASSEMBLED

PACKAGEDSHIPPED

ORDER

INVOICECARGO


ARTIFACTS 4

REJECTED

CREATED

ACCEPTED

EMPTYOBJECT LIFE CYCLEMODELS ARTIFACT’S EVOLUTION

[LOHMANN AND WOLF, ICSOC 2010]

QUOTE

ARTIFACTS 4

REJECTED

CREATED

ACCEPTED


SELLER

CUSTOMER

AGENTSMAY EXECUTE ARTIFACT’S TASKS


CUSTOMER

QUOTE

ARTIFACTS 4

REJECTED

CREATED

ACCEPTED


SELLER

CUSTOMER

@ SELLERAGENTSMAY EXECUTE ARTIFACT’S TASKS

@ SELLER

LOCATIONSINFLUENCE EXECUTABILITY


CUSTOMER

QUOTE

PROCESS SYNTHESIS 5

ARTIFACTS+ AGENTS+ LOCATIONS

POLICIES

GOAL STATES

9>>>>>>=

>>>>>>;

!✔

COMPLIANCERULES

CONTRACT

SOUND + COMPLIANT BUSINESS PROCESS(CHOREOGRAPHY)


PROCESS SYNTHESIS WITH PETRI NETS 6

ARTIFACTS+ AGENTS+ LOCATIONS

POLICIES

GOAL STATES

9>>>>>>=

>>>>>>;COMPLIANCERULES

TOOL SUPPORT

SOUND + COMPLIANT BUSINESS PROCESS (CHOREOGRAPHY)


MENU 7

1

2

3

4

ARTIFACT-CENTRIC MODELING

ARTIFACTS + OBJECT LIFE CYCLES

LOCATIONS + MESSAGE EXCHANGE

POLICIES + GOAL STATES

ARTIFACTS 7

Debit Cargo

Order

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


Cargoloadbeer

Shipper

loadwine

Shipper

unloaded

wine loaded


Buyer

orderwineBuyer

undecided

wine ordered


Sellerunpaid paid

Debit

fill

Buyer

process

Shipper

use


INITIAL STATE


Cargoloadbeer

Shipper

loadwine

Shipper

unloaded

wine loaded


Buyer

orderwineBuyer

undecided

wine ordered


Sellerunpaid paid

Debit

fill

Buyer

process

Shipper

use


FINAL STATE

INITIAL STATE


Cargoloadbeer

Shipper

loadwine

Shipper

unloaded

wine loaded


Buyer

orderwineBuyer

undecided

wine ordered


Sellerunpaid paid

Debit

fill

Buyer

process

Shipper

use


FINAL STATE

INITIAL STATEEXECUTING AGENT

MENU 9

1

2

3

4





LOCATIONS AND MESSAGE EXCHANGE 9

Debit

fill

Buyer

process

Shipper

use


ShipperBuyer


Debit

fill

Buyer

process

Shipper

use


ShipperBuyer

LOCATION “AT THE BUYER”


Debit

fill

Buyer

process

Shipper

use


ShipperBuyer


COMMUNICATION CHANNELS


Debit

fill

Buyer

process

Shipper

use


ShipperBuyer


COMMUNICATION CHANNELS

INITIAL LOCATION

REMOTE ACCESS 10

Orderorderbeer

Buyer

orderwine

Buyer

undecided

wine ordered


Shipperunpaid paid

REMOTE ACCESS 10

Orderorderbeer

Buyer

orderwine

Buyer

undecided

wine ordered


Shipperunpaid paid

SHIPPER HAS REMOTE ACCESS

REMOTE ACCESS 11

Poll

participatein poll

Participant participated

createpoll

Initiator created

URL URL

http://doodle.com/n5i4xqdrvn68p8g7



REMOTE ACCESS 11

Poll

participatein poll

Participant participated

createpoll

Initiator created

URL URL

REMOTE ACCESS IS GRANTED




MENU 12

1

2

3

4





POLICIES 12

Policy 1

Orderregister paymentShipper

Cargoloadwine

Shipper

Cargoloadbeer

Shipper

CargoOrder

POLICIES 12

Policy 1


Cargoloadwine

Shipper

Cargoloadbeer

Shipper

CargoOrder

CONSTRAIN ODER OF ACTIONS

GOAL STATES 13

CargoOrder

beer loaded

wine loaded

beer ordered

wine ordered

paid

Buyer

GOAL STATES 13

CargoOrder

beer loaded

wine loaded

beer ordered

wine ordered

paid

Buyer

SPECIAL VIEW: SHOW ONLY FINAL STATES

GOAL STATES 13

CargoOrder

beer loaded

wine loaded

beer ordered

wine ordered

paid

Buyer

MAKE THIS COMBINATION VALID

SPECIAL VIEW: SHOW ONLY FINAL STATES

ARTIFACT CENTRIC MODEL 14Debit

fill

Buyer

process

Shipper

use


ShipperBuyer

Orderorderbeer

Buyer

orderwine

Buyer

undecided

wine ordered


Shipperunpaid paid

Cargo

loadbeer

Shipper

loadwine

Shipper

unloaded

wine loaded

beer loaded

Shipper Buyer

Policy 2


Debit

fillBuyer

Debit

Shipper

Policy 4Debit

fillBuyer

Debitsend to

buyerBuyer

Policy 3Cargoloadbeer

Shipper

Cargoloadwine

Shipper

Cargosend to

buyerShipper

Policy 1


Cargoloadwine

Shipper

Cargoloadbeer

Shipper

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

Niels LohmannMartin Nyolt

ARTIFACT-CENTRICMODELING

USING BPMN

[email protected]://about.me/nlohmann

http://about.me/nlohmann

http://about.me/nlohmann

Education

Artifact-centric modeling using BPMN