In user interface engineering, scenarios are stories that capture information about users and their tasks, including the context of use. Scenarios are generally documented using natural languages in order to understand, validate and use them effectively and efficiently throughout the development lifecycle. Stakeholders and software developers need to understand scenarios and translate them into design solutions. This paper discusses how use case maps, a visual notation for representing scenarios, with the complicity of formal requirements engineering methods, can lead to a comprehensive framework for representing and validating scenarios while improving and mediating the communication between usability engineers and software development teams. Particular attention is given to the extended use case maps as well as to a number of heuristics for formal validation.
- 12 Aug 2006
- Full paper can be obtained from the ACM Portal
- Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.
| Title || Combining UCMs and Formal Methods for Representing and Checking the Validity of Scenarios as User Requirements |
| Authors || J.A van der Poll, P. Kotze, A. Seffah, T. Radhakrishnan, and E. Alsumait |
| Type || Conference |
| Conference/Journal Title || 2003 annual research conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT 2003), Johannesburg, South Africa |
| Volume/Number || Vol. 47 |
| Editors || J. Eloff, A. Engelbrecht, P. Kotzé, and M. Eloff |
| Publisher || ACM International Conference Proceeding Series |
| Month || September |
| Year || 2003 |
| Pages || 59 - 68 |
| Keywords || Formal specification, Heuristics, Human-computer interaction, Requirements, Scenario, UI, Use Case Maps, Z |