Surfacing root requirements interactions from inquiry cycle requirements documents

Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have defined Root Requirements Analysis. This simple technique is based on: generalizing requirements to form root requirements, exhaustively comparing the root requirements, and applying simple metrics to the resultant comparison matrix. Root Requirements Analysis is effective. In the case study described, the technique finds that 36 percent of the case's root requirements interactions result in problems which require further analysis. Moreover, the technique provides a specific operational procedure to guide the efficient iterative resolution of identified requirements conflicts. The process of Root Requirements Analysis itself is not specific to a particular methodology. It can be applied directly to requirements in a variety of forms, as well as to the documentation of requirements development. We took this latter approach in the case study illustrating how Root Requirements Analysis can augment the Inquiry Cycle model of requirements development. Finally, the technique is amenable to support through collaborative CASE tools, as we demonstrate with our DEALSCRIBE prototype.

[1]  William N. Robinson,et al.  A Meta-Model for Restructuring Stakeholder Requirements , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[2]  Stephen Fickas,et al.  Knowledge Representation and Reasoning in the Design of Composite Systems , 1992, IEEE Trans. Software Eng..

[3]  Peter G. Neumann,et al.  Computer-related risks , 1994 .

[4]  Michael Jackson,et al.  Four dark corners of requirements engineering , 1997, TSEM.

[5]  Robyn R. Lutz,et al.  Analyzing software requirements errors in safety-critical, embedded systems , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[6]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[7]  Martin S. Feather,et al.  Language support for the specification and development of composite systems , 1987, TOPL.

[8]  Geoff P. Mullery,et al.  CORE : A Method for Controlled Requirement Expression , 1979, ICSE.

[9]  Enid Mumford,et al.  Computer systems in work design--the ETHICS method : effective technical and human implementation of computer systems , 1979 .

[10]  Jay F. Nunamaker,et al.  CASE productivity perceptions of software engineering professionals , 1989, CACM.

[11]  Colin Runciman,et al.  Perfect hash functions made parallel-Lazy functional programming on a distributed multiprocessor , 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.

[12]  Iris Vessey,et al.  CASE tools as collaborative support technologies , 1995, CACM.

[13]  John Yen,et al.  A systematic tradeoff analysis for conflicting imprecise requirements , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[14]  G. P. Mullery,et al.  CORE - a method for controlled requirement specification , 1979, ICSE 1979.

[15]  Mark Klein,et al.  Supporting conflict resolution in cooperative design systems , 1991, IEEE Trans. Syst. Man Cybern..

[16]  Stefanie Kethers,et al.  Improving Communication and Decision Making within Quality Function Deployment 1 , 1994 .

[17]  Kenji Takahashi,et al.  Inquiry-based requirements analysis , 1994, IEEE Software.

[18]  Bashar Nuseibeh Ariane 5: Who Dunnit? , 1997, IEEE Software.

[19]  Elliot J. Chikofsky,et al.  CASE: reliability engineering for information systems , 1988, IEEE Software.

[20]  Bashar Nuseibeh,et al.  Expressing the relationships between multiple views in requirements specification , 1993, ICSE '93.

[21]  Peter Checkland,et al.  Systems Thinking, Systems Practice , 1981 .

[22]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

[23]  William N. Robinson,et al.  Goal-Oriented Workflow Analysis and Infrastructure , 1996 .

[24]  Philippe Massonet,et al.  Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[25]  William N. Robinson,et al.  Supporting the negotiation life cycle , 1998, CACM.

[26]  David Alan Stokes,et al.  16 – Requirements analysis , 1991 .

[27]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[28]  W. N. Robinson,et al.  Integrating multiple specifications using domain goals , 1989, IWSSD '89.

[29]  Barry W. Boehm,et al.  Identifying Quality-Requirement Conflicts , 1996, IEEE Softw..

[30]  Steve M. Easterbrook,et al.  Domain modelling with hierarchies of alternative viewpoints , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[31]  Eric S. K. Yu,et al.  Using non-functional requirements to systematically support change , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[32]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[33]  Colin Potts,et al.  Recording the reasons for design decisions , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

[34]  William N. Robinson,et al.  Managing Requirements Inconsistency with Development Goal Monitors , 1999, IEEE Trans. Software Eng..

[35]  S. Fickas,et al.  A proposed perspective shift: viewing specification design as a planning problem , 1989, IWSSD '89.

[36]  Annie I. Antón,et al.  Goal-based requirements analysis , 1996, Proceedings of the Second International Conference on Requirements Engineering.

[37]  Shailey Minocha,et al.  A co-operative scenario based approach to acquisition and validation of system requirements: How exceptions can help! , 1999, Interact. Comput..

[38]  John Mylopoulos,et al.  On formal requirements modeling languages: RML revisited , 1994, Proceedings of 16th International Conference on Software Engineering.

[39]  John Yen,et al.  An analytic framework for specifying and analyzing imprecise requirements , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[40]  William N. Robinson,et al.  Electronic brokering for assisted contracting of software applets , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[41]  Vasant Dhar,et al.  Supporting Systems Development by Capturing Deliberations During Requirements Engineering , 1992, IEEE Trans. Software Eng..

[42]  Mark M. Misic,et al.  The Changing Roles of the Systems Analyst , 1994 .

[43]  Computer Staff Software Challenges , 1995 .

[44]  Matthias Jarke,et al.  A deductive object base for metadata management , 1995 .

[45]  William N. Robinson Interactive Decision Support for Requirements Negotiation , 1994 .