{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:11:56Z","timestamp":1747807916401},"reference-count":26,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2010,5,1]],"date-time":"2010-05-01T00:00:00Z","timestamp":1272672000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2010,5]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>\n            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 (\n            <jats:italic>pre-conditions<\/jats:italic>\n            ) that eliminate these traces. The process terminates giving a non-Zeno behaviour model produced from the learned pre-conditions and the given goal model.\n          <\/jats:p>","DOI":"10.1007\/s00165-009-0128-5","type":"journal-article","created":{"date-parts":[[2009,10,5]],"date-time":"2009-10-05T17:03:40Z","timestamp":1254762220000},"page":"217-241","source":"Crossref","is-referenced-by-count":7,"title":["Deriving non-Zeno behaviour models from goal models using ILP"],"prefix":"10.1145","volume":"22","author":[{"given":"D.","family":"Alrajeh","sequence":"first","affiliation":[{"name":"Department of Computing, Imperial College London, 180 Queen\u2019s Gate, SW7 2AZ, London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Kramer","sequence":"additional","affiliation":[{"name":"Department of Computing, Imperial College London, 180 Queen\u2019s Gate, SW7 2AZ, London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Russo","sequence":"additional","affiliation":[{"name":"Department of Computing, Imperial College London, 180 Queen\u2019s Gate, SW7 2AZ, London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Uchitel","sequence":"additional","affiliation":[{"name":"Department of Computing, Imperial College London, 180 Queen\u2019s Gate, SW7 2AZ, London, UK"},{"name":"Departamento de Computaci\u00f2n, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","unstructured":"Anton AI (1997) Goal identification and refinement in the specification of software-based information systems. PhD thesis Atlanta GA USA"},{"key":"e_1_2_1_2_2_2","unstructured":"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 engineering"},{"key":"e_1_2_1_2_3_2","unstructured":"Courtois PJ Parnas DL (1993) Documentation for safety critical software. In: Proceedings of the 15th ICSE conference pp 315\u2013323"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.138"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Damas C Lambeau B van Lamsweerde A (2006) Scenarios goals and state machines: a win\u2013win partnership for model synthesis. In: Proceedings of the interntional ACM symposium on the foundations of software engineering","DOI":"10.1145\/1181775.1181800"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"crossref","unstructured":"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 engineering","DOI":"10.1145\/239098.239131"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(93)90021-G"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"crossref","unstructured":"Giannakopoulou D Magee J (2003) Fluent model checking for event-based systems. In: Proceedings of the 11th ACM SIGSOFT symposium on foundations software engineering","DOI":"10.1145\/940071.940106"},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2004.11.017"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"crossref","unstructured":"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 assurance","DOI":"10.21236\/ADA465318"},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"crossref","unstructured":"Kramer J Magee J Sloman M (1983) Conic: an integrated approach to distributed computer control systems. In: IEE Proceedings of the part E 130","DOI":"10.1049\/ip-e.1983.0001"},{"key":"e_1_2_1_2_12_2","unstructured":"Letier E (2002) Goal-oriented elaboration of requirements for a safety injection control system. Technical report D\u00e8partement d\u2019Ing\u00e8nierie Informatique UCL"},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"crossref","unstructured":"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 conference","DOI":"10.1145\/1081706.1081719"},{"key":"e_1_2_1_2_14_2","unstructured":"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 London"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"crossref","unstructured":"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 engineering","DOI":"10.1145\/587051.587070"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","unstructured":"Letier E van Lamsweerde A (2002) Agent-based tactics for goal-oriented requirements elaboration. In: Proceedings of the 24th intlernational conference on software engineering","DOI":"10.1145\/581352.581353"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.738341"},{"key":"e_1_2_1_2_18_2","volume-title":"Concurrency: state models and java programs","author":"Magee J","year":"1999"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"publisher","DOI":"10.5555\/128869"},{"key":"e_1_2_1_2_20_2","doi-asserted-by":"crossref","unstructured":"Miller R Shanahan M (2002) Some alternative formulation of event calculus. Computer science; computational logic; logic programming and beyond 2408","DOI":"10.1007\/3-540-45632-5_17"},{"issue":"3","key":"e_1_2_1_2_21_2","first-page":"245","volume":"13","author":"Muggleton SH","year":"1995","journal-title":"Inverse entailment and progol: new generation computing, special issue on inductive logic programming"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2008.10.007"},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/12.5.371"},{"key":"e_1_2_1_2_24_2","doi-asserted-by":"publisher","DOI":"10.5555\/262325"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.738340"},{"key":"e_1_2_1_2_26_2","doi-asserted-by":"crossref","unstructured":"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 engineering","DOI":"10.1109\/ICSE.2007.21"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-009-0128-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-009-0128-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-009-0128-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:51:56Z","timestamp":1641484316000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-009-0128-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,5]]}},"alternative-id":["10.1007\/s00165-009-0128-5"],"URL":"https:\/\/doi.org\/10.1007\/s00165-009-0128-5","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5]]}}}