Defining Behaviours for Solids in a Visual Design Environment


Omid Banyasad
Philip T. Cox

Author Addresses: 

Faculty of Computer Science
Dalhousie University
6050 University Ave.
PO Box 15000
Halifax, Nova Scotia, Canada
B3H 4R2


The design of structured objects is frequently accomplished with the use of Computer-Aided Design (cad) systems, some of which allow for parametrised designs, which represent families of objects. Some existing cad systems permit parametrisation by providing interfaces to programming languages, leading to a sharp division between the visual and programming aspects of building complex designs. In previous work, a design language lsd was proposed, which used visual logic programming to overcome this separation and provides "assembly semantics" for building an instance of a parametrised design corresponding to specific parameter values. Also of interest to designers, however, is the behaviour of the objects they design. For example, the point of building a mechanical device such as an internal combustion engine is to obtain a particular mechanical behaviour. Here we extend the formal model for solid objects on which lsd relies in order to support the definition of particular kinds of behaviours.

Tech Report Number: 
Report Date: 
October 7, 2002
PDF icon CS-2002-07.pdf234.67 KB