27 lines
605 B
Plaintext
27 lines
605 B
Plaintext
global group(time) exploit car_depart(c,w)=
|
|
preconditions:
|
|
quality:c,compromised!=true;
|
|
quality:c,staus=up;
|
|
postconditions:
|
|
update topology:c<->w,distance+=25;
|
|
.
|
|
|
|
global group(time) exploit car_approach(c,w)=
|
|
preconditions:
|
|
quality:c,compromised=true;
|
|
quality:c,status=up;
|
|
topology:c<->w,distance>25;
|
|
postconditions:
|
|
update topology:c<->w,distance=-25;
|
|
.
|
|
|
|
global group(time) exploit car_crash(c,w)=
|
|
preconditions:
|
|
quality:c,compromised=true;
|
|
quality:c,status=up;
|
|
topology:c<->w,distance<=25;
|
|
postconditions:
|
|
update topology:c<->w,distance:=0;
|
|
update quality:c,status=down;
|
|
.
|