Qualitative Reasoning

The RE-Tools toolkit uses qualitative reasoning to evaluate goal achievement in Softgoal Interdependency Graphs (SIGs) based on the Label Propagation Procedure defined in this book, with an extension to support both closed world and open world assumptions.

See here for more detailed discussion about goal achievement reasoning using closed and open assumptions.

Label Propagation Catalog using Closed World Assumption

(click to see a larger image)

Label Propagation Catalog using Open World Assumption

(click to see a larger image)