Design and Implementation of a Concrete Interface Generation System.

摘要

The purpose of this thesis is to design and implement a concrete interface generation system. The concrete interface generator is a software system which takes a formal specification as input and generates the specification part of an Ada implementation as output. Attribute grammars and fourth-generation language tools have been used in the implementation of this system. Spec, a formal language for writing black-box specifications for large software systems, was used as the input for the concrete interface generation system. Ada was chosen to be the computer language generated by the system. This thesis implements a subset of the Spec language, discusses the design methodology used in its implementation, and presents guidelines for the mapping of Spec to Ada. Included is a listing of the Spec grammar, the concrete interface generator systems source listing, a sample of input used to tet the system, and resulting output.