Validation of object-oriented dynamic specifications

The object-oriented conceptual specification model F-ORM (Functionality in Object with Roles Model) has been proposed for specifying the requirements of information systems. In the work presented, an environment for validating dynamic requirements according to the F-ORM model is presented. Specifically, the use of animation techniques to validate object-oriented requirements is proposed. The environment allows the information system designer, together with possible end-users, to examine the system behavior and verify whether it complies with its requirements. A tool for animation, F-ORM EXEC, is presented, which allows the designer to inspect the information system behavior from different viewpoints