big update

[msc-thesis1617.git] / introduction.tex

diff --git a/introduction.tex b/introduction.tex
index 4352f6e..dd538b9 100644 (file)
--- 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