X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=introduction.tex;h=d2c34b5359198d0ec65167f41dbb643b2f5ce9f0;hb=707d0d237925bed908825196a0c4f553a3eac12c;hp=a413b2fca170f2e86d3a560c130c585bf56034cd;hpb=6dca5a0ebb686cc11b0cb90f98c3d8347d0b7eeb;p=msc-thesis1617.git

diff --git a/introduction.tex b/introduction.tex
index a413b2f..d2c34b5 100644
--- a/introduction.tex
+++ b/introduction.tex
@@ -1,26 +1,28 @@
-The main goal of this thesis is to present a way to connect small \gls{IoT}
-devices with high level \gls{TOP} implementations languages. This thesis shows
-how a new frontend for the class based shallowly embedded \glspl{DSL} called
-\gls{mTask} written in \gls{Clean} can be used to compile \gls{IoT}-tasks on
-the fly and send them to the device as bytecode which is interpreted. All of
-this adheres to the \gls{TOP} philosophy where familiar concepts such as
-\glspl{SDS} and task-combinators are available to use.
-
-
-\section{Motivation}
-\todo{Show relevance of the research}
-
-\section{Research questions}
-\todo{Formulate research question}
+\section{Introduction}
+\Gls{TOP} and \gls{iTasks} have been designed to offer a high abstraction level
+through a \gls{EDSL} that describes workflows as \glspl{Task}. \gls{iTasks} has
+been shown to be useful in fields such as incident
+management~\cite{lijnse_top_2013}. However, there still lacks support for small
+devices to be added in the workflow. In principle such adapters can be written
+as \glspl{SDS}\footnote{Similar as to resources such as time are available in
+the current \gls{iTasks} implementation} but this requires a very specific
+adapter to be written for every device and functionality. Oortgiese et al.\
+lifted \gls{iTasks} from a single server model to a distributed server
+architecture~\todo{Add cite} that is also runnable on smaller devices like
+\acrshort{ARM}. However, this is limited to fairly high performance devices
+that are equipped with high speed communication lines. Devices in \gls{IoT}
+often only have \gls{LTN} communication with low bandwidth and a very limited
+amount of processing power. \glspl{mTask} will bridge this gap. It can run on
+devices as small as Arduino microcontrollers and operates via the same
+paradigms as regular \glspl{Task}. The \glspl{mTask} have access to \glspl{SDS}
+and can run small imperative programs.
 
 \section{Document structure}
 The structure of the thesis is as follows.
-Chapter~\ref{chp:introduction} contains the research questions, motivation and
-the structure of the document
-Chapter~\ref{chp:theoretical-framework} introduces the reader with all the
-terminology and techniques lying at the foundation of the study.
-Chapter~\ref{chp:methods} will describe the actual techniques used for the
-integration.
+Chapter~\ref{chp:introduction} contains the problem statement, motivation and
+the structure of the document.
+Chapter~\ref{chp:methods} describes the foundations on which the implementation
+is built together with the new techniques introduced.
 Chapter~\ref{chp:results} shows the results in the form of an example
 application accompanied with implementation.
 Chapter~\ref{chp:conclusion} concludes by answering the research question (s)