Traditionally, goal analysis consists of decomposing goals into subgoals through an AND- or OR- decomposition. Given a goal model and a set of initial labels for some goals (S for Satisfied AND and D for Denied) there is a simple labels propagation algorithm which can generate labels for all other goals of the model [Nilssonʼ72]
~
