Abstract
We present an approach to requirements validation in which the formal specification of the requirements is directly interpreted and the results are visually presented to the customer through a graphical user interface, relying on the customer to visually validate the specified requirements. The communication between the user interface and the specification interpreter is accomplished through CORBA. The approach supports the cooperation of customers and developers in eliciting and validating the requirements. We present a case study of the application of the technique to the validation of a generic access control component. The use of CORBA has the advantage that any CORBA-compliant language can be used for the user interface, independently of the implementation of the specification interpreter. The contributions of the paper are 1) the presentation of a case study of the visual requirement validation technique, 2) the revision and improvement of a previously presented visual validation technique, and 3) the application of requirements validation to a reusable component.