City Research Online

Computational alignment of goals and scenarios for complex systems

Alrajeh, D., Russo, A., Lockerbie, J., Maiden, N., Mavin, A. and Novak, M. J. (2013). Computational alignment of goals and scenarios for complex systems. 2013 35th International Conference on Software Engineering (ICSE), pp. 1249-1252. doi: 10.1109/ICSE.2013.6606690

Abstract

The purpose of requirements validation is to determine whether a large requirements set will lead to the achievement of system-related goals under different conditions - a task that needs automation if it is to be performed quickly and accurately. One reason for the current lack of software tools to undertake such validation is the absence of the computational mechanisms needed to associate scenario, system specification and goal analysis tools. Therefore, in this paper, we report first research experiments in developing these new capabilities, and demonstrate them with a non-trivial example associated with a Rolls Royce aircraft engine software component.

Publication Type: Article
Additional Information: © 2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Publisher Keywords: Requirements validation, scenarios, operational requirements, goal achievement
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: School of Mathematics, Computer Science & Engineering > Computer Science > Human Computer Interaction Design
URI: http://openaccess.city.ac.uk/id/eprint/15056
[img]
Preview
Text - Accepted Version
Download (611kB) | Preview

Export

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login