0
Research Papers

Designing the Same, but in Different Ways: Determinism in Graph-Rewriting Systems for Function-Based Design Synthesis

[+] Author and Article Information
Julian R. Eichhoff

Institute of Computer-Aided Product
Development Systems,
University of Stuttgart,
Stuttgart 70569, Germany
e-mail: julian.eichhoff@informatik.uni-stuttgart.de

Dieter Roller

Professor
Institute of Computer-Aided Product
Development Systems,
University of Stuttgart,
Stuttgart 70569, Germany
e-mail: dieter.roller@informatik.uni-stuttgart.de

1Corresponding author.

Contributed by the Design Engineering Division of ASME for publication in the JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING. Manuscript received June 4, 2014; final manuscript received November 29, 2015; published online February 15, 2016. Editor: Bahram Ravani.

J. Comput. Inf. Sci. Eng 16(1), 011006 (Feb 15, 2016) (10 pages) Paper No: JCISE-14-1198; doi: 10.1115/1.4032576 History: Received June 04, 2014; Revised November 29, 2015

This paper compares methods for identifying determinism within graph-rewriting systems. From the viewpoint of functional decomposition, these methods can be implemented to search efficiently for distinct function structures. An additional requirement is imposed on this comparison that stems from a cooperative design application where different organizations contribute to a distributed graph-rewriting system: Inspecting the definitions of production rules is not allowed for identifying determinism because production rules are considered to be confidential corporate knowledge. Under this assumption, two approaches were selected and empirically compared with respect to random search and guided search scenarios. The results suggest that the herein proposed dynamic rule independence analysis outperforms traditional approaches in light of the above restriction.

Copyright © 2016 by ASME
Topics: Design , Testing
Your Session has timed out. Please sign back in to continue.

References

Figures

Grahic Jump Location
Fig. 1

Double-pushout diagram. Arrows depict graph morphisms.

Grahic Jump Location
Fig. 2

Confluence example

Grahic Jump Location
Fig. 3

Common configuration analysis

Grahic Jump Location
Fig. 4

Example of common configuration analysis

Grahic Jump Location
Fig. 5

Parallel independent direct derivations

Grahic Jump Location
Fig. 6

Sequentially independent direct derivations

Grahic Jump Location
Fig. 7

Critical pair with application conditions

Grahic Jump Location
Fig. 8

Exemplified re-instantiation of graph-rewriting subsystems

Grahic Jump Location
Fig. 9

Exemplified shifting process

Grahic Jump Location
Fig. 10

Proving independence of rules by embedding their parallel direct derivations in an existing confluent subsystem. The current derivation's representative is at the bottom.

Grahic Jump Location
Fig. 11

Evolved function structure. h.e. is the human energy, e.e. is the electrical energy, and m.e. is the mechanical energy.

Grahic Jump Location
Fig. 13

Results of random search experiment 1

Grahic Jump Location
Fig. 14

Results of random search experiment 2

Grahic Jump Location
Fig. 15

Results of guided search experiment

Tables

Errata

Discussions

Some tools below are only available to our subscribers or users with an online account.

Related Content

Customize your page view by dragging and repositioning the boxes below.

Related Journal Articles
Related eBook Content
Topic Collections

Sorry! You do not have access to this content. For assistance or to subscribe, please contact us:

  • TELEPHONE: 1-800-843-2763 (Toll-free in the USA)
  • EMAIL: asmedigitalcollection@asme.org
Sign In