Computational alignment of goals and scenarios for complex systems

Authors:
Dalal Alrajeh;Alessandra Russo;James Lockerbie;Neil Maiden;Alistair Mavin;Mark Novak
Affiliations:
Imperial College London, UK;Imperial College London, UK;City University London, UK;City University London, UK;Rolls Royce, UK;Aero Engine Controls, UK
Venue:
Proceedings of the 2013 International Conference on Software Engineering
Year:
2013

Citing 16
Cited 0

Inferring Declarative Requirements Specifications from Operational Scenarios

IEEE Transactions on Software Engineering
Answer set programming and plan generation

Artificial Intelligence
Will It Work?

RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Message sequence charts

UML for real
Determining Socio-Technical Systems Requirements: Experiences with Generating and Walking through Scenarios

RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
REDEPEND: Extending i* Modelling into Requirements Processes

RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Scenarios, goals, and state machines: a win-win partnership for model synthesis

Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Assume-Guarantee Verification for Interface Automata

FM '08 Proceedings of the 15th international symposium on Formal Methods
"Fairness Analysis in Requirements Assignments

RE '08 Proceedings of the 2008 16th IEEE International Requirements Engineering Conference
Engineering an Incremental ASP Solver

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Finding robust solutions in requirements models

Automated Software Engineering
Social Modeling for Requirements Engineering

Social Modeling for Requirements Engineering
Learning to adapt requirements specifications of evolving systems (NIER track)

Proceedings of the 33rd International Conference on Software Engineering
Synthesis from scenario-based specifications

Journal of Computer and System Sciences
Generating obstacle conditions for requirements completeness

Proceedings of the 34th International Conference on Software Engineering
Elaborating Requirements Using Model Checking and Inductive Learning

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.