Integrating design synthesis and assembly of structured objects in a visual design language
| dc.creator | Banyasad, Omid | |
| dc.creator | Cox, Philip T. | |
| dc.date | 2004-03-21 | |
| dc.date.accessioned | 2026-07-07T03:21:02Z | |
| dc.date.available | 2026-07-07T03:21:02Z | |
| dc.description | Computer Aided Design systems provide tools for building and manipulating models of solid objects. Some also provide access to programming languages so that parametrised designs can be expressed. There is a sharp distinction, therefore, between building models, a concrete graphical editing activity, and programming, an abstract, textual, algorithm-construction activity. The recently proposed Language for Structured Design (LSD) was motivated by a desire to combine the design and programming activities in one language. LSD achieves this by extending a visual logic programming language to incorporate the notions of solids and operations on solids. Here we investigate another aspect of the LSD approach; namely, that by using visual logic programming as the engine to drive the parametrised assembly of objects, we also gain the powerful symbolic problem-solving capability that is the forte of logic programming languages. This allows the designer/programmer to work at a higher level, giving declarative specifications of a design in order to obtain the design descriptions. Hence LSD integrates problem solving, design synthesis, and prototype assembly in a single homogeneous programming/design environment. We demonstrate this specification-to-final-assembly capability using the masterkeying problem for designing systems of locks and keys. | |
| dc.description | 20 pages, 15 figures, to be published in The Theory and Practice of Logic programming (TPLP) | |
| dc.identifier | https://arxiv.org/abs/cs/0403033 | |
| dc.identifier | http://arxiv.org/abs/cs/0403033 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/32048 | |
| dc.subject | Logic in Computer Science | |
| dc.subject | Programming Languages | |
| dc.subject | D.1.6; D.1.7; J.6 | |
| dc.title | Integrating design synthesis and assembly of structured objects in a visual design language | |
| dc.type | text |