forked from autonomy-and-verification-uol/mapc2019-liv
-
Notifications
You must be signed in to change notification settings - Fork 0
/
liv-mapc2019-contest2.jcm
88 lines (71 loc) · 2.56 KB
/
liv-mapc2019-contest2.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
mas scenario {
agent agent1: agent.asl {
join: agentart
focus: agentart.eis_art_agent1, team::agentart.team_artifact
goals: register("connectionA1")
}
agent agent2: agent.asl {
join: agentart
focus: agentart.eis_art_agent2, team::agentart.team_artifact
goals: register("connectionA2")
}
agent agent3: agent.asl {
join: agentart
focus: agentart.eis_art_agent3, team::agentart.team_artifact
goals: register("connectionA3")
}
agent agent4: agent.asl {
join: agentart
focus: agentart.eis_art_agent4, team::agentart.team_artifact
goals: register("connectionA4")
}
agent agent5: agent.asl {
join: agentart
focus: agentart.eis_art_agent5, team::agentart.team_artifact
goals: register("connectionA5")
}
agent agent6: agent.asl {
join: agentart
focus: agentart.eis_art_agent6, team::agentart.team_artifact
goals: register("connectionA6")
}
agent agent7: agent.asl {
join: agentart
focus: agentart.eis_art_agent7, team::agentart.team_artifact
goals: register("connectionA7")
}
agent agent8: agent.asl {
join: agentart
focus: agentart.eis_art_agent8, team::agentart.team_artifact
goals: register("connectionA8")
}
agent agent9: agent.asl {
join: agentart
focus: agentart.eis_art_agent9, team::agentart.team_artifact
goals: register("connectionA9")
}
agent agent10: agent.asl {
join: agentart
focus: agentart.eis_art_agent10, team::agentart.team_artifact
goals: register("connectionA10")
}
workspace agentart {
artifact eis_art_agent1: env.EISArtifact("conf/eisconfig/contest2/eismassimconfig1.json")
artifact eis_art_agent2: env.EISArtifact("conf/eisconfig/contest2/eismassimconfig2.json")
artifact eis_art_agent3: env.EISArtifact("conf/eisconfig/contest2/eismassimconfig3.json")
artifact eis_art_agent4: env.EISArtifact("conf/eisconfig/contest2/eismassimconfig4.json")
artifact eis_art_agent5: env.EISArtifact("conf/eisconfig/contest2/eismassimconfig5.json")
artifact eis_art_agent6: env.EISArtifact("conf/eisconfig/contest2/eismassimconfig6.json")
artifact eis_art_agent7: env.EISArtifact("conf/eisconfig/contest2/eismassimconfig7.json")
artifact eis_art_agent8: env.EISArtifact("conf/eisconfig/contest2/eismassimconfig8.json")
artifact eis_art_agent9: env.EISArtifact("conf/eisconfig/contest2/eismassimconfig9.json")
artifact eis_art_agent10: env.EISArtifact("conf/eisconfig/contest2/eismassimconfig10.json")
artifact team_artifact: env.TeamArtifact()
}
// organisation org : org.xml{
// group g1 : team
// }
asl-path: src/agt
src/agt/inc
platform: cartago("infrastructure")
}