Using abduction and induction for operational requirements elaboration

D. Alrajeh, O. Ray, A. Russo, S. Uchitel, Extracting requirements from scenarios with ILP, in: Proc. of 16th Int. Conference on Inductive Logic Programming, 2006, pp. 63–77 Alrajeh, 2006, Inferring operational requirements from scenarios and goal models using inductive learning, 29 Damas, 2005, Generating annotated behavior models from end-user scenarios, IEEE Transactions on Software Engineering, 31, 1056, 10.1109/TSE.2005.138 Damas, 2006, Scenarios, goals, and state machines: a win-win partnership for model synthesis, 197 M. Gelfond, V. Lifschitz, The stable model semantics for logic programming, in: R.A. Kowalski, K. Bowen (Eds.), Proc. of 5th Int. Conference on Logic Programming, 1988, pp. 1070–1080 Giannakopoulou, 2003, Fluent model checking for event-based systems, 257 Kowalski, 1986, A logic-based calculus of events, New Generation Computing, 4, 67, 10.1007/BF03037383 Kramer, 1983, Conic: An integrated approach to distributed computer control systems, IEE Proceedings (Part E), 130, 1 A. Van Lamsweerde, Goal-oriented requirements engineering: A guided tour, in: Proc. of 5th IEEE Int. Symposium on Requirements Engineering, 2001, pp. 249–263 Van Lamsweerde, 1998, Inferring declarative requirements specifications from operational scenarios, IEEE Transactions on Software Engineering, 24, 1089, 10.1109/32.738341 E. Letier, J. Kramer, J. Magee, S. Uchitel, Deriving event-based transitions systems from goal-oriented requirements models, Technical Report 2006/2, Imperial College London, 2005 E. Letier, A. Van Lamsweerde, Deriving operational software specifications from system goals, in: Proc. of 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, 2002, pp. 119–128 D. Lorenzo, Learning non-monotonic logic programs to reason about actions and change, PhD thesis, University of Coruna, 2001 Magee, 1999 Manna, 1992 R. Miller, M. Shanahan, Some alternative formulations of event calculus, in: Computer Science; Computational Logic; Logic Programming and Beyond, 2002 S. Moyle, An investigation into theory completion techniques in ILP, PhD thesis, University of Oxford, 2003 S. Moyle, S. Muggleton, Learning programs in the event calculus, in: Proc. of 7th Int. Workshop on Inductive Logic Programming, 1997 Muggleton, 1995, Inverse entailment and Progol, New Generation Computing, Special issue on Inductive Logic Programming, 13, 245, 10.1007/BF03037227 S.H. Muggleton, C.H. Bryant, Theory completion using inverse entailment, in: Proc. of 10th Int. Conference on Inductive Logic Programming, 2000, pp. 130–146 Muggleton, 1994, Inductive logic programming: Theory and methods, Journal of Logic Programming, 19, 20, 629, 10.1016/0743-1066(94)90035-3 Otero, 2004, Embracing causality in inducing the effects of actions, vol. 3040/2004, 291 O. Ray, Hybrid abductive-inductive learning, PhD thesis, Imperial College London, 2005 O. Ray, Using abduction for induction of normal logic programs, in: Proc. of ECAI'06 Workshop on Abduction and Induction in AI and Scientific Modelling, 2006, pp. 28–31 A. Russo, R. Miller, B. Nuseibeh, J. Kramer, An abductive approach for analysing event-based requirements specifications, in: Proc. of 18th Int. Conference on Logic Programming, 2002, pp. 22–37 Sakama, 2005, Induction from answer sets in non-monotonic logic programs, ACM Transactions on Computational Logic, 6, 203, 10.1145/1055686.1055687 Shanahan, 1997 C. Stirling, Comparing linear and branching time temporal logics, in: Temporal Logics in Specification, 1987, pp. 1–20 Sutcliffe, 1998, Supporting scenario-based requirements engineering, IEEE Transactions on Software Engineering, 24, 1072, 10.1109/32.738340