Pattern LanguageRegular Expressions over Events (REE)
Primitive patterns:
- event (system call) occurrence or absence:
- eventName(X1,…,Xn) | cond(X1,…,Xn)
- !e(X1,…,Xn)|cond(X1,…,Xn)
General patterns:
- sequencing (;)
- alternation (||)
- repetition (*)
- real-time constraints
Enhanced REE
- atomicity of data access (nonatomic (data) within (Pat))
- abstract events
- eventName(X1,…,Xn) = event pattern