Styles of Policy
There are two main styles of policy:
- parameterized specification
- naming a specific choice
- giving constraints on acceptable solutions
- establishing policy by substituting behaviour in the named slot.
- constraint-oriented specification
- specify policy as a set of constraints, referring to arbitrary terms in the specification;
- composing the base specification and the policy.