Navegar

Colección

Datos Estadísticas

Artículo

Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. "Learning from vacuously satisfiable scenario-based specifications" (2012) 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012. 7212 LNCS:377-393
Este artículo es de Acceso Abierto y puede ser descargado en su versión final desde nuestro repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

Scenarios and use cases are popular means for supporting requirements elicitation and elaboration. They provide examples of how the system-to-be and its environment can interact. However, such descriptions, when large, are cumbersome to reason about, particularly when they include conditional features such as scenario triggers and use case preconditions. One problem is that they are susceptible to being satisfied vacuously: a system that does not exhibit a scenario's trigger or a use case's precondition, need not provide the behaviour described by the scenario or use case. Vacuously satisfiable scenarios often indicate that the specification is partial and provide an opportunity for further elicitation. They may also indicate conflicting boundary conditions. In this paper we propose a systematic, semi-automated approach for detecting vacuously satisfiable scenarios (using model checking) and computing the scenarios needed to avoid vacuity (using machine learning). © 2012 Springer-Verlag Berlin Heidelberg.

Registro:

Documento: Artículo
Título:Learning from vacuously satisfiable scenario-based specifications
Autor:Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S.
Ciudad:Tallinn
Filiación:Department of Computing, Imperial College, London, United Kingdom
Departamento de Computaciòn, FCEyN, UBA, Argentina
Palabras clave:Requirements elicitation; Scenario-based specifications; Semi-automated; Automated approach; Requirements elicitation; Scenario-based specifications; Model checking; Specifications; Artificial intelligence; Computation theory; Learning systems; Model checking; Specifications; Software engineering; Software engineering
Año:2012
Volumen:7212 LNCS
Página de inicio:377
Página de fin:393
DOI: http://dx.doi.org/10.1007/978-3-642-28872-2_26
Título revista:15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012
Título revista abreviado:Lect. Notes Comput. Sci.
ISSN:03029743
PDF:https://bibliotecadigital.exactas.uba.ar/download/paper/paper_03029743_v7212LNCS_n_p377_Alrajeh.pdf
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v7212LNCS_n_p377_Alrajeh

