Validation of object-oriented dynamic specifications

Author

De Antonellis, V. ; Vandoni, L.

Author_Institution

Dipartimento di Elettronica, Politecnico di Milano, Italy

fYear

1993

fDate

5-8 Jan 1993

Firstpage

399

Abstract

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

Keywords

computer animation; formal specification; information systems; object-oriented programming; program verification; visual programming; F-ORM; F-ORM EXEC; IS requirements; animation techniques; dynamic requirements; end-users; information system designer; object-oriented conceptual specification model; object-oriented dynamic specifications; object-oriented requirements; system behavior; Animation; Application software; Computer applications; Control systems; Design methodology; Information systems; Object oriented modeling; Proposals; Prototypes; Visualization;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1993, Proceeding of the Twenty-Sixth Hawaii International Conference on

Conference_Location

Wailea, HI

Print_ISBN

0-8186-3230-5

Type

conf

DOI

10.1109/HICSS.1993.284213

Filename

284213