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

Previous slide

Next slide

Back to first slide

View graphic version