Formal Aspects of Computing

, Volume 22, Issue 3–4, pp 217–241 | Cite as

Deriving non-Zeno behaviour models from goal models using ILP

  • D. AlrajehEmail author
  • J. Kramer
  • A. Russo
  • S. Uchitel
Original Article


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.


Goal-oriented requirements engineering Zeno behaviour Operational requirements Model checking Inductive learning 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Ant97.
    Anton AI (1997) Goal identification and refinement in the specification of software-based information systems. PhD thesis, Atlanta, GA, USAGoogle Scholar
  2. ARU08.
    Alrajeh D, Russo A, Uchitel S (2008) Deriving non-zeno behavior models from goal models using ilp. In: Proceedings of the ETAPS/FASE08 conference on foundation aspects of software engineeringGoogle Scholar
  3. CP93.
    Courtois PJ, Parnas DL (1993) Documentation for safety critical software. In: Proceedings of the 15th ICSE conference, pp 315–323Google Scholar
  4. DBLvL05.
    Damas C, Dupont P, Lambeau B, van Lamsweerde A (2005) Generating annotated behavior models from end-user scenarios. IEEE Trans on Softw Eng 31(12): 1056–1073CrossRefGoogle Scholar
  5. DLvL06.
    Damas C, Lambeau B, van Lamsweerde A (2006) Scenarios, goals, and state machines: a win–win partnership for model synthesis. In: Proceedings of the interntional ACM symposium on the foundations of software engineeringGoogle Scholar
  6. DvL96.
    Darimont R, van Lamsweerde A (1996) Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings of the 4th ACM symposium on the foundations of software engineeringGoogle Scholar
  7. DvLF93.
    Dardenne A, van Lamsweerde A, Fickas S (1993) Goal-directed requirements acquisition. Sci Comput Program 20(1): 3–50zbMATHCrossRefGoogle Scholar
  8. GM03.
    Giannakopoulou D, Magee J (2003) Fluent model checking for event-based systems. In: Proceedings of the 11th ACM SIGSOFT symposium on foundations software engineeringGoogle Scholar
  9. GMS05.
    Giorgini P, Mylopoulos J, Sebastiani R (2005) Goal-oriented requirements analysis and reasoning in the tropos methodology. Eng Appl Artif Intell 18: 159–171CrossRefGoogle Scholar
  10. HBGL95.
    Heitmeyer C, Bull A, Gasarch C, Labaw B (1995) Scr*: a toolset for specifying and analyzing requirements. In: Proceedings of the 10th annual conference on computer assuranceGoogle Scholar
  11. KMS83.
    Kramer J, Magee J, Sloman M (1983) Conic: an integrated approach to distributed computer control systems. In: IEE Proceedings of the part E 130Google Scholar
  12. Let02.
    Letier E (2002) Goal-oriented elaboration of requirements for a safety injection control system. Technical report, Dèpartement d’Ingènierie Informatique, UCLGoogle Scholar
  13. LKMU05.
    Letier E, Kramer J, Magee J, Uchitel S (2005) Fluent temporal logic for discrete-time in event-based models. In: Proceedings of the 10th European software engineering conferenceGoogle Scholar
  14. LKMU06.
    Letier E, Kramer J, Magee J, Uchitel S (2006) Deriving event-based transitions systems from goal-oriented requirements models. Technical Report 02/2006, Imperial College, LondonGoogle Scholar
  15. LL02.
    Letier E, Van Lamsweerde A (2002) Deriving operational software specifications from system goals. In: Proceedings of the 10th ACM SIGSOFT symposium on foundations of software engineeringGoogle Scholar
  16. LvL02.
    Letier E, van Lamsweerde A (2002) Agent-based tactics for goal-oriented requirements elaboration. In: Proceedings of the 24th intlernational conference on software engineeringGoogle Scholar
  17. LW98.
    Van Lamsweerde A, Willemet L (1998) Inferring declarative requirements specifications from operational scenarios. IEEE Trans Softw Eng 24(12): 1089–1114CrossRefGoogle Scholar
  18. MK99.
    Magee J, Kramer J (1999) Concurrency: state models and java programs. Wiley, New YorkzbMATHGoogle Scholar
  19. MP92.
    Manna Z, Pnueli A (1992) The temporal logic of reactive and concurrent systems. Springer, New YorkGoogle Scholar
  20. MS02.
    Miller R, Shanahan M (2002) Some alternative formulation of event calculus. Computer science; computational logic; logic programming and beyond, 2408Google Scholar
  21. Mug95.
    Muggleton SH (1995) Inverse entailment and progol: new generation computing, special issue on inductive logic programming 13(3/4): 245–286Google Scholar
  22. Ray09.
    Ray O (2009) Nonmonotonic abductive inductive learning. J Appl Logic 7(3): 329–340zbMATHCrossRefGoogle Scholar
  23. RBR04.
    Ray O, Broda K, Russo A (2004) A hybrid abductive inductive proof procedure. Logic J IGPL 12(5): 371–397zbMATHCrossRefMathSciNetGoogle Scholar
  24. Sha97.
    Shanahan MP (1997) Solving the frame problem. MIT Press, CambridgeGoogle Scholar
  25. SMMM98.
    Sutcliffe A, Maiden NAM, Minocha S, Manuel D (1998) Supporting scenario-based requirements engineering. IEEE Trans Softw Eng 24: 1072–1088CrossRefGoogle Scholar
  26. UBC07.
    Uchitel S, Brunet G, Chechik M (2007) Behaviour model synthesis from properties and scenarios. In: Proceedings of the 29th IEEE/ACM international conference on software engineeringGoogle Scholar

Copyright information

© British Computer Society 2009

Authors and Affiliations

  1. 1.Department of ComputingImperial College LondonLondonUK
  2. 2.Departamento de Computaciòn, FCEyNUniversidad de Buenos AiresBuenos AiresArgentina

Personalised recommendations