Using Satisfaction Arguments to Enhance i* Modelling of an Air Traffic Management System

This paper reports the integration of satisfaction arguments into i* goal modelling to support analyses of the impact of new software systems on system-wide goals. Integration is based on a conceptual model that relates satisfaction argument and i* model concepts. New impact analysis procedures based on the integrated models and satisfaction arguments are introduced.