On Design Formalization and Retrieval of Reuse Candidates

To enable reuse in design, a formal model of design artifacts and design processes is necessary. In this contribution, we present a feature-based formalization of design and the exploitation of this formalism for retrieving suitable reuse candidates. Using a given requirement specification, we describe designs as goal-oriented refinement processes, and we show how we use this formalism within a case-based and rule-based retrieval approach. The main goal of this paper is to formalize generic structures of the design space and to show how these structures can be used to improve the retrieval.

[1]  J. Altmeyer,et al.  On Modeling Top-down VLSI Design , 1994, IEEE/ACM International Conference on Computer-Aided Design.

[2]  Jonathan Allen,et al.  Performance-directed synthesis of VLSI systems , 1990, Proc. IEEE.

[3]  J. Altmeyer,et al.  Reuse Of Design Objects In Cad Frameworks , 1994, IEEE/ACM International Conference on Computer-Aided Design.

[4]  Ernst Siepmann,et al.  An Object-Oriented Datamodel for the VLSI Design System PLAYOUT , 1989, 26th ACM/IEEE Design Automation Conference.

[5]  Nils J. Nilsson,et al.  Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.

[6]  Vladimir Lifschitz,et al.  ON THE SEMANTICS OF STRIPS , 1987 .

[7]  Gerhard Zimmermann,et al.  Chip assembly in the PLAYOUT VLSI design system , 1992, Proceedings EURO-DAC '92: European Design Automation Conference.

[8]  Randy H. Katz,et al.  Toward a unified framework for version modeling in engineering databases , 1990, CSUR.

[9]  David Lawrence Johannsen.  Silicon compilation , 1989 .

[10]  John S. Gero,et al.  Artificial Intelligence in Design ’94 , 1994, Springer Netherlands.

[11]  Paul Veerkamp,et al.  Modeling Design Process , 1990, AI Mag..

[12]  Christopher K. Riesbeck,et al.  Inside Case-Based Reasoning , 1989 .

[13]  D. J. Grover.  Man-machine communication in CAD/CAM: Edited by T. Sata, E.A. Warman North-Holland, 1981, pp 216 + ix, $32 , 1982 .

[14]  John S. Gero,et al.  Design Prototypes: A Knowledge Representation Schema for Design , 1990, AI Mag..

[15]  M. Richter.  Classification and Learning of Similarity Measures , 1993 .

[16]  A. Tversky.  Features of Similarity , 1977 .

[17]  Barr and Feigenbaum Edward A. Avron.  The Handbook of Artificial Intelligence , 1981 .

[18]  Jan Treur,et al.  ON FORMAL SPECIFICATION OF DESIGN TASKS , 1994 .

[19]  Janet L. Kolodner,et al.  Case-Based Reasoning , 1989, IJCAI 1989.

[20]  Gerhard Zimmermann,et al.  PLAYOUT - A Hierarchical Design System , 1989, IFIP Congress.