Navegar

Colección

Datos Estadísticas

Conferencia

Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. "Learning operational requirements from goal models" (2009) 2009 31st International Conference on Software Engineering, ICSE 2009:265-275
La versión final de este artículo es de uso interno de la institución.
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these approaches is the elaboration of a correct and complete set of opertional requirements, in the form of pre- and trigger-conditions, that guarantee the system goals. Few existing approaches provide support for this crucial task and mainly rely on significant effort and expertise of the engineer. In this paper we propose a tool-based framework that combines model checking, inductive learning and scenarios for elaborating operational requirements from goal models. This is an iterative process that requires the engineer to identify positive and negative scenarios from counterexamples to the goals, generated using model checking, and to select operational requirements from suggestions computed by inductive learning. © 2009 IEEE.

Registro:

Documento: Conferencia
Título:Learning operational requirements from goal models
Autor:Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S.
Ciudad:Vancouver, BC
Filiación:Department of Computing, Imperial College London, United Kingdom
Departamento de Computaciòn, FCEyN, UBA, Buenos Aires, Argentina
Palabras clave:Goal-oriented requirements engineering; Inductive learning; Scenarios; 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
Año:2009
Página de inicio:265
Página de fin:275
DOI: http://dx.doi.org/10.1109/ICSE.2009.5070527
Título revista:2009 31st International Conference on Software Engineering, ICSE 2009
Título revista abreviado:Proc Int Conf Software Eng
ISSN:02705257
CODEN:PCSED
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p265_Alrajeh

Referencias:

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

Citas:

---------- APA ----------
Alrajeh, D., Kramer, J., Russo, A. & Uchitel, S. (2009) . Learning operational requirements from goal models. 2009 31st International Conference on Software Engineering, ICSE 2009, 265-275.
http://dx.doi.org/10.1109/ICSE.2009.5070527
---------- CHICAGO ----------
Alrajeh, D., Kramer, J., Russo, A., Uchitel, S. "Learning operational requirements from goal models" . 2009 31st International Conference on Software Engineering, ICSE 2009 (2009) : 265-275.
http://dx.doi.org/10.1109/ICSE.2009.5070527
---------- MLA ----------
Alrajeh, D., Kramer, J., Russo, A., Uchitel, S. "Learning operational requirements from goal models" . 2009 31st International Conference on Software Engineering, ICSE 2009, 2009, pp. 265-275.
http://dx.doi.org/10.1109/ICSE.2009.5070527
---------- VANCOUVER ----------
Alrajeh, D., Kramer, J., Russo, A., Uchitel, S. Learning operational requirements from goal models. Proc Int Conf Software Eng. 2009:265-275.
http://dx.doi.org/10.1109/ICSE.2009.5070527