Path: utzoo!utgpu!water!watmath!watdcsu!cfry
From: cfry@watdcsu.waterloo.edu (C.Fry - Inst. Computer Research)
Newsgroups: ont.events,uw.talks,uw.cs.grad
Subject: ICR June 22 Paul Borrel Interactive Design with Sequences...
Message-ID: <4800@watdcsu.waterloo.edu>
Date: 15 Jun 88 13:56:37 GMT
Distribution: ont
Organization: U of Waterloo, Ontario
Lines: 37



                          Interactive Design with Sequences

                          of Parameterized Transformations

          by

          Paul Borrel

          of

          Laboratoire d'Automatique et de Microelectronique
          de Montpellier - France
          Currently on sabbatical at IBM Watson Research Center

          Abstract

          We present a paradigm for capturing the functional and relational
          aspects  of  a  design as a sequence of parameterized unevaluated
          operations, which may, for example, correspond to the  individual
          steps  of a manufacturing process.  A sequence that can transform
          a wide variety of models in a manner consistent with  the  user's
          intentions can be specified interactively using a single model as
          an example.  The execution of a sequence to transform a  particu-
          lar  model  produces a result which may be interrogated to detect
          constraint violations and to locate  operations  responsible  for
          creating  or modifying specific features.  An experimental imple-
          mentation in an object oriented environment is described.

          DATE:     Wednesday, June 22, 1988

          TIME:     3:30 p.m.

          PLACE:    University of Waterloo, Davis Centre Room 1302

          Everyone is welcome.  Refreshments served.