As indicated by M.A. Jackson (1975), in order to create a generator to generate an efficient program structure which uses data flow for its constraint computations, we should detect and solve the problem of the clash of input-output data structures. The paper proposes a general framework to characterize the problem of structure clash in the creation of a generator for architectural CAD systems. This framework employs a method using relational inference to detect ordering clash, and at the same time determine the execution sequence of the generated procedural program. Moreover, the paper describes an implementation of this method for generating an object oriented program of a CAD system in the domain of architecture
Published in:
Multimedia Software Engineering, 2000. Proceedings. International Symposium on
Date of Conference: 2000