Deriving non-Zeno behaviour models from goal models using ILP

One of the difficulties in goal-oriented requirements engineering (GORE) is the construction of behaviour models from declarative goal specifications. This paper addresses this problem using a combination of model checking and machine learning. First, a goal model is transformed into a (potentially Zeno) behaviour model. Then, via an iterative process, Zeno traces are identified by model checking the behaviour model against a time progress property, and inductive logic programming (ILP) is used to learn operational requirements (pre-conditions) that eliminate these traces. The process terminates giving a non-Zeno behaviour model produced from the learned pre-conditions and the given goal model.

[1]  Krysia Broda,et al.  A Hybrid Abductive Inductive Proof Procedure , 2004, Log. J. IGPL.

[2]  Peter A. Flach,et al.  Using abduction for induction of normal logic programs , 2006 .

[3]  Marsha Chechik,et al.  Behaviour Model Synthesis from Properties and Scenarios , 2007, 29th International Conference on Software Engineering (ICSE'07).

[4]  Axel van Lamsweerde,et al.  Inferring Declarative Requirements Specifications from Operational Scenarios , 1998, IEEE Trans. Software Eng..

[5]  Morris Sloman,et al.  CONIC: an integrated approach to distributed computer control systems , 1983 .

[6]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[7]  Axel van Lamsweerde,et al.  Formal refinement patterns for goal-driven requirements elaboration , 1996, SIGSOFT '96.

[8]  Constance L. Heitmeyer,et al.  SCR: a toolset for specifying and analyzing requirements , 1995, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.

[9]  Dalal Alrajeh,et al.  Deriving Non-zeno Behavior Models from Goal Models Using ILP , 2008, FASE.

[10]  Axel van Lamsweerde,et al.  Scenarios, goals, and state machines: a win-win partnership for model synthesis , 2006, SIGSOFT '06/FSE-14.

[11]  Dalal Alrajeh,et al.  Extracting Requirements from Scenarios with ILP , 2006, ILP.

[12]  Jeff Magee,et al.  Concurrency - state models and Java programs , 2006 .

[13]  Dimitra Giannakopoulou,et al.  Fluent model checking for event-based systems , 2003, ESEC/FSE-11.

[14]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[15]  Oliver Ray,et al.  Nonmonotonic abductive inductive learning , 2009, J. Appl. Log..

[16]  Axel van Lamsweerde,et al.  Deriving operational software specifications from system goals , 2002, SIGSOFT '02/FSE-10.

[17]  Sebastián Uchitel,et al.  Deriving event-based transition systems from goal-oriented requirements models , 2008, Automated Software Engineering.

[18]  M. Shanahan.  Solving the frame problem , 1997 .

[19]  Sebastián Uchitel,et al.  Fluent temporal logic for discrete-time event-based models , 2005, ESEC/FSE-13.

[20]  David Lorge Parnas,et al.  Documentation for safety critical software , 1993, Proceedings of 1993 15th International Conference on Software Engineering.

[21]  Ana I. Anton,et al.  Goal identification and refinement in the specification of software-based information systems , 1997 .

[22]  Stephen Muggleton,et al.  Inverse entailment and progol , 1995, New Generation Computing.

[23]  John Mylopoulos,et al.  Goal-oriented requirements analysis and reasoning in the Tropos methodology , 2005, Eng. Appl. Artif. Intell..

[24]  Shailey Minocha,et al.  Supporting Scenario-Based Requirements Engineering , 1998, IEEE Trans. Software Eng..

[25]  Pierre Dupont,et al.  Generating annotated behavior models from end-user scenarios , 2005, IEEE Transactions on Software Engineering.

[26]  A. V. Lamsweerde,et al.  Agent-based tactics for goal-oriented requirements elaboration , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.

[27]  Murray Shanahan,et al.  Some Alternative Formulations of the Event Calculus , 2002, Computational Logic: Logic Programming and Beyond.

[28]  Alan Bundy,et al.  Computational Logic: Logic Programming and Beyond , 2002 .