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

Listing 1

DESMOS definition of the initial topology for Passive Replication.

(1) LocationP>>structure

(2)  super structure.

(3)  self link: #Network gate: #xy to: #Executive gate: #xy.

(4)  self add: #A model: PositionP.

(5)  self add: #B model: PositionP.

(6)  self add: #C model: PositionP.

(7)  self link: #Executive gate: #time:ax:ay: to: #A gate: #time:ax:ay:.

(8)    self link: #Executive gate: #xy: to: #A gate: #xy:.

(9)    self link: #A gate: #backup: to: #B gate: #state:.

(10)   self link: #A gate: #backup: to: #C gate: #state:.

(11)   self link: #A gate: #beat to: #Executive gate: #beat: dFilter: [|#Source].

(12)   self link: #B gate: #beat to: #Executive gate: #beat: dFilter: [|#Source].

(13)   self link: #C gate: #beat to: #Executive gate: #beat: dFilter: [|#Source].