source: fedd/abac-src/atnvis/linked/MedSup.prop @ 866c983

axis_examplecompt_changesinfo-opsversion-1.30version-2.00version-3.01version-3.02
Last change on this file since 866c983 was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago

ABAC sources from Cobham
  • Property mode set to 100755
File size: 8.8 KB
Line 
1subject = MedSup
2
3update.1.location = local
4
5update.1.1.type = node
6update.1.1.name = MedSup: MedSup.discount <<-?- Alice
7update.1.1.nodeType = RoleTarget
8update.1.1.isRoot = True
9
10update.1.2.type = node
11update.1.2.nodeType = RoleTarget
12update.1.2.name = MedSup: MedSup.discount <<-?- Alice
13update.1.2.processing = unprocessed
14update.1.2.satisfied = Unknown
15
16update.1.3.type = node
17update.1.3.nodeType = RoleTarget
18update.1.3.name = MedSup: MedSup.discount <<-?- Alice
19update.1.3.processing = unprocessed
20update.1.3.satisfied = Unknown
21
22update.1.4.type = edge
23update.1.4.edgeType = Implication
24update.1.4.parentName = MedSup: MedSup.discount <<-?- Alice
25update.1.4.childName = MedSup: MedSup.partner.pA <<-?- Alice
26update.1.4.childType = LinkedRoleTarget
27update.1.4.childProcessing = opponent
28update.1.4.evidence.1 = MedSup.discount<-MedSup.partner.pA
29update.1.5.type = node
30update.1.5.nodeType = LinkedRoleTarget
31update.1.5.name = MedSup: MedSup.partner.pA <<-?- Alice
32update.1.5.processing = opponent
33update.1.5.satisfied = Unknown
34
35update.1.6.type = node
36update.1.6.nodeType = RoleTarget
37update.1.6.name = MedSup: MedSup.discount <<-?- Alice
38update.1.6.processing = opponent
39update.1.6.satisfied = Unknown
40
41update.1.7.type = node
42update.1.7.name = MedSup: MedSup.discount <<-?- Alice
43update.1.7.processing = verifier
44
45update.1.8.type = edge
46update.1.8.edgeType = LinkingMonitor
47update.1.8.parentName = MedSup: MedSup.partner.pA <<-?- Alice
48update.1.8.childName = MedSup: ?X.pA <<-?- Alice
49update.1.8.childType = LinkingGoal
50update.1.8.childProcessing = verifier
51update.1.9.type = node
52update.1.9.nodeType = LinkingGoal
53update.1.9.name = MedSup: ?X.pA <<-?- Alice
54update.1.9.processing = verifier
55update.1.9.satisfied = Incomplete
56
57update.2.location = remote
58
59update.2.1.type = edge
60update.2.1.edgeType = LinkingSolution
61update.2.1.parentName = MedSup: ?X.pA <<-?- Alice
62update.2.1.childName = MedSup: MedixFund.pA <<-?- Alice
63update.2.1.childType = RoleTarget
64update.2.1.childProcessing = verifier
65update.2.2.type = node
66update.2.2.nodeType = RoleTarget
67update.2.2.name = MedSup: MedixFund.pA <<-?- Alice
68update.2.2.processing = verifier
69update.2.2.satisfied = Unknown
70
71update.2.3.type = node
72update.2.3.name = MedSup: ?X.pA <<-?- Alice
73update.2.3.processing = opponent
74
75update.2.4.type = node
76update.2.4.nodeType = LinkingGoal
77update.2.4.name = MedSup: ?X.pA <<-?- Alice
78update.2.4.processing = fully
79update.2.4.satisfied = Incomplete
80
81update.2.5.type = edge
82update.2.5.edgeType = Control
83update.2.5.parentName = MedSup: MedixFund.pA <<-?- Alice
84update.2.5.childName = Alice: MedixFund.partner <<-?- MedSup
85update.2.5.childType = RoleTarget
86update.2.5.childProcessing = opponent
87update.2.6.type = node
88update.2.6.nodeType = RoleTarget
89update.2.6.name = Alice: MedixFund.partner <<-?- MedSup
90update.2.6.processing = opponent
91update.2.6.satisfied = Unknown
92
93update.2.7.type = edge
94update.2.7.edgeType = Implication
95update.2.7.parentName = Alice: MedixFund.partner <<-?- MedSup
96update.2.7.childName = Alice: ReliefNet.coaMember <<-?- MedSup
97update.2.7.childType = RoleTarget
98update.2.7.childProcessing = verifier
99update.2.7.evidence.1 = MedixFund.partner<-ReliefNet.coaMember
100update.2.8.type = node
101update.2.8.nodeType = RoleTarget
102update.2.8.name = Alice: ReliefNet.coaMember <<-?- MedSup
103update.2.8.processing = verifier
104update.2.8.satisfied = Unknown
105
106update.2.9.type = node
107update.2.9.nodeType = RoleTarget
108update.2.9.name = Alice: MedixFund.partner <<-?- MedSup
109update.2.9.processing = opponent
110update.2.9.satisfied = Unknown
111
112update.2.10.type = node
113update.2.10.name = Alice: MedixFund.partner <<-?- MedSup
114update.2.10.processing = verifier
115
116update.3.location = local
117
118update.3.1.type = edge
119update.3.1.edgeType = Implication
120update.3.1.parentName = Alice: ReliefNet.coaMember <<-?- MedSup
121update.3.1.childName = Alice: MedSup <<-?- MedSup
122update.3.1.childType = TrivialTarget
123update.3.1.childProcessing = fully
124update.3.1.evidence.1 = ReliefNet.coaMember<-MedSup
125update.3.2.type = node
126update.3.2.nodeType = TrivialTarget
127update.3.2.name = Alice: MedSup <<-?- MedSup
128update.3.2.processing = fully
129update.3.2.satisfied = Satisfied
130
131update.3.3.type = node
132update.3.3.nodeType = RoleTarget
133update.3.3.name = Alice: ReliefNet.coaMember <<-?- MedSup
134update.3.3.processing = verifier
135update.3.3.satisfied = Unknown
136
137update.3.4.type = node
138update.3.4.nodeType = RoleTarget
139update.3.4.name = Alice: ReliefNet.coaMember <<-?- MedSup
140update.3.4.processing = verifier
141update.3.4.satisfied = Satisfied
142
143update.3.5.type = node
144update.3.5.nodeType = RoleTarget
145update.3.5.name = Alice: MedixFund.partner <<-?- MedSup
146update.3.5.processing = fully
147update.3.5.satisfied = Satisfied
148
149update.3.6.type = node
150update.3.6.name = Alice: ReliefNet.coaMember <<-?- MedSup
151update.3.6.processing = opponent
152
153update.4.location = remote
154
155update.4.1.type = edge
156update.4.1.edgeType = Implication
157update.4.1.parentName = MedSup: MedixFund.pA <<-?- Alice
158update.4.1.childName = MedSup: Alice <<-?- Alice
159update.4.1.childType = TrivialTarget
160update.4.1.childProcessing = fully
161update.4.1.evidence.1 = MedixFund.pA<-Alice
162update.4.2.type = node
163update.4.2.nodeType = TrivialTarget
164update.4.2.name = MedSup: Alice <<-?- Alice
165update.4.2.processing = fully
166update.4.2.satisfied = Satisfied
167
168update.4.3.type = node
169update.4.3.nodeType = RoleTarget
170update.4.3.name = MedSup: MedixFund.pA <<-?- Alice
171update.4.3.processing = verifier
172update.4.3.satisfied = Unknown
173
174update.4.4.type = node
175update.4.4.nodeType = RoleTarget
176update.4.4.name = MedSup: MedixFund.pA <<-?- Alice
177update.4.4.processing = verifier
178update.4.4.satisfied = Satisfied
179
180update.4.5.type = edge
181update.4.5.edgeType = LinkingImplication
182update.4.5.parentName = MedSup: MedSup.partner.pA <<-?- Alice
183update.4.5.childName = MedSup: MedSup.partner <<-?- MedixFund
184update.4.5.childType = RoleTarget
185update.4.5.childProcessing = opponent
186update.4.6.type = node
187update.4.6.nodeType = RoleTarget
188update.4.6.name = MedSup: MedSup.partner <<-?- MedixFund
189update.4.6.processing = opponent
190update.4.6.satisfied = Unknown
191
192update.4.7.type = node
193update.4.7.nodeType = LinkedRoleTarget
194update.4.7.name = MedSup: MedSup.partner.pA <<-?- Alice
195update.4.7.processing = opponent
196update.4.7.satisfied = Unknown
197
198update.4.8.type = node
199update.4.8.nodeType = LinkingGoal
200update.4.8.name = MedSup: ?X.pA <<-?- Alice
201update.4.8.processing = fully
202update.4.8.satisfied = Complete
203
204update.4.9.type = node
205update.4.9.name = MedSup: MedSup.partner.pA <<-?- Alice
206update.4.9.processing = verifier
207
208update.4.10.type = node
209update.4.10.name = MedSup: MedixFund.pA <<-?- Alice
210update.4.10.processing = opponent
211
212update.5.location = local
213
214update.5.1.type = edge
215update.5.1.edgeType = Implication
216update.5.1.parentName = MedSup: MedSup.partner <<-?- MedixFund
217update.5.1.childName = MedSup: ReliefNet.coaMember <<-?- MedixFund
218update.5.1.childType = RoleTarget
219update.5.1.childProcessing = verifier
220update.5.1.evidence.1 = MedSup.partner<-ReliefNet.coaMember
221update.5.2.type = node
222update.5.2.nodeType = RoleTarget
223update.5.2.name = MedSup: ReliefNet.coaMember <<-?- MedixFund
224update.5.2.processing = verifier
225update.5.2.satisfied = Unknown
226
227update.5.3.type = node
228update.5.3.nodeType = RoleTarget
229update.5.3.name = MedSup: MedSup.partner <<-?- MedixFund
230update.5.3.processing = opponent
231update.5.3.satisfied = Unknown
232
233update.5.4.type = node
234update.5.4.name = MedSup: MedSup.partner <<-?- MedixFund
235update.5.4.processing = verifier
236
237update.6.location = remote
238
239update.6.1.type = edge
240update.6.1.edgeType = Implication
241update.6.1.parentName = MedSup: ReliefNet.coaMember <<-?- MedixFund
242update.6.1.childName = MedSup: MedixFund <<-?- MedixFund
243update.6.1.childType = TrivialTarget
244update.6.1.childProcessing = fully
245update.6.1.evidence.1 = ReliefNet.coaMember<-MedixFund
246update.6.2.type = node
247update.6.2.nodeType = TrivialTarget
248update.6.2.name = MedSup: MedixFund <<-?- MedixFund
249update.6.2.processing = fully
250update.6.2.satisfied = Satisfied
251
252update.6.3.type = node
253update.6.3.nodeType = RoleTarget
254update.6.3.name = MedSup: ReliefNet.coaMember <<-?- MedixFund
255update.6.3.processing = verifier
256update.6.3.satisfied = Unknown
257
258update.6.4.type = node
259update.6.4.nodeType = RoleTarget
260update.6.4.name = MedSup: ReliefNet.coaMember <<-?- MedixFund
261update.6.4.processing = verifier
262update.6.4.satisfied = Satisfied
263
264update.6.5.type = node
265update.6.5.nodeType = RoleTarget
266update.6.5.name = MedSup: MedSup.partner <<-?- MedixFund
267update.6.5.processing = fully
268update.6.5.satisfied = Satisfied
269
270update.6.6.type = node
271update.6.6.nodeType = LinkedRoleTarget
272update.6.6.name = MedSup: MedSup.partner.pA <<-?- Alice
273update.6.6.processing = fully
274update.6.6.satisfied = Satisfied
275
276update.6.7.type = node
277update.6.7.nodeType = RoleTarget
278update.6.7.name = MedSup: MedSup.discount <<-?- Alice
279update.6.7.processing = fully
280update.6.7.satisfied = Satisfied
281
282update.6.8.type = node
283update.6.8.name = MedSup: ReliefNet.coaMember <<-?- MedixFund
284update.6.8.processing = opponent
285
Note: See TracBrowser for help on using the repository browser.