diff --git a/Bachelorarbeit.tex b/Bachelorarbeit.tex index 5b1c988..0377eac 100644 --- a/Bachelorarbeit.tex +++ b/Bachelorarbeit.tex @@ -550,7 +550,7 @@ Um den Anstoß eines externen Dienstes beziehungsweise das Ausführen von Progra \begin{lstlisting} callPushMessageService(msg="PKW mit ID"+eventA.pkwID+" hat ein Problem gemeldet.") \end{lstlisting} -Erweitert man nun die CEP-Regel aus Listing~\ref{lst:abstract_cep_rule_two} mit einem Dienstaufruf, der den Fahrer des PKW auf Basis der \texttt{pkwID} benachrichtigen würde, so könnte dies so aussehen: +Erweitert man nun die CEP-Regel aus Listing~\ref{lst:abstract_cep_rule_two} mit einem Dienstaufruf, der den Fahrer eines PKW auf Basis der \texttt{pkwID} benachrichtigen würde, so könnte dies so aussehen: \begin{lstlisting}[mathescape=true,label={lst:abstract_cep_rule_three},caption={CEP-Regel benachrichtigt Fahrer des PKW im Notfall}] CONDITION ($(A\ AS\ a)\rightarrow (\neg B) \rightarrow (C\ AS\ c)$) $\wedge$ a.pkwID = c.pkwID