Completeness and consistency checking of system requirements: An expert agent approach

Abstract Specifying requirements is one of the most critical activities in any systems development effort. It is extremely important that the requirements specified for a desired system are complete and consistent; users, however, experience great difficulty in doing that. The problem becomes especially acute when the intended system is very complex. In this paper, we propose a framework which employs expert agents to assist users in the requirements definition process. The approach is defined within the context of RAPID-WS, an object-oriented tool that supports the Air Force weapon systems requirements development process. We describe how an expert agent uses a knowledge base and a case base to assist a user in defining a complete and consistent set of system requirements. The agent generates a requirements hierarchy for the user to view and dynamically responds to any changes to requirements made by the user. By allowing control to switch freely back and forth between the user and the agent, the proposed approach provides a collaborative medium for requirements specification.

[1]  Shaoying Liu,et al.  Internal consistency of FRSM specifications , 1995, J. Syst. Softw..

[2]  Pattie Maes,et al.  Collaborative Interface Agents , 1994, AAAI.

[3]  Pattie Maes,et al.  Evolving agents for personalized information filtering , 1993, Proceedings of 9th IEEE Conference on Artificial Intelligence for Applications.

[4]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[5]  Richard C. Waters,et al.  The Requirements Apprentice: Automated Assistance for Requirements Acquisition , 1991, IEEE Trans. Software Eng..

[6]  Vangalur S. Alagar,et al.  (In)completeness in specifications , 1994, Inf. Softw. Technol..

[7]  Alan M. Davis,et al.  Giving voice to requirements engineering , 1994, IEEE Software.

[8]  Alexander Kott,et al.  Representation and Management of Requirements: The RAPID-WS Project , 1995 .

[9]  Janet L. Kolodner,et al.  Case-Based Reasoning , 1989, IJCAI 1989.

[10]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

[11]  Francis J. Hale Introduction to Aircraft Performance, Selection, and Design , 1984 .

[12]  Douglas R. Smith,et al.  KIDS: A Semiautomatic Program Development System , 1990, IEEE Trans. Software Eng..

[13]  Shaoying Liu A formal requirements specification method based on data flow analysis , 1993, J. Syst. Softw..

[14]  S. Joy Mountford,et al.  The Art of Human-Computer Interface Design , 1990 .

[15]  Pattie Maes,et al.  Intelligent software , 1997, IUI '97.

[16]  Barry W. Boehm,et al.  Verifying and Validating Software Requirements and Design Specifications , 1989, IEEE Software.

[17]  John Mylopoulos,et al.  Knowledge Representation as the Basis for Requirements Specifications , 1985, Computer.

[18]  Pattie Maes,et al.  Artificial life meets entertainment: lifelike autonomous agents , 1995, CACM.

[19]  Won Kim,et al.  Introduction to Object-Oriented Databases , 1991, Computer systems.

[20]  Allen Goldberg,et al.  A mechanical verifier for supporting the design of reliable reactive systems , 1991, Proceedings. 1991 International Symposium on Software Reliability Engineering.

[21]  Peretz Shoval,et al.  Specification and Design of Transactions in Information Systems: A Formal Approach , 1991, IEEE Trans. Software Eng..

[22]  R.K. Jullig,et al.  Applying formal software synthesis , 1993, IEEE Software.

[23]  Pattie Maes,et al.  Agents that reduce work and information overload , 1994, CACM.

[24]  R. B. Rowen,et al.  Software project management under incomplete and ambiguous specifications , 1990 .

[25]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[26]  Jack D. Mattingly,et al.  Aircraft engine design , 1987 .

[27]  Chris Gane,et al.  Structured Systems Analysis: Tools and Techniques , 1977 .

[28]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[29]  Ben Shneiderman,et al.  Direct Manipulation: A Step Beyond Programming Languages , 1983, Computer.