Enriching Frame-based Structured Representations for Requirements using Case Frames - An Approach Towards Handling Incompleteness in Informal Requirements

Akanksha Mishra, Richa Sharma

2017

Abstract

Requirements gathered during early phase of requirements engineering are informal and vague. These informal requirements are analyzed with the goal of detecting three major problems in requirements – ambiguity, inconsistency, and incompleteness in order to arrive at correct and formal set of requirements. These problems are quite intertwined, with one problem leading to another. Incompleteness in requirements, however, is considered to be a principal reason for poor quality of requirements, and is the most difficult issue to address. There are multiple views around defining and detecting incompleteness in requirements. In this paper, we present an approach towards handling incompleteness in informal requirements considering individual requirements statement expressed in natural language as an atomic requirement. Our approach is based on enriching frame-based structured representation using FrameNet database that, in turn, can prove useful in identifying potential missing information from requirements. We also report our observations from the evaluation study conducted with a case study.

References

  1. Saavedra, R, Ballejos, L & Ale, M 2015, Quality Properties Evaluation for Software Requirements Specifications: An Exploratory Analysis. Proceedings of WER'13, 16th edition of Workshop on Requirements Engineering, Uruguay.
  2. Firesmith, DG 2003, 'Specifying Good Requirements', Journal of Object Technology, vol 2, no. 4, JulyAugust 2003, pp. 77-87.
  3. Zowghi, D & Gervasi, V 2002. The Three Cs of Requirements: Consistency, Completeness, and Correctness. Proceedings of 8th International Workshop on Requirements Engineering: Foundation for Software Quality, Germany.
  4. Fabbrini, F, Fusani, M, Gnesi, S & Lami, G 2001. An Automatic Quality Evaluation for Natural Language Requirements. Proceedings of 7th International Workshop on Requirements Engineering: Foundation for Software Quality, Switzerland.
  5. Kuchta, J 2016. Completeness and Consistency of the System Requirement Specification. Proceedings of Federated Conference on Computer Science and Information Systems, pp. 265-269, Poland.
  6. Génova, G, Fuentes, JM, Llorens, J, Hurtado, O & Moreno, V 2013, 'A Framework to Measure and Improve the Quality of Textual Requirements', Requirements Engineering, vol. 18, no. 1, pp. 25-41.
  7. Bhatia, J, Sharma, R, Biswas, KK & Ghaisas, S 2013, Using Grammatical Knowledge Patterns for structuring requirements specifications. Proceedings of 3rd IEEE International Workshop on Requirements Patterns (RePa'2013), in conjunction with 21st IEEE International Requirements Engineering Conference (RE'13), pp. 31-34, July 2013.
  8. Sharma, R 2016, 'A semi-automated approach to support logical formalism for Requirements Analysis and Evolution' PhD Thesis, School of Information Technology, IIT Delhi, India.
  9. Atkins, BTS, Klavens, J & Levin, B 1988, 'Anatomy of a verb entry: from linguistic theory to lexicographic practice', International Journal of Lexicography, vol. 1, no. 2, pp.: 84-126.
  10. Fillmore, CJ, Johnson CR & Petruck, MRL 2003, 'Background to FrameNet', International Journal of Lexicography, vol. 16, no. 3, pp. 235-250.
  11. ISO/IEC/IEEE International Standard 2011, Systems and software engineering -- Life cycle processes -- Requirements engineering. ISO/IEC/IEEE 29148:2011(E), doi: 10.1109/IEEESTD.2011.6146379.
  12. Pohl, K 2010, Requirements Engineering: Fundamentals, Principles, and Techniques, Springer-Verlag Berlin Heidelberg.
  13. Firesmith, D 2005. 'Are Your Requirements Complete?78, Journal of Object Technology, vol. 4, no. 1, pp. 27-43.
  14. Durán, A, Bernárdez, B, Ruiz, A & Toro, M 2001. An XML-based Approach for the Automatic Verification of Software Requirements Specifications. Proceedings of 4th Workshop on Requirements Engineering, pp. 181-194.
  15. Carson, RS & Shell, T 2001. Requirements completeness: Absolute or relative? comments on 'system function implementation and behavioural modelling[syst eng 4 (2001), 58-75]78, Systems Engineering, vol. 4, no. 3, pp. 230-231.
  16. Boehm, BW 1984. 'Verifying and validating software requirements and design specifications', IEEE Software, vol. 1, no. 1, pp. 75-88.
  17. Davis, AM 1993. Software Requirements: Analysis and Specification. Prentice Hall, second edition.
  18. Sutcliffe, A & Maiden, N 2002. 'The domain theory for requirements engineering', IEEE Transactions on Software Engineering, vol. 24, no. 3, pp. 174-196.
  19. Minsky, M 1981, A Framework for Representing Knowledge, J. Haugeland, Ed., Mind Design, MIT Press.
  20. Marshman, E, Morgan, T & Meyer, I 2002, 'French patterns for expressing concept relations', Terminology, vol. 8, no. 1.
Download


Paper Citation


in Harvard Style

Mishra A. and Sharma R. (2017). Enriching Frame-based Structured Representations for Requirements using Case Frames - An Approach Towards Handling Incompleteness in Informal Requirements . In Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-250-9, pages 314-319. DOI: 10.5220/0006379103140319


in Bibtex Style

@conference{enase17,
author={Akanksha Mishra and Richa Sharma},
title={Enriching Frame-based Structured Representations for Requirements using Case Frames - An Approach Towards Handling Incompleteness in Informal Requirements},
booktitle={Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2017},
pages={314-319},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006379103140319},
isbn={978-989-758-250-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Enriching Frame-based Structured Representations for Requirements using Case Frames - An Approach Towards Handling Incompleteness in Informal Requirements
SN - 978-989-758-250-9
AU - Mishra A.
AU - Sharma R.
PY - 2017
SP - 314
EP - 319
DO - 10.5220/0006379103140319