Sciweavers

Share
SCESM
2006
ACM

Inferring operational requirements from scenarios and goal models using inductive learning

10 years 1 months ago
Inferring operational requirements from scenarios and goal models using inductive learning
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. Categories and Subject Descriptors: D.2.1 Software EngineeringRequirement/Specifications [Elicitation methods]; I.2.6 Artificial IntelligenceLearning[Induction] General Terms: Theory, Verification
Dalal Alrajeh, Alessandra Russo, Sebastián
Added 14 Jun 2010
Updated 14 Jun 2010
Type Conference
Year 2006
Where SCESM
Authors Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel
Comments (0)
books