X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=introduction.tex;h=dd538b9ec1db9e9fd001487e7a57219037d1bdf9;hb=57dab117db1fa358785cc3992053206584df0b53;hp=4352f6e594851f9c8a0eba26ac87083646f20ccc;hpb=7910fda15825b983fd6b1309b07872616cc6367b;p=msc-thesis1617.git

diff --git a/introduction.tex b/introduction.tex
index 4352f6e..dd538b9 100644
--- a/introduction.tex
+++ b/introduction.tex
@@ -1,6 +1,6 @@
-\section{Motivation}
+\section{Introduction}
 \Gls{TOP} and \gls{iTasks} have been designed to offer a high abstraction level
-through a \gls{DSL} that describes workflows as \glspl{Task}. \gls{iTasks} has
+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
@@ -17,13 +17,10 @@ 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{Problem statement}
-Therefore the problem statement is as follows:
-
 \section{Document structure}
 The structure of the thesis is as follows.
 Chapter~\ref{chp:introduction} contains the problem statement, motivation and
-the structure of the document
+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