Structure clash detection method in architectural CAD system generation

As indicated by jackson, in order to create an automatic design for an efficient program structure which uses data flow for its computations, we should detect and solve the problem of the clash of input-output data structures. This paper proposes a general framework to characterize the problem of structure clash. This framework employs a method using relational inference to detect and solve an ordering clash as one of the struture clash. At the same time the solution designs a basic structure of generated procedural program. Moreover, the paper describes an application of this method for CAD system generation, directed particularly at solving the problem of recursive program and the hierarchical input and output data in the domain of architecture.