cfry@watdcsu.waterloo.edu (C.Fry - Inst. Computer Research) (06/15/88)
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.