5
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
•