A Formal Model for Parameterized Solids in a Visual Design Language

Integrating design synthesis and assembly of structured objects in a visual design language

“…It is also important to note that LSD is an extendible language in the sense that any operation in any design domain, as defined by Cox and Smedley (2000), can be added to it. Hence LSD can express design problems in any such design domain.…”

“…Just as bonding is represented by the grey bands in the diagrams above, operations in general need to have visual representation in LSD. A discussion of this issue can be found in (Cox & Smedley, 2000). We will confine our discussion below to the bonding operation.…”

“…Hence drawing and animation of e-components must be dealt with by the associated solid modeler. Since solid modeling is pivotal to our discussion on how the assembly process is animated, we will give a brief overview of the formal definition of design spaces and solids proposed by Cox and Smedley (2000).…”

“…As a basis for extensibility, a very general notion of a design space was required, providing just enough detail to capture the essence of solids in logic. To meet this need, a formal model for characterising objects in a design space was proposed by Cox and Smedley (2000), where a design space consists of multidimensional space (normally 3-D ) augmented with extra dimensions representing properties. This formalisation also defines the concept of an operation on solids, and selective interfaces that allow solids to declare what operations can be applied to them.…”

An Automatic Layout Algorithm for Lograph

“…The work reported here is part of a larger project to build an environment for designing structured objects, based on the visual Language for Structured Design (LSD) reported in [6,7]. Since LSD is an extension of the visual logic programming language Lograph [5], the first step towards the larger goal is to implement Lograph in a proper programming environment with a visual debugger.…”