process more todos

[phd-thesis.git] / top / int.tex

diff --git a/top/int.tex b/top/int.tex
index 1a4eb01..f2ff46e 100644 (file)
--- a/top/int.tex
+++ b/top/int.tex
@@ -7,7 +7,7 @@
 
 \begin{document}
 \input{subfileprefix}
-\chapter{Integration of mTask and iTask}%
+\chapter{The integration of mTask and iTask}%
 \label{chp:integration_with_itask}
 \begin{chapterabstract}
        This chapter shows the integration of \gls{MTASK} and \gls{ITASK} by showing:
@@ -32,10 +32,11 @@ The entire system is written as a single \gls{CLEAN} specification where multipl
 Tasks can access \glspl{SDS} according to many-to-many communication and multiple clients can work on the same task.
 The diagram contains three labelled arrows that denote the integration functions between \gls{ITASK} and \gls{MTASK}.
 Devices are connected to the system using the \cleaninline{withDevice} function (see \cref{sec:withdevice}).
+There can be multiple devices connected to a single \gls{ITASK} host at the same time.
 Using \cleaninline{liftmTask}, \gls{MTASK} tasks are lifted to a device (see \cref{sec:liftmtask}).
+It is possible to execute multiple tasks on a single device.
 \glspl{SDS} from \gls{ITASK} are lowered to the \gls{MTASK} device using \cleaninline{lowerSds} (see \cref{sec:liftsds}).
 \todo[inline]{mTask device\textsubscript{n} naar hfstk 5? Uitleg over taken en sensoren en \ldots? evt.\ zelfs naar intro hmmm?}
-\todo[inline]{Benoem dat er meerdere devices kunnen zijn en meerdere tasks op één device, en verwijs naar 6.5}
 
 \begin{figure}
        \centering
@@ -238,7 +239,7 @@ The following section contains an elaborate example using all integration functi
 \newpage
 
 \section{Home automation}
-\todo[inline]{Meer uitleg over de applicatie? ADT ipv strings voor keuze?}
+\todo[inline]{Meer uitleg over de applicatie? lijst ipv strings voor keuze?}
 This section presents an interactive home automation program (\cref{lst:example_home_automation}) to illustrate the integration of the \gls{MTASK} language and the \gls{ITASK} system.
 It consists of a web interface for the user to control which tasks are executed on either one of two connected devices: an \gls{ARDUINO} UNO, connected via a serial port; and an ESP8266 based prototyping board called NodeMCU, connected via \gls{TCP}\slash{}\gls{WIFI}.
 \Crefrange{lst:example:spec1}{lst:example:spec2} show the specification for the devices.