From 90bb70e43082ec5497e7a005c63f2e741649d776 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Mon, 14 Jun 2021 16:24:18 +1000
Subject: [PATCH] Add structure for introduction

---
 chapters/1_introduction.tex | 52 +++++++++++++++++++++++++++++++++++++
 dekker_preamble.tex         | 14 +++++-----
 2 files changed, 60 insertions(+), 6 deletions(-)

diff --git a/chapters/1_introduction.tex b/chapters/1_introduction.tex
index 6a4b48f..4df7f71 100644
--- a/chapters/1_introduction.tex
+++ b/chapters/1_introduction.tex
@@ -2,6 +2,58 @@
 \chapter{Introduction}\label{ch:introduction}
 %************************************************
 
+\paragraph{Overview preamble}
+
+\jip{
+\begin{itemize}
+	\item Topic and significance
+	\item Broad known (current literature) and problem - broad 
+	\item Major aim of the thesis 
+\end{itemize}
+}
+
+\section{Motivation}
+
+\jip{
+\begin{itemize}
+	\item Known (self - current literature)
+	\item Problem statement specific - scope of your study
+\end{itemize}
+}
+
+
+\section{Aims /RQs /ROs}
+
+\jip{
+\begin{itemize}
+	\item (description and Method?? )
+\end{itemize}
+}
+
+\section{Contributions}
+
+\jip{overview (details in the conclusion)(publications?)}
+
+\section{Organisation of the Thesis}
+
+This thesis is partitioned into the following chapters.
+
+Following this introductory chapter, \emph{\cref{ch:background}} presents the background information \ldots{}.
+
+\emph{\Cref{ch:rewriting}}
+
+\emph{\Cref{ch:half-reif}}
+
+\emph{\Cref{ch:incremental}}
+
+Finally, \emph{\Cref{ch:conclusions}} is the concluding chapter of the thesis.
+It reiterates the discoveries and contributions of this research to theory and practice, comments on the scope and limitations of the presented system, and presents further avenues for research in this area.
+
+\jip{ Chapter overview – including main focus, (and method??)}
+
+
+\par\noindent\rule{\textwidth}{0.4pt}
+
 \noindent{}High-level \cmls{}, like \minizinc{}, were originally designed as a convenient input language for \gls{cp} solvers \autocite{marriott-1998-clp}.
 A user would write a model consisting of a few loops or comprehensions; given a data file for the parameters, this would be rewritten into a relatively small set of constraints which would be fed whole into the solver.
 The existing process for translating \minizinc\ into solver-specific constraints is a somewhat ad-hoc, (mostly) single-pass, recursive unrolling procedure, and many aspects (such as call overloading) are resolved dynamically.
diff --git a/dekker_preamble.tex b/dekker_preamble.tex
index f58da3b..e924164 100644
--- a/dekker_preamble.tex
+++ b/dekker_preamble.tex
@@ -5,7 +5,7 @@
 a4paper,
 listof=totoc,
 toc=bib,
-]{scrbook}
+]{scrreprt}
 
 \title{Preamble of A Modern Architecture for High-Level Constraint Modelling Languages}
 \author{Jip J. Dekker}
@@ -24,19 +24,21 @@ toc=bib,
 
 \begin{document}
 
-\frontmatter{}
+% \frontmatter{}
 
 \include{chapters/0_abstract}
 
-\mainmatter{}
+% \mainmatter{}
 
 \include{chapters/1_introduction}
 
-\chapter{Rewriting Constraint Models}
+\chapter{Background}\label{ch:background}
+\input{chapters/2_background_preamble}
+\chapter{Rewriting Constraint Modelling Languages}\label{ch:rewriting}
 \input{chapters/3_rewriting_preamble}
-\chapter{Half Reification}
+\chapter{Half Reification}\label{ch:half-reif}
 \input{chapters/4_half_reif_preamble}
-\chapter{Incremental Processing}
+\chapter{Incremental Processing}\label{ch:incremental}
 \input{chapters/5_incremental_preamble}
 
 \include{chapters/6_conclusions}