Learning operational requirements from goal models

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2009, Pages 265-275

  Alrajeh, Dalal ^a   Kramer, Jeff ^a   Russo, Alessandra ^a   Uchitel, Sebastin ^a,b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSIDAD DE BUENOS AIRES   (Argentina)

Author keywords

Goal oriented requirements engineering; Inductive learning; Scenarios

Indexed keywords

GOAL MODELS; GOAL-ORIENTED; GOAL-ORIENTED REQUIREMENTS ENGINEERING; INDUCTIVE LEARNING; ITERATIVE PROCESS; OPERATIONAL REQUIREMENTS; SOFTWARE REQUIREMENTS;

COMPUTER SOFTWARE; ENGINEERING; MODEL CHECKING; REQUIREMENTS ENGINEERING;

ENGINEERING EDUCATION;

EID: 77949908045     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2009.5070527     Document Type: Conference Paper

References (21)

1. D. Alrajeh, O. Ray, A. Russo, and S. Uchitel. Extracting requirements from scenarios with ILP. In Proc. of 16th ILP Conf., pages 63-77, 2006.
2. D. Alrajeh, A. Russo, and S. Uchitel. Deriving nonzeno behavior models from goal models using ILP. In Proc. of 10th FASE Conf., pages 1-15, 2008.
3. E. Clarke, A. Gupta, J. Kukula, and O. Strichman. SAT based abstraction-refinement using ILP and machine learning techniques. In Proc. of CAV, 2002.
4. P.J. Courtois and D. L. Parnas. Documentation for safety critical software. In Proc. of 15th ICSE, pages 315-323, 1993.
5. C. Damas, P. Dupont B. Lambeau, and A. van Lamsweerde. Generating annotated behavior models from end-user scenarios. IEEE TSE Journal, Special Issue on Interaction and State-based Modeling, 31(12):1056-1073, 2005.
6. C. Damas, B. Lambeau, and A. van Lamsweerde. Scenarios, goals, and state machines: a win-win partnership for model synthesis. In Proc. of FSE Symp, 2006.
7. A. Dardenne, A. van Lamsweerde, and S. Fickas. Goaldirected requirements acquisition. Science of Computer Programming, 20(1):3-50, 1993.
8. R. Darimont and A. van Lamsweerde. Formal refinement patterns for goal-driven requirements elaboration. SIGSOFT Softw. Eng. Notes, 21(6):179-190, 1996.
9. A. Finkelstein. The london ambulance system case study. In Proc. of 8th Intl. Workshop on Software Specification and Design, pages 5-19, 196.
10. D. Giannakopoulou and J. Magee. Fluent model checking for event-based systems. In Proc. of ACM ESEC/FSE-11, pages 257-266, 2003.
11. ITU. Message Sequence Charts. International Telecommunications Union, Telecommunication Standardisation Sector, 1996.
12. J. Kramer, J. Magee, and M. Sloman. Conic: An integrated approach to distributed computer control systems. In IEE Proc., Part E 130, pages 1-10, 1983.
13. A. Van Lamsweerde and L. Willemet. Inferring declarative requirements specifications from operational scenarios. IEEE TSE Journal, 24(12):1089-1114, 1998.
14. E. Letier. Goal-oriented elaboration of requirements for a safety injection control system. Technical report, Dèpartement d'Ingènierie Informatique, UCL, 2002.
15. E. Letier, J. Kramer, J. Magee, and S. Uchitel. Deriving event-based transition systems from goal-oriented requirements models. ASE Journal, 15:175-206, 2008.
16. E. Letier and A. Van Lamsweerde. Deriving operational software specifications from system goals. In Proc. of 10th ACM FSE Symp., pages 119-128, 2002.
17. J. Magee and J. Kramer. Concurrency : State Models and Java Programs. John Wiley and Sons, 1999.
18. R. Miller and M. Shanahan. Some alternative formulation of event calculus. Computer Science; Computational Logic; Logic programming and Beyond, 2408, 2002.
19. J. Mylopoulos, L. Chung, and B. A. Nixon. Representing and using nonfunctional requirements: A process-oriented approach. IEEE TSE, 18:483-497, 1992.
20. O. Ray. Using abduction for induction of normal logic programs. In Proc. of 2nd Workshop on AIAI and Scientific Modelling, pages 28-31, 2006.
21. A. Russo, R. Miller, B. Nuseibeh, and J. Kramer. An abductive approach for analysing event-based requirements specifications. In Proc. of 18th ICLP, volume 2401 of LNCS, pages 22-37, 2002.