Combining UCMs and formal methods for representing and checking the validity of scenarios as user requirements

  • Authors:

  • John A. van der Poll;Paula Kotzé;Ahmed Seffah;Thiruvengadam Radhakrishnan;Asmaa Alsumait

  • Affiliations:

  • School of Computing, University of South Africa, PO Box 392, UNISA, 0003, South Africa;School of Computing, University of South Africa, PO Box 392, UNISA, 0003, South Africa;Human-Centered Software Engineering Group, Concordia University, Montreal, Canada;Human-Centered Software Engineering Group, Concordia University, Montreal, Canada;Human-Centered Software Engineering Group, Concordia University, Montreal, Canada

  • Venue:
  • SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.