Incorporating Presence Conditions into Goal Models that Evolve Over Time: Supplemental Video

Document Type

Conference Proceeding

Publication Date


Publication Title

Proceedings of the 13th International Model-Driven Requirements Engineering (MoDRE) workshop, published within the 31st IEEE International Requirements Engineering Conference Workshops (REW 2023) proceedings.


Supplemental video for the research paper entitled, "Incorporating Presence Conditions into Goal Models that Evolve Over Time". This workshop paper investigates the problem of specifying and reasoning about goal models when some stakeholders and their intentions are not present for the entirety of a timeline under consideration. The paper presents a specification and implementation of presence conditions in the Evolving Intentions framework and the BloomingLeaf tool. This supplement contains a video demonstrating the given solution on a large model from the literature.