イベントパターンは、パターン定義にマッチした単一または複数のイベントが発生したときにマッチします。パターンは時間をベースに記述することもできます。
パターン式はパターンアトムとパターン演算子とから構成されます。
パターンアトムには、フィルター式と時間ベースイベントのためのオブザーバとがあります。フィルター式はイベントストリームにフィルター条件を指定したものです。
パターン演算子には次の4つのタイプがあります。
パターン式を構成するサブ式の繰返しを制御する演算子：every、every-distinct、[回数]、および、until
論理演算子：and、or、not
イベントの順序を操作する時間的演算子：-> (followed-by)
サブ式のライフサイクルを制御するためにwhere句に指定するガード：timer:within、timer:withinmax、および、while式
