-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathpucrs-mapc2017.jcm
executable file
·185 lines (179 loc) · 6.93 KB
/
pucrs-mapc2017.jcm
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
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
mas scenario {
agent vehicle1: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle1, vehicleart.team_artifact
goals: register("connectionA1"), add_initiator
}
agent vehicle2: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle2, vehicleart.team_artifact
goals: register("connectionA2")
}
agent vehicle3: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle3, vehicleart.team_artifact
goals: register("connectionA3")
}
agent vehicle4: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle4, vehicleart.team_artifact
goals: register("connectionA4")
}
agent vehicle5: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle5, vehicleart.team_artifact
goals: register("connectionA5")
}
agent vehicle6: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle6, vehicleart.team_artifact
goals: register("connectionA6")
}
agent vehicle7: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle7, vehicleart.team_artifact
goals: register("connectionA7")
}
agent vehicle8: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle8, vehicleart.team_artifact
goals: register("connectionA8")
}
agent vehicle9: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle9, vehicleart.team_artifact
goals: register("connectionA9")
}
agent vehicle10: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle10, vehicleart.team_artifact
goals: register("connectionA10")
}
agent vehicle11: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle11, vehicleart.team_artifact
goals: register("connectionA11")
}
agent vehicle12: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle12, vehicleart.team_artifact
goals: register("connectionA12")
}
agent vehicle13: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle13, vehicleart.team_artifact
goals: register("connectionA13")
}
agent vehicle14: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle14, vehicleart.team_artifact
goals: register("connectionA14")
}
agent vehicle15: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle15, vehicleart.team_artifact
goals: register("connectionA15")
}
agent vehicle16: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle16, vehicleart.team_artifact
goals: register("connectionA16")
}
agent vehicle17: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle17, vehicleart.team_artifact
goals: register("connectionA17")
}
agent vehicle18: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle18, vehicleart.team_artifact
goals: register("connectionA18")
}
agent vehicle19: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle19, vehicleart.team_artifact
goals: register("connectionA19")
}
agent vehicle20: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle20, vehicleart.team_artifact
goals: register("connectionA20")
}
agent vehicle21: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle21, vehicleart.team_artifact
goals: register("connectionA21")
}
agent vehicle22: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle22, vehicleart.team_artifact
goals: register("connectionA22")
}
agent vehicle23: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle23, vehicleart.team_artifact
goals: register("connectionA23")
}
agent vehicle24: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle24, vehicleart.team_artifact
goals: register("connectionA24")
}
agent vehicle25: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle25, vehicleart.team_artifact
goals: register("connectionA25")
}
agent vehicle26: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle26, vehicleart.team_artifact
goals: register("connectionA26")
}
agent vehicle27: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle27, vehicleart.team_artifact
goals: register("connectionA27")
}
agent vehicle28: vehicle.asl {
join: vehicleart, org
focus: vehicleart.eis_art_vehicle28, vehicleart.team_artifact
goals: register("connectionA28")
}
workspace vehicleart {
artifact eis_art_vehicle1: env.EISArtifact("conf/eisconfig/eismassimconfig1.json")
artifact eis_art_vehicle2: env.EISArtifact("conf/eisconfig/eismassimconfig2.json")
artifact eis_art_vehicle3: env.EISArtifact("conf/eisconfig/eismassimconfig3.json")
artifact eis_art_vehicle4: env.EISArtifact("conf/eisconfig/eismassimconfig4.json")
artifact eis_art_vehicle5: env.EISArtifact("conf/eisconfig/eismassimconfig5.json")
artifact eis_art_vehicle6: env.EISArtifact("conf/eisconfig/eismassimconfig6.json")
artifact eis_art_vehicle7: env.EISArtifact("conf/eisconfig/eismassimconfig7.json")
artifact eis_art_vehicle8: env.EISArtifact("conf/eisconfig/eismassimconfig8.json")
artifact eis_art_vehicle9: env.EISArtifact("conf/eisconfig/eismassimconfig9.json")
artifact eis_art_vehicle10: env.EISArtifact("conf/eisconfig/eismassimconfig10.json")
artifact eis_art_vehicle11: env.EISArtifact("conf/eisconfig/eismassimconfig11.json")
artifact eis_art_vehicle12: env.EISArtifact("conf/eisconfig/eismassimconfig12.json")
artifact eis_art_vehicle13: env.EISArtifact("conf/eisconfig/eismassimconfig13.json")
artifact eis_art_vehicle14: env.EISArtifact("conf/eisconfig/eismassimconfig14.json")
artifact eis_art_vehicle15: env.EISArtifact("conf/eisconfig/eismassimconfig15.json")
artifact eis_art_vehicle16: env.EISArtifact("conf/eisconfig/eismassimconfig16.json")
artifact eis_art_vehicle17: env.EISArtifact("conf/eisconfig/eismassimconfig17.json")
artifact eis_art_vehicle18: env.EISArtifact("conf/eisconfig/eismassimconfig18.json")
artifact eis_art_vehicle19: env.EISArtifact("conf/eisconfig/eismassimconfig19.json")
artifact eis_art_vehicle20: env.EISArtifact("conf/eisconfig/eismassimconfig20.json")
artifact eis_art_vehicle21: env.EISArtifact("conf/eisconfig/eismassimconfig21.json")
artifact eis_art_vehicle22: env.EISArtifact("conf/eisconfig/eismassimconfig22.json")
artifact eis_art_vehicle23: env.EISArtifact("conf/eisconfig/eismassimconfig23.json")
artifact eis_art_vehicle24: env.EISArtifact("conf/eisconfig/eismassimconfig24.json")
artifact eis_art_vehicle25: env.EISArtifact("conf/eisconfig/eismassimconfig25.json")
artifact eis_art_vehicle26: env.EISArtifact("conf/eisconfig/eismassimconfig26.json")
artifact eis_art_vehicle27: env.EISArtifact("conf/eisconfig/eismassimconfig27.json")
artifact eis_art_vehicle28: env.EISArtifact("conf/eisconfig/eismassimconfig28.json")
artifact team_artifact: env.TeamArtifact()
}
workspace org {
artifact myorg: ora4mas.nopl.OrgBoard("src/org/sch.xml")
}
asl-path: src/agt
src/agt/inc
platform: cartago("infrastructure")
}