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

被引:4
作者
Sinha, AP [1 ]
Popken, D [1 ]
机构
[1] SUMARIA SYST INC, FAIRBORN, OH 45324 USA
关键词
D O I
10.1016/S0957-4174(96)00043-7
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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. Copyright (C) 1996 Elsevier Science Ltd
引用
收藏
页码:263 / 276
页数:14
相关论文
共 33 条
[1]   (IN)COMPLETENESS IN SPECIFICATIONS [J].
ALAGAR, VS ;
KOURKOPOULOS, D .
INFORMATION AND SOFTWARE TECHNOLOGY, 1994, 36 (06) :331-342
[2]   SPECIFICATION AND DESIGN OF TRANSACTIONS IN INFORMATION-SYSTEMS - A FORMAL APPROACH [J].
BABIN, G ;
LUSTMAN, F ;
SHOVAL, P .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (08) :814-829
[3]  
Blaine L., 1991, CONSTRUCTING PROGRAM, P165
[4]   VERIFYING AND VALIDATING SOFTWARE REQUIREMENTS AND DESIGN SPECIFICATIONS [J].
BOEHM, BW .
IEEE SOFTWARE, 1984, 1 (01) :75-88
[5]  
BORGIDA A, 1985, COMPUTER APR, P82
[7]   GIVING VOICE TO REQUIREMENTS ENGINEERING [J].
DAVIS, AM ;
HSIA, P .
IEEE SOFTWARE, 1994, 11 (02) :12-16
[8]  
Gane C.S., 1979, STRUCTURED SYSTEMS A
[9]  
GUNSTON B, 1983, MODERN COMBAT AIRCRA
[10]  
Hale F.J., 1984, INTRO AIRCRAFT PERFO