final commit

[des2015.git] / marsrover / document / robot.tex

diff --git a/marsrover/document/robot.tex b/marsrover/document/robot.tex
index 052ec82..27efa44 100644 (file)
--- a/marsrover/document/robot.tex
+++ b/marsrover/document/robot.tex
@@ -167,12 +167,12 @@ mapping is described in \autoref{tab:mapping}.
 A domain-specific language (DSL) is a programming language or executable
 specification language that offers, through appropriate notations and
 abstractions, expressive power focused on, and usually restricted to, a
-particular problem domain~\cite{van2002domain}. The DSL for the robot is designed so that the
-robot is able to perform multiple missions consisting of behaviours. A mission
-is basically a set of behaviours operating following the subsumption
-architecture assisted by a special purpose behaviour that shuts down the
-runtime to make room for a new mission. The complete grammar of the DSL can be
-found in \autoref{lst:grammar}.
+particular problem domain~\cite{van2002domain}. The DSL for the robot is
+designed so that the robot is able to perform multiple missions consisting of
+behaviours. A mission is basically a set of behaviours operating following the
+subsumption architecture assisted by a special purpose behaviour that shuts
+down the runtime to make room for a new mission. The complete grammar of the
+DSL can be found in \autoref{lst:grammar}.
 
 \autoref{fig:dsl} describes the hierarchy of the grammar. A \emph{Robot} is a
 set of constants combined with a list of \emph{Behaviour}s and a list of
@@ -207,7 +207,8 @@ behaviours both want control at all times. A behaviour that wants control at
 all times can be a valid design but when there are two with that property, only
 one will be used. To avoid such situations the IDE will warn the user when this
 is the case. The full code for the code validation can be found in
-\autoref{lst:val}.
+\autoref{lst:val}. The full DSL instance used in the demonstration can be found
+in \autoref{lst:inst}.
 
 \subsection{Code Structure}
 The complete code generation code can be found in \autoref{lst:gen}. The