Patterns of Problem Solving

If we look back at the examples from previous chapters we can see that standard patterns of refinement and analysis recur in different application domains. We summarise these in Sections 0.1 and 0.2.

• Patterns of Design
  • Using Sort Restrictions to Cue Predicate Conditions
  • Using Entity Roles to Cue Process Conditions
  • Set Inclusions Translated to Conditionals
  • Instantiation of Parameterisable Components
  • Structured Predicate Construction
• Patterns of Analysis
  • Properties of Networks of Binary Relations
  • Meta-Interpretation to Accumulate Data
  • Adapting Solution Strategies to Test Hypotheses
  • Using Entity Roles to Test Process Descriptions
• About this document ...