Skip to main content
Log in

Overlaps in Requirements Engineering

  • Published:
Automated Software Engineering Aims and scope Submit manuscript

Abstract

Although overlap between specifications—that is the incorporation of elements which designate common aspects of the system of concern—is a precondition for specification inconsistency, it has only been a side concern in requirements engineering research. This paper is concerned with overlaps. It defines overlap relations in terms of specification interpretations, identifies properties of these relations which are derived from the proposed definition, shows how overlaps may affect the detection of inconsistency; shows how specifications could be rewritten to reflect overlap relations and still be amenable to consistency checking using theorem proving; analyses various methods that have been proposed for identifying overlaps with respect to the proposed definition; and outlines directions for future research.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Boehm, B. and In, H. 1996. Identifying quality requirements conflicts. IEEE Software, March 96, 25-35.

    Google Scholar 

  • Easterbrook, S. 1991. Handling conflict between domain descriptions with computer-supported negotiation. Knowledge Acquisition, 3:255-289.

    Google Scholar 

  • Easterbrook, S., Finkelstein, A., Kramer, J., and Nuseibeh, B. 1994. Co-ordinating distributed viewPoints: The anatomy of a consistency check. International Journal on Concurrent Engineering: Research & Applications, 2(3):209-222.

    Google Scholar 

  • Easterbrook, S. and Nuseibeh, B. 1996. Using viewPoints for inconsistency management. Software Engineering Journal, 11(1):31-43.

    Google Scholar 

  • Emmerich, W., Finkelstein, A., Montangero, C., and Stevens R. 1997. Standards compliant software development. ICSE '97 Workshop on Living with Inconsistency. Available by ftp from: http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/.

  • Fiadeiro, J. and Maibaum, T. 1995. Interconnecting formalisms: Supporting modularity, reuse and incrementality. Proceedings of the Symposium on the Foundations of Software Engineering (FSE '95), ACM Press, pp. 1-8.

  • Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., and Nuseibeh, B. 1994. Inconsistency handling in multi-perspective specifications. IEEE Transactions on Software Engineering, 20(8):569-578.

    Google Scholar 

  • Finkelstein, A., Spanoudakis, G., and Till, D. 1996. Managing Interference. Joint Proceedings of the Sigsoft '96 Workshops—Viewpoints '96, ACM Press, pp. 172-174.

  • Gruber, T., 1993. Towards principles for the design of shared ontologies used for knowledge sharing. Proceedings of International Workshop on Formal Ontology, Padova, Italy. Also available as Technical Report KSL 93-04, Knowledge Systems Laboratory, Stanford University.

  • Guarino, N. 1994. The ontological level. In R. Casati, B. Smith, and G. White, editors, Philosophy and the Cognitive Sciences. Vienna: Holder-Pichler-Tempsky.

    Google Scholar 

  • Heitmeyer, C., Labaw, B., and Kiskis, D. 1995. Consistency checking of SCR-style requirements specifications. Proceedings of the 2nd International Symposium on Requirements Engineering (RE '95), IEEE CS Press, pp. 56-63.

  • Jackson, M. 1997. The meaning of requirements. Annals of Software Engineering, 3:5-21.

    Google Scholar 

  • Leite, J. and Freeman, P. 1991. Requirements validation through viewpoint resolution. IEEE Transactions on Software Engineering, 12(12):1253-1269.

    Google Scholar 

  • Mullery, G. 1996. Tool support for multiple viewpoints. Joint Proceedings of the Sigsoft '96 Workshops—Viewpoints '96, ACM Press, pp. 227-231.

  • Nilsson, N. 1971. Problem solving methods in artificial intelligence. New York: McGraw Hill.

    Google Scholar 

  • Nissen, H., Jeusfeld, M., Jarke, M., Zemanek, G., and Huber, H. 1996. Managing multiple requirements perspectives with metamodels. IEEE Software, March 96, 37-47.

    Google Scholar 

  • Ramsay, A. 1988. Formal methods in artificial intelligence. Cambridge Tracts in Theoretical Computer Science. Cambridge: Cambridge University Press.

    Google Scholar 

  • Rational, 1997. UML Semantics. Rational Software Corp., 2800 San Thomas Expressway, Santa Clara, CA, USA, version 1.1. Available by ftp from: http://www.rational.com/uml/adobe.html.

    Google Scholar 

  • Robinson, W. and Fickas, S. 1994. Supporting multiple perspective requirements engineering. Proceedings of the 1st International Conference on Requirements Engineering (ICRE '94), Silver Spring, MD: IEEE Computer Society Press, pp. 206-215.

    Google Scholar 

  • Rydeheard, D.E. and Burstall, R.M. 1988. Computational Category Theory. Prentice Hall, International Series in Computer Science, ISBN 0-13-162736-8.

  • Shepherdson, J.C. 1988. Negation in logic programming. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, Los Altos, CA: Morgan Kaufmann, pp. 19-89.

    Google Scholar 

  • Shoenfield, J. 1967. Mathematical Logic. Addison Wesley.

  • Spanoudakis, G. and Constantopoulos, P. 1995. Integrating specifications: A similarity reasoning approach. Automated Software Engineering Journal, 2(4):311-342.

    Google Scholar 

  • Spanoudakis, G. and Finkelstein, A. 1997. Reconciling requirements: A method for managing interference, inconsistency and conflict. Annals of Software Engineering, 3:433-457.

    Google Scholar 

  • Spanoudakis, G. and Finkelstein, A., 1998. A semi-automatic process of identifying overlaps and inconsistencies between requirements specifications. Proceedings of the 5th International Conference on Object Oriented Information Systems (OOIS '98), Springer, pp. 405-426.

  • van Lamsweerde, A. 1996. Divergent views in goal-driven requirements engineering. Joint Proceedings of the Sigsoft '96 Workshops—Viewpoints '96, ACM Press, pp. 252-256.

  • Zave, P. and Jackson, M. 1993. Conjunction as composition. ACM Transactions on Software Engineering and Methodology, 2(4):379-411.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Spanoudakis, G., Finkelstein, A. & Till, D. Overlaps in Requirements Engineering. Automated Software Engineering 6, 171–198 (1999). https://doi.org/10.1023/A:1008718614166

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008718614166

Navigation