From: Mart Lubbers Date: Tue, 28 Feb 2017 14:23:10 +0000 (+0100) Subject: remove bloat X-Git-Tag: hand-in~148 X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=7910fda15825b983fd6b1309b07872616cc6367b;p=msc-thesis1617.git remove bloat --- diff --git a/clean.sty b/clean.sty deleted file mode 100644 index cc17f09..0000000 --- a/clean.sty +++ /dev/null @@ -1,70 +0,0 @@ -\usepackage{listings} - -\lstdefinelanguage{Clean}{% - alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890}, - alsoletter={~!@\#$\%^\&*-+=?<>:|\\.}, - morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive}, - sensitive=true, - morecomment=[l]{//}, - morecomment=[n]{/*}{*/}, - morestring=[b]", - morestring=[b]', - emptylines=1, - basicstyle=\small, - identifierstyle=\small\ttfamily, - commentstyle=\itshape, - keywordstyle=\bfseries, - stringstyle=\ttfamily, - numbers=none, - showstringspaces=false, - basewidth=0.45em, - columns=[c]fixed, - keepspaces=true, - breaklines=false, - tabsize=4, - texcl=true, - escapeinside={(\#}{\#)}, - literate=% - % Basic Clean constructs - {\\}{{$\lambda\:$}}1 - {A.}{{$\forall\;\,$}}1 - {E.}{{$\exists\;\,$}}1 - {>}{{$>$}}1 - {<}{{$<$}}1 - {<=}{{$\leq$}}1 - {>=}{{$\geq$}}1 - {<>}{{$\neq$}}1 - {->}{{$\rightarrow$}}2 - {<-}{{$\leftarrow$}}1 - {=}{{$=$}}1 - {~}{{$\sim$}}1 - {\#}{{$\sharp$}}1 - {\{|}{{$\{\!|\!$}}1 - {|\}}{{$\!|\!\}$}}1 - {:=}{{$:=$}}2 - {==}{{$==$}}2 - {++}{{$+\!\!+$}}2 - {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2 - {:==}{{$:==$}}3 - {\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3 - % - % Basic iTask constructs - {>||>}{{$\triangleright\triangleright$}}2 - {>>=}{{\texttt{>>=}}}3 - {>>|}{{\texttt{>>|}}}3 - {?>>}{{\texttt{?>>}}}3 - {!>>}{{\texttt{!>>}}}3 - {-||-}{{\texttt{-||-}}}4 - {.||.}{{\texttt{.||.}}}4 - {.&&.}{{\texttt{.\&\&.}}}4 -} - -\newcommand{\CleanInline}[1]{\lstinline[language=Clean]¦#1¦} -\newcommand{\CI}[1]{\CleanInline{#1}} - -\lstdefinestyle{numbers}{numbers=left, stepnumber=1, numberstyle=\tiny, numbersep=5pt} - -\lstnewenvironment{CleanCode}{\lstset{language=Clean,identifierstyle=\ttfamily}}{} -\lstnewenvironment{CleanCodeN}{\lstset{language=Clean,style=numbers}}{} -\lstnewenvironment{CleanCodeB}{\lstset{language=Clean,frame=single}}{} -\lstnewenvironment{CleanCodeNB}{\lstset{language=Clean,style=numbers,frame=single}}{} diff --git a/introduction.tex b/introduction.tex index 1b184ee..4352f6e 100644 --- a/introduction.tex +++ b/introduction.tex @@ -5,28 +5,27 @@ 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 system} 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 LPLB 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. +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 LPLB 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{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 -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: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) diff --git a/methods.tex b/methods.tex index 9726a2f..a4c9138 100644 --- a/methods.tex +++ b/methods.tex @@ -1,4 +1,16 @@ +\section{\acrlong{TOP}} +\gls{TOP} is a recent new programming paradigm implemented as +\gls{iTasks}~\cite{achten_introduction_2015} in +the pure lazy functional language \gls{Clean} + +\todo{Main terms} +The lazy functional programming language based on graph rewriting +\gls{Clean}~\cite{brus_cleanlanguage_1987} + +\section{\acrlong{DSL}s} + \section{Devices} + \subsection{Specification} \subsection{Communication} diff --git a/thesis.tex b/thesis.tex index 904c7e7..b447d2f 100644 --- a/thesis.tex +++ b/thesis.tex @@ -56,9 +56,6 @@ \chapter{Introduction}\label{chp:introduction} \input{introduction.tex} -\chapter{Theoretical Framework}\label{chp:theoretical-framework} -\input{theoretical-framework.tex} - \chapter{Methods}\label{chp:methods} \input{methods.tex}