diff options
| -rw-r--r-- | ordered-fact-type.png | bin | 19330 -> 0 bytes | |||
| -rw-r--r-- | report.tex | 65 | ||||
| -rw-r--r-- | sequence-type.png | bin | 141996 -> 0 bytes |
3 files changed, 63 insertions, 2 deletions
diff --git a/ordered-fact-type.png b/ordered-fact-type.png Binary files differdeleted file mode 100644 index 238065e..0000000 --- a/ordered-fact-type.png +++ /dev/null @@ -27,6 +27,12 @@ \newcommand\term[1]{\text{`\texttt{#1}'}} \newcommand\termsf[1]{\text{`\textsf{#1}'}} +\usepackage{tikz} +\usepackage{tkz-orm} +\colorlet{constraintcolor}{black} +\colorlet{ormconstraintcolor}{black} +\tikzset{role name/.append style={color=black}} + \usepackage{amssymb} \let\emptyset\varnothing @@ -73,8 +79,12 @@ } \makeatother +\def\normalcommas{\catcode`\,=11} +\def\newlinecommas{\catcode`\,=13} + \title{Een evaluatie van informatiesystementheorie} \author{Camil Staps} +\date{15 januari 2016} \begin{document} @@ -114,7 +124,47 @@ Dit geeft schema $\Sigma=\langle\mathcal I,\mathcal R\rangle$ in \autoref{fig:se \begin{figure}[h] \centering - \includegraphics[width=\maxwidth{.8\linewidth}]{sequence-type} + \catcode`\,=12 + \begin{tikzpicture}[orm-spacious] + \entity[sequence=Serie] (aflevering) at (0,0) {Aflevering}; + \value (titel) at (-4,0) {Titel}; + + \binary[above right=1em of titel,xshift=2em, + label=st,unique=1,unique=2] (st) {}; + \node[role name,anchor=south east] at (st.west) {van$_s$}; + \node[role name,anchor=south west] at (st.east) {heet$_s$}; + + \plays (titel) to (st.west); + \plays[mandatory] (aflevering-sequence) to (st.east); + + \binary[below right=1em of titel,xshift=2em, + label=below:at,unique=1,unique=2] (at) {}; + \node[role name,anchor=north east] at (at.west) {van$_a$}; + \node[role name,anchor=north west] at (at.east) {heet$_a$}; + + \plays (titel) to (at.west); + \plays[mandatory] (aflevering) to (at.east); + + \draw (at.one north) to node[constraint=xor] {} (st.one south); + + \entity[minimum size=4em] (elem-entity) at (2.4,0) {$\quad\enspace\in$}; + + \vroles[anchor=one split,index={$\in^e$},index={2:$\in^s$}] + (elem) at (2.2,0) {}; + \draw[uniqueness bar] ($(elem.one)+(0.1,0)$) to ($(elem.two)+(0.1,0)$); + \plays[mandatory] (aflevering) to (elem.one north); + \plays[mandatory] (aflevering-sequence) to (elem.two north); + + \value (I) at (5.2,0) {I}; + + \binary[unique=1,label=@] (index) at (4,0) {}; + \node[role name,anchor=north,yshift=-1pt] at (index.one south) {@$^s$}; + \node[role name,anchor=north] at (index.two south) {@$^i$}; + + \plays[mandatory] (elem-entity) to (index.west); + \plays[mandatory] (I) to (index.east); + \end{tikzpicture} + \catcode`\,=13 \caption{Een sequentietype met extra constraints} \label{fig:sequence-type} \end{figure} @@ -317,7 +367,18 @@ $$\forall_{p\in\mathcal P}\exists!_{f\in\mathcal F}\exists!_{k\in\mathbb N^+}[f( \begin{figure} \centering - \includegraphics[width=\maxwidth{.35\linewidth}]{ordered-fact-type} + \catcode`\,=12 + \begin{tikzpicture}[orm-spacious] + \ternary[text width=3em,minimum height=1.5em] (fact) + {\nodepart[align=center]{one} $1: p_1$ + \nodepart[align=center]{two} $2: p_2$ + \nodepart[align=center]{three} $3: p_3$}; + + \plays (fact.one west) to ($(fact.one west)-(1,0)$); + \plays (fact.two south) to ($(fact.two south)-(0,1)$); + \plays (fact.three east) to ($(fact.three east)+(1,0)$); + \end{tikzpicture} + \catcode`\,=13 \caption{De representatie van een geordend feittype $\{(1,p_1),(2,p_2),(3,p_3)\}$. De volgorde van de predicaten in de grafische weergave is irrelevant.} \label{fig:ordered-fact-type} \end{figure} diff --git a/sequence-type.png b/sequence-type.png Binary files differdeleted file mode 100644 index 50d3cda..0000000 --- a/sequence-type.png +++ /dev/null |
