From 62adc41f28fb8baaa8e1a40d8806b06069d641ed Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Thu, 29 Jun 2017 12:28:38 +0200 Subject: [PATCH] process rinus' comments chp 1-4 --- introduction.tex | 4 ++-- methods.dsl.tex | 3 ++- methods.mtask.tex | 2 +- thesis.bib | 22 ---------------------- thesis.pre | 2 +- 5 files changed, 6 insertions(+), 27 deletions(-) diff --git a/introduction.tex b/introduction.tex index 0237c79..9243d2a 100644 --- a/introduction.tex +++ b/introduction.tex @@ -74,8 +74,8 @@ Chapter~\ref{chp:dsl} discusses the pros and cons of different embedding methods to create \gls{EDSL}. Chapter~\ref{chp:mtask} shows the existing \gls{mTask}-\gls{EDSL} on which is extended upon in this dissertation. -Chapter~\ref{chp:mtaskcont} shows the extension added to the -\gls{mTask}-\gls{EDSL} that were needed to make the system function. +Chapter~\ref{chp:mtaskcont} describes the view and functionality for +the \gls{mTask}-\gls{EDSL} that were added and used in the system. Chapter~\ref{chp:arch} shows the architecture used for \gls{IoT}-devices that are a part of the new \gls{mTask}-system. It covers the client software running on the device and the server written in \gls{iTasks}. diff --git a/methods.dsl.tex b/methods.dsl.tex index b7103ef..9101293 100644 --- a/methods.dsl.tex +++ b/methods.dsl.tex @@ -93,7 +93,8 @@ implement. \section{Class based shallow embedding} The third type of embedding is called class-based shallow embedding and has the -advantages of both shallow and deep embedding. In class-based shallow embedding +advantages of both shallow and deep +embedding~\cite{svenningsson_combining_2012}. In class-based shallow embedding the language constructs are defined as type classes. This language is shown with the new method in Listing~\ref{lst:exclassshallow}. diff --git a/methods.mtask.tex b/methods.mtask.tex index 6d12848..70cca5b 100644 --- a/methods.mtask.tex +++ b/methods.mtask.tex @@ -21,7 +21,7 @@ view. The second type variable will be the type of the \gls{EDSL}-expression and the third type variable represents the role of the expression. Currently the role of the expressions form a hierarchy. The three roles and their hierarchy are shown in Listing~\ref{lst:exprhier}. This implies that everything -is a statement, only a \CI{Upd} and a \CI{Expr} are expressions. The \CI{Upd} +is a statement, only an \CI{Upd} and an \CI{Expr} are expressions. The \CI{Upd} restriction describes updatable expressions such as \gls{GPIO} pins and \glspl{SDS}. diff --git a/thesis.bib b/thesis.bib index 24b6d27..8d54ab7 100644 --- a/thesis.bib +++ b/thesis.bib @@ -7,7 +7,6 @@ author = {Da Xu, Li and He, Wu and Li, Shancang}, year = {2014}, pages = {2233--2243}, - file = {IOT industrial survey.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/EJHG7M8I/IOT industrial survey.pdf:application/pdf} } @inproceedings{svenningsson_combining_2012, @@ -19,7 +18,6 @@ author = {Svenningsson, Josef and Axelsson, Emil}, year = {2012}, pages = {21--36}, - file = {svenningsson2013combining.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/NFBGZCZT/svenningsson2013combining.pdf:application/pdf} } @article{koopman_type-safe_nodate, @@ -27,7 +25,6 @@ url = {https://tfp2016.org/papers/TFP_2016_paper_7.pdf}, urldate = {2017-02-22}, author = {Koopman, Pieter and Plasmeijer, Rinus}, - file = {TFP_2016_paper_7.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/WR3PZNTT/TFP_2016_paper_7.pdf:application/pdf} } @phdthesis{oortgiese_distributed_2017, @@ -50,7 +47,6 @@ author = {Achten, Peter and Koopman, Pieter and Plasmeijer, Rinus}, year = {2015}, pages = {187--245}, - file = {chp%3A10.1007%2F978-3-319-15940-9_5.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/ZSDSIIT7/chp%3A10.1007%2F978-3-319-15940-9_5.pdf:application/pdf} } @book{lijnse_top_2013, @@ -63,7 +59,6 @@ author = {Lijnse, Bas}, year = {2013}, note = {OCLC: 833851220}, - file = {103931.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/9KZ9I6N9/103931.pdf:application/pdf} } @inproceedings{pike_programming_2014, @@ -78,7 +73,6 @@ author = {Pike, Lee and Hickey, Patrick and Bielman, James and Elliott, Trevor and DuBuisson, Thomas and Launchbury, John}, year = {2014}, pages = {1--2}, - file = {pike-plpv14.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/MTUSHBNF/pike-plpv14.pdf:application/pdf} } @inproceedings{brus_cleanlanguage_1987, @@ -90,7 +84,6 @@ author = {Brus, T. H. and van Eekelen, Marko CJD and Van Leer, M. O. and Plasmeijer, Marinus J.}, year = {1987}, pages = {364--384}, - file = {Clean —\; A language for functional graph rewriting - chp%3A10.1007%2F3-540-18317-5_20.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/GCEPPRUJ/chp%3A10.1007%2F3-540-18317-5_20.pdf:application/pdf} } @incollection{havelund_practical_2015, @@ -106,7 +99,6 @@ editor = {Havelund, Klaus and Holzmann, Gerard and Joshi, Rajeev}, year = {2015}, note = {DOI: 10.1007/978-3-319-17524-9}, - file = {mart_paper.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/5SXR59GR/mart_paper.pdf:application/pdf} } @incollection{plasmeijer_shallow_2016, @@ -122,7 +114,6 @@ author = {Plasmeijer, Rinus and Koopman, Pieter}, year = {2016}, note = {DOI: 10.1007/978-3-319-39110-6}, - file = {chp%3A10.1007%2F978-3-319-39110-6_6.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/TJVP6FHF/chp%3A10.1007%2F978-3-319-39110-6_6.pdf:application/pdf} } @techreport{cheney_first-class_2003, @@ -132,7 +123,6 @@ institution = {Cornell University}, author = {Cheney, James and Hinze, Ralf}, year = {2003}, - file = {https\://ecommons.cornell.edu/bitstream/handle/1813/5614/?sequence=1:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/R5IFMHTP/5614.pdf:application/pdf} } @inproceedings{cheney_lightweight_2002, @@ -144,7 +134,6 @@ author = {Cheney, James and Hinze, Ralf}, year = {2002}, pages = {90--104}, - file = {HW02.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/A8Z49NK6/HW02.pdf:application/pdf} } @article{domoszlai_implementing_2011, @@ -156,7 +145,6 @@ author = {Domoszlai, Laszlo and Bruel, Eddy and Jansen, Jan Martin}, year = {2011}, pages = {76--98}, - file = {53fc40190cf22f21c2f3b28a.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/2EVHREI3/53fc40190cf22f21c2f3b28a.pdf:application/pdf} } @inproceedings{domoszlai_compiling_2012, @@ -166,7 +154,6 @@ booktitle = {Selected papers of 9th {Joint} {Conference} on {Mathematics} and {Computer} {Science} ({February} 2012)}, author = {Domoszlai, László and Plasmeijer, Rinus}, year = {2012}, - file = {117_36.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/DMQC59C4/117_36.pdf:application/pdf} } @article{plasmeijer_itasks:_2007, @@ -177,7 +164,6 @@ author = {Plasmeijer, Rinus and Achten, Peter and Koopman, Pieter}, year = {2007}, pages = {141--152}, - file = {plar2007-ICFP07-iTasks.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/N8EUZP7D/plar2007-ICFP07-iTasks.pdf:application/pdf} } @misc{noauthor_harduino_nodate, @@ -185,7 +171,6 @@ url = {https://leventerkok.github.io/hArduino/}, howpublished = {https://leventerkok.github.io/hArduino/}, urldate = {2017-05-23}, - file = {hArduino by LeventErkok:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/JUDWSMV9/hArduino.html:text/html} } @inproceedings{elliott_guilt_2015, @@ -196,7 +181,6 @@ author = {Elliott, Trevor and Pike, Lee and Winwood, Simon and Hickey, Pat and Bielman, James and Sharp, Jamey and Seidel, Eric and Launchbury, John}, year = {2015}, pages = {189--200}, - file = {5678351608ae125516ee79c6.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/KJMFUH7T/5678351608ae125516ee79c6.pdf:application/pdf} } @article{riazul_islam_internet_2015, @@ -211,7 +195,6 @@ author = {Riazul Islam, S. M. and {Daehan Kwak} and Humaun Kabir, Md and Hossain, Mahmud and {Kyung-Sup Kwak}}, year = {2015}, pages = {678--708}, - file = {07113786.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/7FNMPTHJ/07113786.pdf:application/pdf} } @article{jansen_efficient_2007, @@ -223,14 +206,12 @@ author = {Jansen, Jan Martin and Koopman, Pieter and Plasmeijer, Rinus}, year = {2007}, pages = {73}, - file = {janj2007-TFP06-EfficientInterpretationOfSAPL.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/AQDI7QVE/janj2007-TFP06-EfficientInterpretationOfSAPL.pdf:application/pdf} } @misc{noauthor_firmata/protocol:_nodate, title = {firmata/protocol: {Documentation} of the {Firmata} protocol.}, url = {https://github.com/firmata/protocol}, urldate = {2017-05-23}, - file = {firmata/protocol\: Documentation of the Firmata protocol.:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/98HIGKIS/protocol.html:text/html} } @misc{noauthor_arduino_nodate, @@ -238,7 +219,6 @@ url = {http://www.arduino.org/}, howpublished = {\url{http://www.arduino.org/}}, urldate = {2017-05-23}, - file = {Arduino - Open Source Products for Electronic Projects:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/FPPFH7D2/www.arduino.org.html:text/html} } @inproceedings{hickey_building_2014, @@ -252,7 +232,6 @@ author = {Hickey, Patrick C. and Pike, Lee and Elliott, Trevor and Bielman, James and Launchbury, John}, year = {2014}, pages = {3--9}, - file = {embedded-experience.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/7IHBGC8H/embedded-experience.pdf:application/pdf} } @inproceedings{domoszlai_parametric_2014, @@ -265,5 +244,4 @@ author = {Domoszlai, László and Lijnse, Bas and Plasmeijer, Rinus}, year = {2014}, pages = {9}, - file = {ifl2014_submission_20.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/3WI8PI5D/ifl2014_submission_20.pdf:application/pdf} } diff --git a/thesis.pre b/thesis.pre index 1a12f73..ef044a4 100644 --- a/thesis.pre +++ b/thesis.pre @@ -114,7 +114,7 @@ language=Clean } -\setcounter{secnumdepth}{4} +\setcounter{secnumdepth}{3} \title{Task Oriented Programming and the Internet of Things} \author{Mart Lubbers BSc.\\ -- 2.20.1