From 875c9038e8a0bba1771a7e65c403711a17b960c3 Mon Sep 17 00:00:00 2001 From: Jan Philipp Timme Date: Wed, 28 Sep 2016 11:46:35 +0200 Subject: [PATCH] [TASK] Generic commit. --- Bachelorarbeit.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Bachelorarbeit.tex b/Bachelorarbeit.tex index 6f17aa8..e44484c 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 \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$. +\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 Ereignis vom Typ A auftritt, gefolgt von einer Ereignisinstanz des Typ 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 in einer Folge vorkommen dürfen. 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 vorkommen, wobei die zeitliche Reihenfolge keine Rolle spielt. +\item Den \textbf{Negationsoperator} $\neg$ erlaubt keine Vorkommnisse eines Ereignistyps in der Ereignisfolge und ergibt nur in Kombination mit dem Sequenzoperator oder unter Verwendung von Sliding Windows (siehe nachfolgenden Abschnitt über Sliding Windows) Sinn. 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{texttt within math environment?!}