By Topic

Solving design problems in a logic-based visual design environment

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
O. Banyasad ; Fac. of Comput. Sci., Dalhousie Univ., Halifax, NS, Canada ; P. T. Cox

Designs of complex objects often include parameters which, when given values, provide a realisation of a specific example of the design. Such parametrised designs, therefore, actually represent families of objects. In order to provide the programming capabilities necessary for building such parametrised designs, some computer-aided design systems include programming languages or provide interfaces to them. This creates a sharp division in the design process between designer and programmer. To address this discontinuity, a Language for Structured Design (LSD) has been proposed as an extension to a visual logic programming language. In LSD, design components and operations on them are homogeneously represented in one language. Here we report on another advantage of the LSD approach; namely, that visual logic programming, used as the engine to drive the parametrised assembly of objects, also provides powerful symbolic problem-solving capability. This allows the designer/programmer to work at a higher level, giving descriptive rather than prescriptive specifications of a design. Hence LSD integrates problem solving, synthesis, and modeling in a single homogeneous programming/design environment. We demonstrate the problem-solving capabilities of LSD using the masterkeying problem.

Published in:

Human Centric Computing Languages and Environments, 2002. Proceedings. IEEE 2002 Symposia on

Date of Conference: