Inferring operational requirements from scenarios and goal models using inductive learning

Authors:
Dalal Alrajeh;Alessandra Russo;Sebastian Uchitel
Affiliations:
Imperial College London, London, UK;Imperial College London, London, UK;Imperial College London, London, UK
Venue:
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Year:
2006

Citing 14
Cited 2

Artificial intelligence and software engineering

ICSE '87 Proceedings of the 9th international conference on Software Engineering
The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Supporting Scenario-Based Requirements Engineering

IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios

IEEE Transactions on Software Engineering
Concurrency: state models & Java programs

Concurrency: state models & Java programs
Requirements engineering in the year 00: a research perspective

Proceedings of the 22nd international conference on Software engineering
Agent-based tactics for goal-oriented requirements elaboration

Proceedings of the 24th International Conference on Software Engineering
Deriving operational software specifications from system goals

Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Some Alternative Formulations of the Event Calculus

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Machine Learning and Software Engineering

Software Quality Control
Goal-Oriented Requirements Engineering: A Guided Tour

RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Fluent model checking for event-based systems

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Active learning for automatic classification of software behavior

ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Fluent temporal logic for discrete-time event-based models

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering

Extracting Requirements from Scenarios with ILP

Inductive Logic Programming
On the generation of requirements specifications from software engineering models: A systematic literature review

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the few techniques that exist are cumbersome and impractical. In particular, the derivation of operational models and operational requirements from goals is a manual and tedious task which is, currently, only partially supported by operationalisation patterns. In this position paper we propose a framework for supporting such tasks by combining model checking and machine learning. As a proof of concept we instantiate the framework to show that progress checks and inductive learning can be used to infer preconditions and hence to support derivation of operational models.