The general idea here is to “promote” the less general entities involved in the refinement and then apply the most general refinement strategy. The resulting entity has to be validated with respect to the desired resulting type (model, pattern, or rule).
Mixes that certainly make sense:
Model refines patterns (for test purposes)
Patterns refine models (going from examples to constraints/rules)
Rules refine models (going from examples to constraints/rules)
Rules refine patterns (reusing patterns to describe the context of a rule)
Triple rules refine rules (combining separate GT rules)
The general idea here is to “promote” the less general entities involved in the refinement and then apply the most general refinement strategy. The resulting entity has to be validated with respect to the desired resulting type (model, pattern, or rule).
Mixes that certainly make sense: