Content

•  
   1 Introduction
•  
   1.1 Thesis Structure
•  
   1.2 Design Support
•  
   1.3 Model Simplification
•  
   2 A Design Task
•  
   2.1 Caramel Syrup Example---Structure
•  
   2.2 Caramel Syrup Example---Behavior
•  
   3 Graph Grammar Model for Design
•  
   3.1 Design Tasks and Graph Transformation Rules
•  
   3.2 Context-free Design Graph Grammar
•  
   3.3 Context-sensitive Design Graph Grammar
•  
   3.4 On the Semantics of Labels
•  
   3.4.1 Terminal and Nonterminal Labels
•  
   3.4.2 Variable Labels
•  
   3.4.3 Ambiguities
•  
   4 Analyzing Systems
•  
   4.1 Structure Analysis by Graph Grammars
•  
   4.2 Caramel Syrup Example
•  
   4.3 Behavior Analysis by Simulation
•  
   4.3.1 Classical Simulation
•  
   4.3.2 Qualitative Simulation
•  
   4.3.3 Complexity of Design Evaluation
•  
   5 Synthesizing Systems
•  
   5.1 Structure Synthesis by Graph Grammars
•  
   5.2 Caramel Syrup Example Reviewed
•  
   5.3 Graph Topology Restrictions
•  
   5.4 Search Techniques
•  
   5.4.1 Label Ordering
•  
   5.4.2 Reinforcement Learning
•  
   5.4.3 Model Compilation
•  
   6 Design Language
•  
   6.1 Requirements
•  
   6.1.1 Modification Types
•  
   6.1.2 Modification Location
•  
   6.2 Semantics of Graphical Representation
•  
   6.3 Caramel Syrup Example Reviewed Again
•  
   7 Classes, Complexity and Design Evaluation
•  
  7.1 Classical and Design Graph Grammars
•  
   7.1.1 The Connecting Approach
•  
   7.1.2 The Gluing Approach
•  
   7.1.3 Hybrid Approaches
•  
   7.1.4 Design Graph Grammars
•  
   7.2 Relationship to PGRS
•  
  7.3 The Problem of Matching
•  
   7.3.1 Context and Its Consequences
•  
   7.3.2 The Subgraph Matching Problem
•  
   7.3.3 Context within Backward Execution
•  
  7.4 Foundations of Derivations and Membership
•  
   7.4.1 Basic Properties
•  
   7.4.2 Special Restrictions
•  
   7.5 Membership and Derivation in Design
•  
   7.5.1 The Membership Problem
•  
   7.5.2 Solving the Membership Problem
•  
   7.5.3 Shortest Derivation
•  
   7.5.4 Distance between Graphs
•  
   8 Summary
•  
   A Applications in Design
•  
   A.1 Structural Synthesis: Chemical Plants
•  
   A.2 Structural Simplification: Hydraulic Plants
•  
   A.3 Structural Synthesis: Hydraulic Plants
•  
   A.4 Model Reformulation: Wave Digital Structures
•  
   A.5 Model Reformulation: Parallel-Series Graphs