Fluent-based web animation: exploring goals for requirements validation
R. Chatley, Sebastián Uchitel, J. Kramer, J. Magee · 2005
We present a tool that provides effective graphical animations as a means of validating both goals and software designs. Goals are objectives that a system is expected to meet. They are decomposed until they can be represented as fluents. Animations are specified in terms of fluents and driven by behaviour models.