Forms of Policy

• Policy can be expressed by

  • permissions (weakening of obligations)
    • implies that, by default, some constraint exists
  • prohibitions (strengthening of obligations)
    • implies that, by default, behaviour was unconstrained
  • obligations; which have:
    • defining behaviour
    • enabling conditions (predicate or start/end conditions)
    • satisfaction or violation conditions (may dispose of obligation)

Previous slide

Next slide

Back to first slide

View graphic version