03 Examples 2023
03 Examples 2023
Roberto Bruni
http://www.di.unipi.it/~bruni
03 - Examples
1
Insurance claim
example
2
An example:
insurance claim
1. recording the receipt of the claim
2. establishing the type of the claim
3. checking covering of client's policy
4. checking the premium (payments up to date?)
5. rejection, if 3 or 4 has negative result
6. producing a rejection letter
7. roughly estimate the amount to be paid, if 3 & 4 have positive results
8. appointment of an assessor, if needed
9. revision of the amount offered to the client
10. recording client's reaction
11. assessment of objection: decision to revise 9 or take legal action 12
12. legal proceedings
13. payment of claim
14. filing and closure of claim
3
1. recording the receipt of the claim
Tasks
2. establishing the type of the claim
3. checking covering of client's policy
4. checking the premium (payments up to date?)
5. rejection, if 3 or 4 has negative result
6. producing a rejection letter
7. roughly estimate the amount to be paid, if 3 & 4 have positive results
8. appointment of an assessor, if needed
9. revision of the amount offered to the client
10. recording client's reaction
11. assessment of objection: revise 9 or legal action 12
12. legal proceedings 3 6
13. payment of claim
policy reject letter
14. filing and closure of claim
1 2 5 14
recording type rejection? filing
4
premium 13
payment
8
assessor 12
legal proc.
7 9 10 11
estimate revision reaction assessment
4
1. recording the receipt of the claim
Order/Links
2. establishing the type of the claim
3. checking covering of client's policy
4. checking the premium (payments up to date?)
5. rejection, if 3 or 4 has negative result
6. producing a rejection letter
7. roughly estimate the amount to be paid, if 3 & 4 have positive results
8. appointment of an assessor, if needed
9. revision of the amount offered to the client
10. recording client's reaction
11. assessment of objection: revise 9 or legal action 12
12. legal proceedings 3 6
13. payment of claim
policy reject letter
14. filing and closure of claim
1 2 5 14
recording type rejection? filing
4
premium 13
payment
8
assessor 12
legal proc.
7 9 10 11
estimate revision reaction assessment
5
Some patterns
6
Sequence
1 2
recording type
7
Parallel
policy
2 5
4
premium
8
6
reject letter
rejection?
7
estimate
Another selection
8
assessor
7 9
estimate revision
10
Iteration
12
9 10 11
revision reaction assessment
11
3 6
policy reject letter
7
estimate
Ambiguity!
3 6
policy reject letter
13
Disambiguation
3 6
policy reject letter
1
recording
2
type + + 5
rejection? x x 14
filing
4
premium 13
payment
7
estimate
x choice split / join
14
Disambiguation
3 6
policy reject letter
1 2 5 14
recording type rejection? filing
4
premium 13
payment
8
assessor 12
legal proc.
7 9 10 11
estimate revision reaction assessment
15
Disambiguation
3 6
policy reject letter
1
recording
2
type + + 5
rejection? x x 14
filing
4
premium 13
payment
x
8
assessor 12
legal proc.
7
estimate x x 9
revision
10
reaction
11
assessment x
16
Orchestration
17
Orchestration
Orchestration is about describing and executing a
single view point model
18
Model execution
3 6
policy reject letter
1
recording
2
type + + 5
rejection? x x 14
filing
4
premium 13
payment
x
8
assessor 12
legal proc.
7
estimate x x 9
revision
10
reaction
11
assessment x
19
A process instance
1 2 3 4 5 6 14
1 2 4 3 5 6 14
3
policy reject letter
1
recording
2
type + + 5
rejection? x x 14
filing
4
premium
7
x x x
20
Another instance
1 2 3 4 5 7 8 9 10 11 13 14
1 2 4 3 5 7 8 9 10 11 13 14
3 6
policy
1
recording
2
type + + 5
rejection? x x filing
4
premium
payment
x
8
assessor 12
7
estimate x x 9
revision
10
reaction
11
assessment x
21
Exercise
23
Example: Reseller
We move to
BPMN-like syntax
24
Example: Reseller
Send Receive
Invoice Payment
Receive Archive
Order Order
Ship
Products
We move to
BPMN-like syntax
A pool is a rectangle
that encloses a business process
25
Example: Reseller
but…
Place
Order B2
do they all Receive
Invoice
make sense?
Receive
Products
Place
Order
Settle
Invoice B3
Receive
Invoice
27
Buyer & Reseller
Send Receive
Invoice Payment
Receive
Order
Ship
Products
28
Cross-organization
interaction
Each business process is enacted by one
organization
29
Interacting processes
Send Receive
Invoice Payment
Receive
Order
Ship
Products
30
Interacting processes
We move to
BPMN-like syntax
Send Receive
Invoice Payment
Receive
Order
Ship
Products
31
Choreography
The interactions of a set of business processes are
specified in a process choreography
32
Choreography
33
Choreography
Choreography is about describing a global model
(multi-point view)
34
Choreography diagram
Choreography diagrams allow for multiple concrete
implementations, with different software support
36
Question time
Send Receive
Invoice Payment
Receive
Order R1
Ship
Products
37
Question time
Receive
Order
Send
Invoice
Receive
Payment
Ship
Products R2
38
Question time
Receive
Order
Send
Invoice
Receive
Payment
Ship
Products R2
39
Exercises
In previous slides, we have seen many variants of
business processes for resellers (two) and buyers (four).
40
B1 B2 B3 B4
R1 ok
R2 ok no
41
DRINKS
Exercise
TEA
COFFEE
CAPPUCCINO
DON’T KNOW
BEST NOT