Representing Tactics for Fault Recovery: A Reconfigurable, Modular, and Hierarchical Approach

Listing 3

Removal of the faulty primary backup.

(1) Location>>removePrimary: aName newPrimary: bName backups: aList

(2)  self remove: aName.

(3)  self link: #Executive gate: #time:ax:ay: to: bName gate: #time:ax:ay:.

(4)  self link: #Executive gate: #xy: to: bName gate: #xy:.

(5)  aList do: [:b|

(6)    self link: bName gate: #backup: to: b gate: #state:.

(7)  .