Accession Number : ADM000213

Title :   Three View Language: A Graphics-Based Language for Requirements Definition, Version 01.00.00 (Videorecording).

Descriptive Note : Final rept.

Corporate Author : SOFTWARE PRODUCTIVITY CONSORTIUM HERNDON VA

Report Date : 05 MAR 1993

Pagination or Media Count : 1

Abstract : Physical description: 1 VHS video; 1/2 in.; col.; sd.; mono; 95 mins.; standard playback sp. Many graphics-based software development methods make use of a trio of notations for representing the data, functional, and behavioral views of a proposed system. While formal descriptions of these notations, in particular of integrated behavioral-functional notations, have been advanced, no attempt to provide a formalism encompassing all three notations has yet been undertaken. This talk describes a unified formal syntax and operational semantics for 3VL, a graphics-based language that allows the construction of models incorporating all three views. The approach involves extensions and modifications of the work of Harel, Pnueli, and their colleagues on the semantics of state-charts. The inclusion of a data view results in a typed architecture for the language, and in the provision for dynamic instantiation from types within the operational semantics. Since supertyping and subtyping are included, 3VL is fully object-oriented. The rationale for the architecture of the language is discussed and detailed examples of 3VL programs are provided.

Descriptors :   *VIDEO RECORDING, *PROGRAMMING LANGUAGES, *COMPUTER GRAPHICS, SOFTWARE ENGINEERING, SEMANTICS, SYNTAX.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE