From e90bda77f8e4bff1bc2827a359669be73c33ba5b Mon Sep 17 00:00:00 2001 From: Jan Philipp Timme Date: Wed, 12 Oct 2016 15:02:07 +0200 Subject: [PATCH] [TASK] Generic commit. --- Bachelorarbeit.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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