(A) stream processing approach to dynamic analysis of structured specifications

Abstract

In this thesis, we suggest a new approach to analyzing the dynamic-aspects of structured specifications, in which data flow diagrams are considered as stream processing specifications, and data dictionaries as data generators. In our approach, the correlation between data items and processes which transform them is clearly revealed, and the process description conforms to the data flow diagrams. Control information implicity contained in structured specifications may also be deduced from the data generators. In order to provide a formalism for representing structured specifications in a machine readable form, we have defined a language SPEX. It uses a single conceptual framework, stream, for uniform representation of each component of structured specifications. A particular emphasis is on the specification of data dictionaries. To analyze specifications written in SPEX, we have introduced interpretation methods in terms of the $\varphi$-formula and the $\varphi$-function.