generate_sc_behaviour/auto.json at master · jotaAfonso/generate_sc_behaviour · GitHub

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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
{
   "id": "c",
   "initialState": "S0",
   "states": [
      "S0",
      "S1",
      "S2"
   ],
   "finalStates": [
      "S2"
   ],
   "transitions": [
      {
         "from": "S1",
         "to": "S0",
         "actionLabel": "Withdraw",
         "newParts": [],
         "existantParts": {
            "role": "",
            "participants": [
               "b"
            ]
         },
         "input": "",
         "preCondition": "",
         "postCondition": "",
         "internal": false,
         "externalCall": false
      },
      {
         "from": "S0",
         "to": "S1",
         "actionLabel": "Bid",
         "newParts": [
            {
               "role": "B",
               "participants": [
                  "b"
               ]
            }
         ],
         "existantParts": {
            "role": "",
            "participants": []
         },
         "input": "",
         "preCondition": "",
         "postCondition": "",
         "internal": false,
         "externalCall": false
      },
      {
         "from": "S1",
         "to": "S2",
         "actionLabel": "End",
         "newParts": [],
         "existantParts": {
            "role": "",
            "participants": [
               "o"
            ]
         },
         "input": "",
         "preCondition": "",
         "postCondition": "",
         "internal": false,
         "externalCall": false
      },
      {
         "from": "_",
         "to": "S0",
         "actionLabel": "starts",
         "newParts": [
            {
               "role": "O",
               "participants": [
                  "o"
               ]
            }
         ],
         "existantParts": {
            "role": "",
            "participants": []
         },
         "input": "",
         "preCondition": "",
         "postCondition": "",
         "internal": false,
         "externalCall": false
      }
   ],
   "roles": [
      "B",
      "O"
   ],
   "rPAssociation": [
      {
         "role": "O",
         "participants": [
            "o"
         ]
      },
      {
         "role": "B",
         "participants": [
            "b",
            "b1"
         ]
      }
   ]
}