1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
When [
(Case
(Deposit
(Role "Seller")
(Role "Buyer")
(Token "11" "21")
(ConstantParam "Price"))
(When [
(Case
(Choice
(ChoiceId "Everything is alright"
(Role "Buyer")) [
(Bound 0 11)]) Close)
,
(Case
(Choice
(ChoiceId "Report problem"
(Role "Buyer")) [
(Bound 41 1)])
(Pay
(Role "Seller")
(Account
(Role "Buyer"))
(Token "" "")
(ConstantParam "Price")
(When [
(Case
(Choice
(ChoiceId "Confirm problem"
(Role "Seller")) [
(Bound 1 1)]) Close)
,
(Case
(Choice
(ChoiceId "Dispute problem"
(Role "Seller")) [
(Bound 0 0)])
(When [
(Case
(Choice
(ChoiceId "Dismiss claim"
(Role "Mediator")) [
(Bound 0 0)])
(Pay
(Role "Buyer")
(Party
(Role "Seller"))
(Token "" "")
(ConstantParam "Price") Close))
,
(Case
(Choice
(ChoiceId "Confirm problem"
(Role "Mediator")) [
(Bound 1 1)]) Close)] (TimeParam "Mediation deadline") Close))] (TimeParam "Complaint deadline") Close)))] (TimeParam "Complaint response deadline") Close))] (TimeParam "Payment deadline") Close