JPT
/
bachelorthesis
0
0
Fork 0
Code Issues Pull Requests Activity

[TASK] Generic commit.

This commit is contained in:
Jan Philipp Timme 2016-09-28 11:42:50 +02:00
parent 0570cc12af
commit 2386250b63
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Bachelorarbeit.tex
View File

@ -441,7 +441,9 @@ Um ein Ereignismuster zu beschreiben werden diese Operatoren aus der Ereignisalg
\item Den \textbf{Negationsoperator} $\neg$ erfordert die Abwesenheit eines Ereignisses in der Ereignisfolge. So würde der Ausdruck $(\neg A)$ für die Folge $b_1c_1b_2$ zutreffen, nicht jedoch für die Folge $b_1b_2a_1c_1$.
\end{itemize}
Nimmt man nun das oben angegebene Beispielmuster und formuliert es in Ereignisalgebra, so erhält man: $A \rightarrow (\neg B) \rightarrow C$. Um auf die für dieses Muster passenden Ereignisinstanzen im Rahmen der weiteren Ereignisverarbeitung zugreifen zu können, müssen diese mit dem \texttt{AS}-Operator einer Variable zugewiesen werden können. Somit sieht dieses Muster nun wie folgt aus: $A AS a\rightarrow (\neg B) \rightarrow C AS c$. Dieses Muster kann man nun in einer CEP-Regel einsetzen, wie Listing~\ref{lst:abstract_cep_rule_two} zeigt.
\todo{texttt within math environment?!}
Nimmt man nun das oben angegebene Beispielmuster und formuliert es in Ereignisalgebra, so erhält man: $A \rightarrow (\neg B) \rightarrow C$. Um auf die für dieses Muster passenden Ereignisinstanzen im Rahmen der weiteren Ereignisverarbeitung zugreifen zu können, müssen diese mit dem \texttt{AS}-Operator einer Variable zugewiesen werden können. Somit sieht dieses Muster nun wie folgt aus: $A $AS$ a\rightarrow (\neg B) \rightarrow C $AS$ c$. Dieses Muster kann man nun in einer CEP-Regel einsetzen, wie Listing~\ref{lst:abstract_cep_rule_two} zeigt.
\begin{lstlisting}[mathescape=true,label={lst:abstract_cep_rule_two},caption={CEP-Regel mit Definition eines Ereignisfensters}]
CONDITION (A AS a $\rightarrow$ ($\neg$ B) $\rightarrow$ C AS c)[WindowSize:15min,StepSize:10s]