Overlaps in Requirements Engineering
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
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.
- Boehm, B., In, H. (1996) Identifying quality requirements conflicts. IEEE Software 96: pp. 25-35
- Easterbrook, S. (1991) Handling conflict between domain descriptions with computer-supported negotiation. Knowledge Acquisition 3: pp. 255-289
- Easterbrook, S., Finkelstein, A., Kramer, J., Nuseibeh, B. (1994) Co-ordinating distributed viewPoints: The anatomy of a consistency check. International Journal on Concurrent Engineering: Research & Applications 2: pp. 209-222
- Easterbrook, S., Nuseibeh, B. (1996) Using viewPoints for inconsistency management. Software Engineering Journal 11: pp. 31-43
- 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., Nuseibeh, B. (1994) Inconsistency handling in multi-perspective specifications. IEEE Transactions on Software Engineering 20: pp. 569-578
- 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. The ontological level. In: Casati, R., Smith, B., White, G. eds. (1994) Philosophy and the Cognitive Sciences. Holder-Pichler-Tempsky, Vienna
- 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: pp. 5-21
- Leite, J., Freeman, P. (1991) Requirements validation through viewpoint resolution. IEEE Transactions on Software Engineering 12: pp. 1253-1269
- 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. McGraw Hill, New York
- Nissen, H., Jeusfeld, M., Jarke, M., Zemanek, G., Huber, H. (1996) Managing multiple requirements perspectives with metamodels. IEEE Software 96: pp. 37-47
- Ramsay, A. (1988) Formal methods in artificial intelligence. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge
- UML Semantics. Rational Software Corp., 2800 San Thomas Expressway, Santa Clara, CA, USA
- Robinson, W., Fickas, S. (1994) Supporting multiple perspective requirements engineering. Proceedings of the 1st International Conference on Requirements Engineering (ICRE '94). IEEE Computer Society Press, Silver Spring, MD, pp. 206-215
- 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. Negation in logic programming. In: Minker, J. eds. (1988) Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann, Los Altos, CA, pp. 19-89
- Shoenfield, J. 1967. Mathematical Logic. Addison Wesley.
- Spanoudakis, G., Constantopoulos, P. (1995) Integrating specifications: A similarity reasoning approach. Automated Software Engineering Journal 2: pp. 311-342
- Spanoudakis, G., Finkelstein, A. (1997) Reconciling requirements: A method for managing interference, inconsistency and conflict. Annals of Software Engineering 3: pp. 433-457
- 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., Jackson, M. (1993) Conjunction as composition. ACM Transactions on Software Engineering and Methodology 2: pp. 379-411
- Overlaps in Requirements Engineering
Automated Software Engineering
Volume 6, Issue 2 , pp 171-198
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- requirements engineering
- specification overlaps
- specification inconsistency
- Industry Sectors