Adoption of structure clash detection method for architectural CAD system generation

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.