Usages (2/2):Obligation and Capability

• U (usage) :=

  • Oa (output)
  • Ia . U (input + sequential execution)
  • …

• a (attributes) :=

  • (none)
  • o (obligation: “must be performed”)
  • c (capability: “can be performed successfully”)
  • co (both)

Previous slide

Next slide

Back to first slide

View graphic version