Specification Language
Regular Expressions over Events (REE)
- draw on first-order and temporal logic
- to support reactions, focus on “anti-properties”
- ease of use for event streams
REE’s use a ranked input alphabet
- REE symbol = event with some arguments
- compare: RE symbols have no arguments