Fluent-based web animation: exploring goals for requirements validation
Proceedings of the 27th international conference on Software engineering
What Has Requirements Research Ever Done for Us?
IEEE Software
Leveraging Eclipse for integrated model-based engineering of web service compositions
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Architecture-based testing using goals and plans
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Conformance of navigational behavioural to requirements using animation
International Journal of Web Engineering and Technology
Hi-index | 0.00 |
Scenarios and goals are effective and popular techniques for requirements definition. Validation 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 the other, this paper focuses on exploiting the relation between goals and scenarios. The aim is to provide effective graphical animations as a means of validating both. Goals are objectives that a system is to meet. They are elaborated into a structure that decomposes declarative goals into goals that can be formulated in terms of events that can be controlled or monitored by the system. Scenarios are operational examples of system usage. 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.