:: SDSLensNotify p w rs = SDSNotify (p -> rs -> w -> SDSNotifyPred p)
| SDSNotifyConst (p -> w -> SDSNotifyPred p)
-sdsLens :: String (p -> ps) (SDSLensRead p r rs) (SDSLensWrite p w rs ws) (SDSLensNotify p w rs)
- (RWShared ps rs ws) -> RWShared p r w | iTask ps
+sdsLens :: String (p -> ps) (SDSLensRead p r rs) (SDSLensWrite p w rs ws)
+ (SDSLensNotify p w rs) (RWShared ps rs ws) -> RWShared p r w | iTask ps
\end{lstlisting}
\end{frame}
\begin{frame}
\frametitle{Why add IoT devices to iTasks}
- %TODO
+ \begin{block}{Why?}
+ \begin{itemize}
+ \item Execute Tasks
+ \item Monitoring
+ \item Hardware
+ \end{itemize}
+ \end{block}
+
+ \pause{}
+
+ \begin{block}{Current possibilities}
+ \begin{itemize}
+ \item Arjan's Distributed iTasks
+ \item Implement a device as an SDS
+ \pause{}
+ \item Difficult to get logic in
+ \end{itemize}
+ \end{block}
\end{frame}
\section{mTask}
\subsection{EDSLs}
\begin{frame}
\frametitle{Embedded Domain Specific Language}
- \framesubtitle{Deep Embedding}
+ \framesubtitle{What is are EDSL}
+ \begin{itemize}
+ \item DSL:\ language for a specific domain
+ \item E.g., PostScript, VimScript, HTML, \ldots
+ \pause{}
+ \item EDSL:\ Embedded DSL
+ \item Language in a language
+ \item Use the properties of the host
+ \item E.g., Ivory, \ldots\pause{} and iTasks
+ \end{itemize}
+\end{frame}
+
+\begin{frame}
+ \frametitle{Embedded Domain Specific Language (2)}
+ \framesubtitle{Embedding techniques}
+ \begin{block}{Deep}
+ \end{block}
+
+ \begin{block}{Shallow}
+ \end{block}
+
+ \begin{block}{Class based shallow}
+ \end{block}
\end{frame}
\begin{frame}