[TASK] Generic commit.

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.}