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

[TASK] Generic commit.

Browse Source
This commit is contained in:
Jan Philipp Timme 2016-09-28 11:57:47 +02:00
parent 1cd3056acf
commit 4c14b483fa
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Bachelorarbeit.tex
View File

@ -18,6 +18,7 @@
\usepackage{float} \usepackage{float}
\usepackage{soul} \usepackage{soul}
\usepackage{verbatim} % für comment-environment \usepackage{verbatim} % für comment-environment
\usepackage{amsmath}
% Setup für Codeblocks % Setup für Codeblocks
\lstset{ \lstset{
% Optionen % Optionen
@ -443,10 +444,10 @@ Um ein Ereignismuster zu beschreiben werden diese Operatoren aus der Ereignisalg
\todo{texttt within math environment?!} \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. 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}] \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] CONDITION ($(A\ AS\ a)\rightarrow (\neg B) \rightarrow (C\ AS\ c)$)[WindowSize:15min,StepSize:10s]
... weitere Bedingungen ... ... weitere Bedingungen ...
ACTION ACTION
... auszulösende Aktionen ... ... auszulösende Aktionen ...