Defining constraints graphically
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
System for interactive assembly modelling
Computer-Aided Design
Generative modeling for computer graphics and CAD: symbolic shape design using interval analysis
Generative modeling for computer graphics and CAD: symbolic shape design using interval analysis
Generating languages of solid models
SMA '93 Proceedings on the second ACM symposium on Solid modeling and applications
Geometric programming: a programming approach to geometric design
ACM Transactions on Graphics (TOG)
AML/X: a programming language for design and manufacturing
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Logic for Problem Solving
Defining Behaviours for Solids in a Visual Design Environment
HCC '02 Proceedings of the IEEE 2002 Symposia on Human Centric Computing Languages and Environments (HCC'02)
Solving Design Problems in a Logic-Based Visual Design Environment
HCC '02 Proceedings of the IEEE 2002 Symposia on Human Centric Computing Languages and Environments (HCC'02)
Generating sample looks for geometric objects in a visual design language
Journal of Visual Languages and Computing
| Hi-index | 0.00 |
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 forté 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.