Goal and scenario validation: a fluent combination

Authors:
Sebastian Uchitel;Robert Chatley;Jeff Kramer;Jeff Magee
Affiliations:
Department of Computing, Imperial College London, London, UK;Department of Computing, Imperial College London, London, UK;Department of Computing, Imperial College London, London, UK;Department of Computing, Imperial College London, London, UK
Venue:
Requirements Engineering
Year:
2006

Citing 0
Cited 6

Ahab's leg: exploring the issues of communicating semi-formal requirements to the final users

CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Design as intercultural dialogue: coupling human-centered design with requirement engineering methods

INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part III
Automatic cross validation of multiple specifications: a case study

FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Controller synthesis: from modelling to enactment

Proceedings of the 2013 International Conference on Software Engineering
REUBI: A Requirements Engineering method for ubiquitous systems

Science of Computer Programming
Model-based requirements verification method: Conclusions from two controlled experiments

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Scenarios and goals are effective techniques for requirements definition. Goals are objectives that a system has to meet. They are elaborated into a structure that decomposes declarative goals into goals that can be formulated in terms of events and can be controlled or monitored by the system. Scenarios are operational examples of system usage. Validation of goals and scenarios is essential in order to ensure that they represent what stakeholders actually want. Rather than validating scenarios and goals separately, possibly driving the elaboration of one through the validation of another, this paper exploits the relationship between goals and scenarios. The aim is to provide effective graphical animations as a means of supporting such a validation. The relation between scenarios and goals is established by means of fluents that describe how events of the operational description change the state of the basic propositions from which goals are expressed. Graphical animations are specified in terms of fluents and driven by a behaviour model synthesised from the operational scenarios. In addition, goal model checking over operational scenarios is provided to guide animations through goal violation traces.