Qualitative, Interactive, Backward Analysis of i* Models
Jennifer Horkoff, Eric S. K. Yu · 2008
Deriving the full benefits of i* models requires analysis and iteration beyond initial construction. This work outlines a procedure which allows backwards (top-down), qualitative, interactive analysis of i* models using SAT solving techniques. This approach expands on work in goal model reasoning, expressing i* models and qualitative evaluation values as a SAT problem. The nature of the interaction with the user will be explored. Future work will include an implementation of this procedure into the Eclipse-based OpenOME tool and application to a detailed case study.