[an error occurred while processing this directive]

<h1>Alan Cartwright's PhD Thesis</h1>

<h2>Application of Definitive Scripts to Computer Aided Conceptual Design</h2>

<h3>Abstract</h3>

<p>The creative phases of design are based upon the human ability to conceptualise or
abstract ideas from physical observations of the real world. That ability comes from
experience, based on experiment: discerning patterns of behaviour in particular sets of
observations. In this work it is shown that the process of identification, experiment and
abstraction may be modelled accurately on a computer by definitive, or agent-oriented,
programming, so forming a powerful aid to conceptual design.</p>
<p>A new computer modelling language, called EdenLisp, has been developed by the
author around Definitive Notations and interfaced to a commercial Computer Aided
Design package. It provides a tool whereby computer models of systems can be
originated that have state and on which state change can be made, not only by the
designer but also by other autonomous agents of change.</p>
<p>Experiments with the language are described that show that scripts of definitions can
have characteristics that permit the design to proceed as if there were an engineering
prototype of the physical system being designed. The explicit representation of state at
the lowest levels permits experimentation, observation of properties and addition of
further observations.</p>
<p>The interactive construction of EdenLisp is analogous to the conceptual design
process. It is used to illustrate and test design meta-theories for modelling conceptual
design. It is shown to have potential for concurrent or multi-agent design, and is also
an excellent vehicle for design education.
</p>

<h3>Reference</h3>

<p>Alan Cartwright.  <em>Application of Definitive Scripts to Computer Aided 
Conceptual Design</em>.  PhD thesis, University of Warwick, April 1994.</p>

<h3>Download</h3>

<p>This thesis can be downloaded in Acrobat PDF format (you can find
<a href="../../links.html#acrobat">Acrobat</a> on our links page).</p>

<table border>

<tr>
<td><a href="header.pdf">PDF (
135K
)</a></td>
<td>Header (including cover page, table of contents, lists of tables and
figures, abstract, abbreviations etc).
</tr>

<tr>
<td><a href="chapter1.pdf">PDF (
106K
)</a></td>
<td>Chapter 1 - A modelling method for experiments in design
</tr>

<tr>
<td><a href="chapter2.pdf">PDF (
258K
)</a></td>
<td>Chapter 2 - Design as experiment
</tr>

<tr>
<td><a href="chapter3.pdf">PDF (
321K
)</a></td>
<td>Chapter 3 - Computational modelling for design

</tr>

<tr>
<td><a href="chapter4.pdf">PDF (
399K
)</a></td>
<td>Chapter 4 - Computation as experiment
</tr>

<tr>
<td><a href="chapter5.pdf">PDF (
370K
)</a></td>
<td>Chapter 5 - Computer aids to design prototyping
</tr>

<tr>
<td><a href="chapter6.pdf">PDF (
389K
)</a></td>
<td>Chapter 6 - EdenLisp
</tr>

<tr>
<td><a href="chapter7.pdf">PDF (
359K
)</a></td>
<td>Chapter 7 - Experiments in EdenLisp
</tr>

<tr>
<td><a href="chapter8.pdf">PDF (
161K
)</a></td>
<td>Chapter 8 - Design management
</tr>

<tr>
<td><a href="chapter9.pdf">PDF (
251K
)</a></td>
<td>Chapter 9 - Design education
</tr>

<tr>
<td><a href="chapter10.pdf">PDF (
223K
)</a></td>
<td>Chapter 10 - Discussion
</tr>


<tr>
<td><a href="references.pdf">PDF (
114K
)</a></td>
<td>References
</tr>

<tr>
<td><a href="appendixa.pdf">PDF (
 56K
)</a></td>
<td>Appendix A: Formal languages definitions for EdenLisp
</tr>

<tr>
<td><a href="appendixb.pdf">PDF (
191K
)</a></td>
<td>Appendix B: EdenLisp programs
</tr>

<tr>
<td><a href="appendixc.pdf">PDF (
 27K
)</a></td>
<td>Appendix C: Conference papers
</tr>

</table>

<p>The copyright of the material in this PhD thesis rests with the
author and copying (or any other use of the material) without prior
consent is not permitted.</p>


[an error occurred while processing this directive]