dc.contributor.author | Banyasad, Omid. | en_US |
dc.date.accessioned | 2014-10-21T12:37:39Z | |
dc.date.available | 2006 | |
dc.date.issued | 2006 | en_US |
dc.identifier.other | AAINR19612 | en_US |
dc.identifier.uri | http://hdl.handle.net/10222/54852 | |
dc.description | A homogeneous view of the components of a parameterised structured design and the programming constructs used for its creation in a design environment has been the major motivation for creating Language for Structured Design (LSD), a visual design language for programming parameterised geometric objects. LSD is based on Lograph, a visual logic programming language, and therefore deals with the syntactical aspects of integrating solids in the programming world, but has no notion of solids in the design world. Hence, LSD needs to utilise a capable solid modeling package in order to achieve its objectives. In another thread, as a visual programming language LSD could substantially benefit from a carefully designed visual programming environment. | en_US |
dc.description | Accordingly, the research reported here proceeds on two fronts to build the backbone of a debugging environment for LSD. First, we study the foundations of a solid modeling system to serve as the back-end of LSD. Second, we build the mechanics of a debugging environment to utilise the intended solid modeler in conjunction with the logic aspects of LSD programs. | en_US |
dc.description | To achieve our first objective, we build on the previous formal model of solids for LSD to support the computation of sample looks of objects, required for their depiction in LSD programs and during the execution of LSD, formally define single and multiple behaviours for solids, and the motion of solids. We also show how our formal model can be put into practice by developing a translator which translates solids created in LSD to their representations in the PLaSM language. | en_US |
dc.description | In order to achieve our second goal, we study certain practical aspects of Lograph which will serve as the underlying language for LSD. This includes extending Lograph to obtain Lograph+C which supports constraint processing, devising an execution mechanism for Lograph and designing an interpreter engine to provide desirable debugging features such as single step execution of LSD programs in both forward and reverse directions, just-in-time programming, lazy design component selection and undo of execution steps. We also present an automatic layout algorithm for dynamically adjusting the layout of queries during animated execution. | en_US |
dc.description | Thesis (Ph.D.)--Dalhousie University (Canada), 2006. | en_US |
dc.language | eng | en_US |
dc.publisher | Dalhousie University | en_US |
dc.publisher | | en_US |
dc.subject | Computer Science. | en_US |
dc.title | Programming parameterised geometric objects in a visual design language. | en_US |
dc.type | text | en_US |
dc.contributor.degree | Ph.D. | en_US |