Deriving non-zeno behavior models from goal models using ILP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4961 LNCS, Issue , 2008, Pages 1-15

  Alrajeh, Dalal ^a   Russo, Alessandra ^a   Uchitel, Sebastian ^a,b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSIDAD DE BUENOS AIRES   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOUR MODELS; CONFERENCES (CHEMICAL INDUSTRY); EUROPEAN; GOAL MODELING; HEIDELBERG (CO); INDUCTIVE LOGIC PROGRAMMING (ILP); INTERNATIONAL (CO); INTERNATIONAL CONFERENCES; ITERATIVE PROCESSING; LABELLED TRANSITION SYSTEM (LTS); LINEAR TEMPORAL LOGIC (LTL); MACHINE-LEARNING; OPERATIONAL REQUIREMENTS; PAPER ADDRESSES; TIME PROGRESS; ZENO BEHAVIOR;

ARSENIC COMPOUNDS; ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; EIGENVALUES AND EIGENFUNCTIONS; FUZZY LOGIC; LEARNING SYSTEMS; LOGIC PROGRAMMING; SOFTWARE ENGINEERING; TEMPORAL LOGIC;

MODEL CHECKING;

EID: 47249150225     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78743-3_1     Document Type: Conference Paper

References (22)

1. Alrajeh, D., Ray, O., Russo, A., Uchitel, S.: Extracting requirements from scenarios with ILP. In: Muggleton, S., Otero, R., Tamaddoni-Nezhad, A. (eds.) ILP 2006. LNCS (LNAI), vol. 4455, pp. 64-78. Springer, Heidelberg (2007)
2. Courtois, P.J., Parnas, D.L.: Documentation for safety critical software. In: Proc. 15th Int. Conf. on software engineering (1993)
3. Damas, C., Dupont, P., Lambeau, B., van Lamsweerde, A.: Generating annotated behavior models from end-user scenarios. IEEE Transactions on Software Engineering 31(12), 1056-1073 (2005)
4. Damas, C., Lambeau, B., van Lamsweerde, A.: Scenarios, goals, and state machines: a win-win partnership for model synthesis. In: Proc. of the Intl. ACM Symp. on the Foundations of Software Engineering (2006)
5. Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20 (1), 3-50 (1993)
6. Darimont, R., van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. In: Proc. of the 4th ACM Symp. on the Foundations of Software Engineering (1996)
7. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.) Proc. of the 5th Intl. Conf. on Logic Programming, MIT Press, Cambridge (1988)
8. Giannakopoulou, D., Magee, J.: Fluent model checking for event-based systems. In: Proc. 11th ACM SIGSOFT Symp. on Foundations Software Engineering (2003)
9. Heitmeyer, C., Bull, A., Gasarch, C., Labaw, B.: Scr*: A toolset for specifying and analyzing requirements. In: Proc. of the 10th Annual Conf. on Computer Assurance (1995)
10. Kramer, J., Magee, J., Sloman, M.: Conic: An integrated approach to distributed computer control systems. In: IEE Proc., Part E, vol. 130 (January 1983)
11. Van Lamsweerde, A., Willemet, L.: Inferring declarative requirements specifications from operational scenarios. IEEE Transactions on Software Engineering 24(12), 1089-1114 (1998)
12. Letier, E., Kramer, J., Magee, J., Uchitel, S.: Deriving event-based transitions systems from goal-oriented requirements models. Technical Report 02/2006, Imperial College London (2006)
13. Letier, E., Van Lamsweerde, A.: Deriving operational software specifications from system goals. In: Proc. 10th ACM SIGSOFT Symp. on Foundations of Software Engineering (2002)
14. Letier, E., van Lamsweerde, A.: Agent-based tactics for goal-oriented requirements elaboration. In: Proc. of the 24th Intl. Conf. on Software Engineering (2002)
15. Magee, J., Kramer, J.: Concurrency: State Models and Java Programs. John Wiley and Sons, Chichester (1999)
16. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)
17. Miller, R., Shanahan, M.: Some alternative formulation of event calculus. In: Computer Science; Computational Logic; Logic programming and Beyond, vol. 2408 (2002)
18. Muggleton, S.H.: Inverse Entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming 13(3-4), 245-286 (1995)
19. Ray, O.: Using abduction for induction of normal logic programs. In: Proc. ECAI 2006 Workshop on Abduction and Induction in AI and Scientific Modelling (2006)
20. Ray, O., Broda, K., Russo, A.: A hybrid abductive inductive proof procedure. Logic Journal of the IGPL 12(5), 371-397 (2004)
21. Shanahan, M.P.: Solving the Frame Problem. MIT Press, Cambridge (1997)
22. Uchitel, S., Brunet, G., Chechik, M.: Behaviour model synthesis from properties and scenarios. In: Proc. of the 29th IEEE/ACM Intl. Conf. on Software Engineering (2007)