Motivating Examples

• For all the instances of "diskDrive" interface
  • Find me all the ones where
    • percentFull < 80% and contiguousAvailableSpace > 100 MB
• For the "manageableResource" interface
  • If the lifecycleState = "crashed"
    • Access the "stackTrace" state element
      • "stackTrace" is not a part of the service's state in most circumstances