Generating Programs from Connections of Physical Models (1994)
We describe a system that constructs a computer program from a graphical specification provided by the user. The specification consists of diagrams that represent physical and mathematical models; connections between diagram ports signify that corresponding quantities must be equal. A program (in Lisp or C) is generated from the graphical specification by data flow analysis and algebraic manipulation of equations associated with the physical models. Equations, algebraic manipulations, and unit conversions are hidden from the user and are performed automatically. This system allows more rapid generation of programs than would be possible with hand coding.
View:
PDF, PS, HTML
Citation:
In Proc. 10th Conference on Artificial Intelligence for Applications (CAIA-94), pp. 224-230, San Antonio, TX, March 1994.
Bibtex:

Gordon Novak Faculty novak [at] cs utexas edu