diff --git a/Bachelorarbeit.tex b/Bachelorarbeit.tex index 71082e4..db8b4c9 100644 --- a/Bachelorarbeit.tex +++ b/Bachelorarbeit.tex @@ -436,9 +436,9 @@ Eine Ereignisfolge ist Teilmenge eines Ereignisdatenstromes. Sie kann nach dem S Um ein Ereignismuster zu beschreiben werden diese Operatoren aus der Ereignisalgebra benötigt: \begin{itemize} -\item Der Sequenzoperator $\rightarrow$ dient zur Formulierung zeitlicher Abhängigkeiten zwischen zwei Ereignistypen. So beschreibt der Ausdruck $A \rightarrow B$ eine Ereignisfolge, in der zuerst ein Ereignistyp A auftritt, gefolgt von einem Ereignistyp B. Die Ereignisfolge $c_1a_1c_2b_1d_1$ erfüllt diese Bedingung. -\item Die boolschen Operatoren $\wedge$ und $\vee$: -\item Den Negationsoperator $\neg$: +\item Der \textbf{Sequenzoperator} $\rightarrow$ dient zur Formulierung zeitlicher Abhängigkeiten zwischen zwei Ereignistypen. So beschreibt der Ausdruck $A \rightarrow B$ eine Ereignisfolge, in der zuerst ein Ereignistyp A auftritt, gefolgt von einem Ereignistyp B. Die Ereignisfolge $c_1a_1c_2b_1d_1$ erfüllt diese Bedingung. +\item Die \textbf{boolschen Operatoren} $\wedge$ und $\vee$: Sie definieren \textbf{keine} zeitlichen Abhängigkeiten zwischen Ereignissen, bestimmen aber, \emph{welche} Ereignisse auftauchen. So trifft der Ausdruck $(A \vee B)$ auf Ereignisfolgen zu, die entweder ein Ereignis vom Typ A oder ein Ereignis vom Typ B enthalten. Die Folgen $c_1b_1d_1d_2$, $a_1d_1d_2c_1c_2$ und $b_1c_1a_1$ würden auf diesen Ausdruck passen. Der Ausdruck $(A \wedge B)$ hingegen trifft nur auf Ereignisfolgen wie $d_1c_1a_1b_1c_2$ zu, in denen beide Ereignistypen auftauchen, wobei die zeitliche Reihenfolge keine Rolle spielt. +\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} \todo{Ich möchte hier klarstellen, wie Muster in der abstrakten CEP-Regelsprache mit Operatoren der Ereignisalgebra definiert werden können.}