On constructing executable prototypes from structured analysis

A two-level model is used to construct executable prototypes from the results of SA (structured analysis). Using this model, a prototype is constructed by a set of transactions representing the operation logic of system service functions and by a set of data objects. For ease of writing and tolerance of incompleteness, the transactions are specified in a procedure-like form, and the object operations in a table-filling form. This specification scheme provides an adequate way of incrementally by extending prototype functions. The procedure of deriving prototype specifications from SA results is presented, and a prototyping environment (RSPS) for the exhibition of prototype behavior is described