Referencias:

  • Alexander, I., Maiden, N., (2004) Scenarios, Stories, use Cases: Through the Systems Development Life-cycle, , Wiley
  • Alrajeh, D., Kramer, J., Russo, A., Uchitel, S., Learning operational requirements from goal models (2009) Proc. of 31st ICSE, pp. 265-275
  • Alrajeh, D., Kramer, J., Russo, A., Uchitel, S., Deriving non-zeno behaviour models from goal models using ILP (2010) J. of FAC, 22 (3-4), pp. 217-241
  • Alrajeh, D., Kramer, J., Russo, A., Uchitel, S., An inductive approach for modal transition system refinement (2011) Tech. Comm. of 27th ICLP, pp. 106-116
  • Alrajeh, D., Ray, O., Russo, A., Uchitel, S., Extracting requirements from scenarios with ILP (2006) Proc. of 16th Intl. Conf. on ILP, pp. 63-77
  • Alrajeh, D., Ray, O., Russo, A., Uchitel, S., Using abduction and induction for operational requirements elaboration (2009) J. of Applied Log., 7 (3), pp. 275-288
  • Armoni, R., Fix, L., Flaisher, A., Grumberg, O., Piterman, N., Tiemeyer, A., Vardi, M.Y., Enhanced vacuity detection in linear temporal logic (2003) CAV 2003, 2725, pp. 368-380. , Hunt Jr., W.A., Somenzi, F. (eds.) LNCS Springer, Heidelberg
  • Beatty, D.L., Bryant, R.E., Formally verifying a microprocessor using a simulation methodology (1994) Proc. of 31st DAC, pp. 596-602
  • Bontemps, Y., (2005) Relating Inter-agent and Intra-agent Specifications: The Case of Live Sequence Charts, , PhD thesis, Faculties Universitaires Notre-Dame de la Paix, Namur Institut dInformatique, Belgium
  • Dardenne, A., Van Lamsweerde, A., Fickas, S., Goal-directed requirements acquisition (1993) Science of Comp. Program., 20 (1), pp. 3-50
  • D'Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S., MTSA: The modal transition system analyser (2008) Proc. of 23rd Intl. Conf. on ASE, pp. 475-476
  • Giannakopoulou, D., Magee, J., Fluent model checking for event-based systems (2003) Proc. 11th ACM SIGSOFT FSE, pp. 257-266
  • Gurfinkel, A., Chechik, M., Extending extended vacuity (2004) FMCAD 2004, 3312, pp. 306-321. , Hu, A.J., Martin, A.K. (eds.) LNCS Springer, Heidelberg
  • Harel, D., Marelly, R., (2003) Come, Let's Play: Scenario-based Programming Using LSC's and the Play-engine, , Springer-Verlag New York, Inc
  • Kowalski, R.A., Sergot, M., A logic-based calculus of events (1986) New Generation Comp., 4 (1), pp. 67-95
  • Kramer, J., Magee, J., Sloman, M., Conic: An integrated approach to distributed computer control systems (1983) IEE Proc., Part E, 130
  • Kugler, H.-J., Harel, D., Pnueli, A., Lu, Y., Bontemps, Y., Temporal logic for scenario-based specifications (2005) TACAS 2005, 3440, pp. 445-460. , Halbwachs, N., Zuck, L.D. (eds.) LNCS Springer, Heidelberg
  • Kupferman, O., Sanity checks in formal verification (2006) Conc. Theory, pp. 37-51
  • Larsen, K.G., Thomsen, B., A modal process logic (1988) Proc. of 3rd Annual Symp. on Log. in Comp. Science, pp. 203-210
  • Muggleton, S.H., Inverse entailment and progol (1995) New Generation Comp., Special Issue on ILP, 13 (3-4), pp. 245-286
  • Pressman, R.S., (2010) Software Engineering: A Practitioner's Approach, , 7th edn. McGraw-Hill Higher Education
  • Ray, O., Nonmonotonic abductive inductive learning (2009) J. of Applied Log., 7 (3), pp. 329-340
  • Sibay, G., The Philips Television Set Case Study, , http://sourceforge.net/projects/mtsa/files/mtsa/CaseStudies/
  • Sibay, G., Uchitel, S., Braberman, V., Existential live sequence charts revisited (2008) Proc. of 30th ICSE, pp. 41-50
  • Uchitel, S., Brunet, G., Chechik, M., Behaviour model synthesis from properties and scenarios (2007) Proc. of 29th Intl. Conf. on Softw. Eng., pp. 34-43
  • Whittle, J., Schumann, J., Generating statechart designs from scenarios (2000) Proc. of the 22nd ICSE, pp. 314-323A4 - Institute of Cybernetics at TUT; "Tallinn University of Technology(TUT)"; EXCS Eur. Reg. Dev. Fund (ERDF); Estonian Convention Bureau; Microsoft Research

Citas:

---------- APA ----------
Alrajeh, D., Kramer, J., Russo, A. & Uchitel, S. (2012) . Learning from vacuously satisfiable scenario-based specifications. 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, 7212 LNCS, 377-393.
http://dx.doi.org/10.1007/978-3-642-28872-2_26
---------- CHICAGO ----------
Alrajeh, D., Kramer, J., Russo, A., Uchitel, S. "Learning from vacuously satisfiable scenario-based specifications" . 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012 7212 LNCS (2012) : 377-393.
http://dx.doi.org/10.1007/978-3-642-28872-2_26
---------- MLA ----------
Alrajeh, D., Kramer, J., Russo, A., Uchitel, S. "Learning from vacuously satisfiable scenario-based specifications" . 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, vol. 7212 LNCS, 2012, pp. 377-393.
http://dx.doi.org/10.1007/978-3-642-28872-2_26
---------- VANCOUVER ----------
Alrajeh, D., Kramer, J., Russo, A., Uchitel, S. Learning from vacuously satisfiable scenario-based specifications. Lect. Notes Comput. Sci. 2012;7212 LNCS:377-393.
http://dx.doi.org/10.1007/978-3-642-28872-2_26