Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff

Anna Zamansky, Irit Hadar, Daniel M. Berry

2016

Abstract

Inconsistency is a major challenge in requirements engineering. Traditionally, software requirements specifica-tions (SRSs) are expected to be consistent, with the underlying assumption that this consistency is always achievable. However, with the growing complexity of software systems it has become clear that this assump-tion is not always realistic. This has led to new paradigms for inconsistency management, acknowledging that it is not only inevitable, but also even desirable at times, to tolerate inconsistency, even temporarily. However, for these paradigms to be widely accepted in industry, practicing software engineers must thoroughly under-stand the nature of inconsistency in SRSs and the strategies for its handling. This paper proposes a research agenda for preparing practicing software engineers to accept and successfully implement inconsistency man-agement paradigms. As a first step in this direction, the paper describes an ongoing study in which we design an intervention into the perceptions of inconsistency for practicing software engineers. The intervention builds on teaching to them the Zave–Jackson requirements validation formula as an aid for analyzing the types of in-consistency they face, and conducting an empirical study of the effect of this intervention on their inconsisten-cy management.

References

  1. Balaban, M., Maraee, A., Sturm, A. and Jelnov, P., 2014. A pattern-based approach for improving model quality. Software & Systems Modeling, Online: DOI 10.1007/s10270-013-0390.
  2. Borgida, A., Jureta, I. and Zamansky, A., 2015. Towards a general formal framework of Coherence Management in RE. In Proceedings of the 23rd IEEE International Requirements Engineering Conference (pp. 274-277) IEEE.
  3. Cho, A., 11 Feb. 2016. Gravitational waves, Einstein's ripples in spacetime, spotted for first time. Science Magazine, http://www.sciencemag.org/news/2016/02/gravitational-waves-einstein-s-ripples-spacetime-spottedfirst-time.
  4. Easterbrook, S., and Chechik, M., 2001. A framework for multi-valued reasoning over inconsistent viewpoints. In Proceedings of the 23rd International Conference on Software Engineering (pp. 411-420) IEEE.
  5. Ernst, N. A., Borgida, A., Mylopoulos, J. and Jureta, I. J., 2012. Agile requirements evolution via paraconsistent reasoning. In Advanced Information Systems Engineering (pp. 382-397) Springer.
  6. Finkelstein, A., 2000. A foolish consistency: Technical challenges in consistency management. In Database and Expert Systems Applications (pp. 1-5) Springer.
  7. Finkelstein, A. C., Gabbay, D., Hunter, A., Kramer, J., and Nuseibeh, B., 1994. Inconsistency handling in multiperspective specifications. IEEE Transactions onSoftware Engineering, 20(8), 569-578.
  8. Hadar, I. and Zamansky, A., 2015. Cognitive factors in inconsistency management. In Proceedings of the 23rd IEEE International Requirements Engineering Conference (pp. 226-229) IEEE.
  9. Nuseibeh, B., Easterbrook, S. and Russo, A., 2000. Leveraging inconsistency in software develoment. Computer, 33(4), 24-29.
  10. Nuseibeh, B., Easterbrook, S and Russo, A., 2001. Making inconsistency respectable in software development. Journal of Systems and Software, 58(2), 171-180.
  11. Shadish, W. R., Cook, T. D., Campbell, D. T., 2002. Experimental and Quasi-Experimental Designs for Generalized Causal Inference. Boston: Houghton Mifflin. ISBN 0-395-61556-9.
  12. Spanoudakis, G. and Zisman, A. (2001). Inconsistency management in software engineering: Survey and open research issues. Handbook of software engineering and knowledge engineering, 1, 329-380.
  13. Zave, P. and Jackson, M., 1997. Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology, 6(1), 1-30.
Download


Paper Citation


in Harvard Style

Zamansky A., Hadar I. and Berry D. (2016). Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff . In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, (ENASE 2016) ISBN 978-989-758-189-2, pages 377-382. DOI: 10.5220/0005928603770382


in Bibtex Style

@conference{colaform16,
author={Anna Zamansky and Irit Hadar and Daniel M. Berry},
title={Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, (ENASE 2016)},
year={2016},
pages={377-382},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005928603770382},
isbn={978-989-758-189-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, (ENASE 2016)
TI - Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff
SN - 978-989-758-189-2
AU - Zamansky A.
AU - Hadar I.
AU - Berry D.
PY - 2016
SP - 377
EP - 382
DO - 10.5220/0005928603770382