Letier, E;
Kramer, J;
Magee, J;
Uchitel, S;
(2005)
Monitoring and control in scenario-based requirements analysis.
In:
ICSE 05: 27th International Conference on Software Engineering, Proceedings.
(pp. 382 - 391).
ASSOC COMPUTING MACHINERY
Preview |
PDF
13392.pdf Download (3MB) |
Abstract
Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the software-to-be and agents in the environment. Interactions correspond to the occurrence of an event that is controlled by one agent and monitored by another.This paper presents a technique to analyse requirements-level scenarios for unforeseen, potentially harmful, consequences. Our aim is to perform analysis early in system development, where it is highly cost-effective. The approach recognises the importance of monitoring and control issues and extends existing work on implied scenarios accordingly. These so-called input-output implied scenarios expose problematic behaviours in scenario descriptions that cannot be detected using standard implied scenarios. Validation of these implied scenarios supports requirements elaboration. We demonstrate the relevance of input-output implied scenarios using a number of examples.
Type: | Proceedings paper |
---|---|
Title: | Monitoring and control in scenario-based requirements analysis |
Event: | 27th International Conference on Software Engineering (ICSE 2005) |
Location: | St Louis, MO |
Dates: | 2005-05-15 - 2005-05-21 |
Open access status: | An open access version is available from UCL Discovery |
Keywords: | implied scenarios, message sequence charts, scenario-based requirements elaboration, MESSAGE SEQUENCE CHARTS, SPECIFICATIONS, SEMANTICS, LANGUAGE, SYSTEMS |
UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
URI: | https://discovery.ucl.ac.uk/id/eprint/13392 |
Archive Staff Only
View Item |