Behaviour Tree

• S1 —— P.ProposeRequirement(r)

• S1.1 ———— P.SupportRequirement

• S1.2 ———— P.RetractRequirement

• S1.3 —————— P.RedefineRequirement(r, r’)

• S1.3.1 ———————— P.SupportRequirement

• S1.3.2 ———————— P.RetractRequirement

• S1.4 ———— O.AttackRequirement

• S2 —— P.ProposeModel(m, r)

• S2.1 ———— P.ProposeExperiment(m, e, r)

• S2.1.1 —————— P.ProposeExperiment

• S2.1.2 —————— P.SupportExperiment

• S2.1.3 —————— P.RetractExperiment

• S2.1.4 —————— P.ReviseRequirement(m, r, r’, e)

• S2.1.5 —————— P.StudyDone

• S2.1.6 —————— O.AttackExperiment

• S2.1.7 —————— O.AttackRequirement

• S2.1.8 —————— O.AttackModel

• S2.1.9 —————— O.CounterModel

• S2.1.10 ————— O.NotConvinced

• S2.2 ———— P.SupportModel(m, t)

• S2.2.1 —————— P.ProposeExperiment

• S2.2.2 —————— P.SupportExperiment

• S2.2.3 —————— P.SupportModel

• S2.2.4 —————— P.StudyDone

• S2.2.5 —————— O.AttackExperiment

• S2.2.6 —————— O.AttackRequirement

• S2.2.7 —————— O.AttackModel

• S2.2.8 —————— O.CounterModel

• S2.2.9 —————— O.NotConvinced

• S2.3 ———— P.ReplaceModel(m, m’)

• S2.3.1 —————— P.SupportModel(m’, r)

• S2.3.2 —————— P.RetractModel(m)

• S2.3.3 —————— O.AttackModel(m’)

• S2.3.4 —————— O.CounterModel(m’, e, r)

• S2.3.5 —————— P.ProposeExperiment(m’, e, r)

• S2.4 ———— O.CounterModel(m, e, r)

• S2.4.1 —————— O.SupportExperiment

• S2.4.2 —————— P.AttackExperiment

• S2.4.3 —————— P.ReplaceModel

• S2.4.4 —————— P.ReviseRequirement

• S2.4.5 —————— P.RetractRequirement

• S2.5 ———— O.AttackModel(m, t)

• S2.5.1 —————— P.ReplaceModel

• S2.5.2 —————— P.ReviseRequirement

• S2.5.3 —————— P.RetractRequirement