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 Φ-formula and the Φ-function.
본 논문에서는 구조적 명세의 동적인 특성을 분석하기 위하여 스트림 처리 방식을 이용한 새로운 기법을 제안하였다. 자료 흐름도를 스트림 처리 명세로, 자료 사전을 자료 생성자로 간주함으로써 자료의 정의와 사용의 관계를 분명히 밝힐 수 있으며, 자료 생성자의 절차적 해석을 통하여 구조적 명세에 묵시적으로 내재된 제어 정보를 유추해 낼 수 있다.
구조적 명세를 컴퓨터에 의해 자동적으로 처리될 수 있는 형태로 표현하기 위한 요구 명세 언어 SPEX를 정의하였다. SPEX는 스트림이라는 단일 개념을 이용하여 구조적 명세의 모든 요소를 표현할 수 있도록 설계 되었으며, 자료 사전을 수동적 자료 구조의 명세가 아닌 능동적인 의미의 자료 생성자로 간주하는 데 특징이 있다. SPEX로 작성된 명세의 동적인 특성에 대한 자동적인 분석을 위하여 Φ-formula와 Φ-function을 이용한 분석 기법을 제안하였다. Φ-function의 결과는 시스템의 구조 설계에 직접 활용할 수 있다. 또한 자료 생성자의 절차적 해석을 구현하면 SPEX는 실행 가능한 명세 언어가 된다.
