Support for Requirements Evolution over Time



In early-phase software engineering, stakeholders organize and define system requirements, constraints within the domain and environment, and stakeholders' inentions (i.e., goals, tasks, resources, and soft-goals/qualities). Modeling stakeholder goals and intentions helps stakeholders understand the problem context and evaluate tradeoffs, by exploring possible ``what if'' questions. Using these techniques, stakeholders are unable to reason about possible evolutions of scenarios, leaving questions unanswered about project viability when the fulfillment of goals or availability of components is not guaranteed in the future. This project focuses on specifying, modeling, and reasoning about goals that change over time (relative or absolute). Using simulation and SAT-based analysis, we created and validated a methodology for asking and answering questions about the evolution of qualitative goal models.


Alicia M. Grubb
Marsha Chechik
Gary Song
Marcel Serikawa
Jake Fear
Navie (Yikhei) Chan
Allen (Hanbin) Chang
Farhan Samir


A. M. Grubb and M. Chechik. Modeling and Reasoning with Changing Intentions: An Experiment. 2017 IEEE 25th International Requirements Engineering Conference (RE), 2017.
© IEEE 2017.
Supplementary Information
Talk Slides.

A. M. Grubb and M. Chechik. Looking into the Crystal Ball: Requirements Evolution over Time. 2016 IEEE 24th International Requirements Engineering Conference (RE), 2016.
© IEEE 2016.
Supplementary Information
Talk Slides.

A. M. Grubb, G. Song, and M. Chechik. GrowingLeaf: Supporting Requirements Evolution over Time. In Proceedings of the 9th International i* Workshop, 2016.
Talk Slides.

A. M. Grubb. Adding Temporal Intention Dynamics to Goal Modeling: A Position Paper. In Proceedings of the Seventh International Workshop on Modeling in Software Engineering at ICSE’15, pages 66–71, 2015.
Talk Slides.


A. M. Grubb and M. Chechik. GrowingLeaf: Modeling and Analysis for Goals with Temporal Dynamics. Department of Computer Science Research in Action, March 2016.

Review of Undergraduate Computer Science Papers

Jake Fear. Visually Simulating Goal Models over Time. Department of Computer Science, Fall 2015.

Gary Song. Representing Constraints and Complex Dynamics in Goal Models. Department of Computer Science, Fall 2016.


BloomingLeaf: Formally modeling and Analysis for Goals with Temporal Dynamics in Tropos. GitHub

GrowingLeaf: is an iStar modeling and analysis tool focused on understanding model evolution and how the evaluations of intentional elements change over time. GitHub

Leaf2.0: an goal modeling tool complient with the iStar 2.0 language guide. GitHub

Leaf (beta): is a prototype tool for modeling i* (iStar) goal models.

Last Updated: November 14, 2017