Automatic Generation of Software Supporting the Integration of GIS and Modelling Systems

Often modelling problems are most easily specified by a declaration of the required outcomes. Such a declarative specification of a problem can sometimes be used for automating the construction of software that computes the required outcomes. This paper investigates issues relating to the design and implementation of a system that takes a declarative specification of a problem and attempts to generate a computational solution to the problem. An interesting aspect of the solution described in the paper is the use of a deductive database environment in the implementation of a prototype execution plan construction tool and software generation tool. The paper includes a number of examples highlighting the important features of the design and operation of the prototype.