35 lines
941 B
TeX
35 lines
941 B
TeX
\part{A Proposal for Formal Semantics of OCL 2.5}
|
|
|
|
|
|
|
|
% \input{session}
|
|
\input{OCL_core.tex}
|
|
\input{OCL_lib.tex}
|
|
\input{OCL_state.tex}
|
|
\input{OCL_tools.tex}
|
|
\input{OCL_main.tex}
|
|
|
|
|
|
\renewcommand{\isamarkupheader}[1]{\section{#1}}
|
|
\renewcommand{\isamarkupsection}[1]{\subsection{#1}}
|
|
\renewcommand{\isamarkupsubsection}[1]{\subsubsection{#1}}
|
|
\renewcommand{\isamarkupsubsubsection}[1]{\paragraph{#1}}
|
|
\renewcommand{\isamarkupsect}[1]{\subsection{#1}}
|
|
\renewcommand{\isamarkupsubsect}[1]{\paragraph{#1}}
|
|
\renewcommand{\isamarkupsubsubsect}[1]{\paragraph{#1}}
|
|
\part{Examples}
|
|
\chapter{The Employee Analysis Model}
|
|
\label{ex:employee-analysis}
|
|
\input{Employee_AnalysisModel_UMLPart.tex}
|
|
\input{Employee_AnalysisModel_OCLPart.tex}
|
|
\chapter{The Employee Design Model}
|
|
\label{ex:employee-design}
|
|
\input{Employee_DesignModel_UMLPart.tex}
|
|
\input{Employee_DesignModel_OCLPart.tex}
|
|
|
|
|
|
%%% Local Variables:
|
|
%%% mode: latex
|
|
%%% TeX-master: "root"
|
|
%%% End:
|