


\documentclass[]{llncs}%

\usepackage{a4wide}
\usepackage{amsmath}
\usepackage{amssymb}

\newcommand{\iprf}[1]{\,\, $\iota$\ref{#1}\,$\pi$\pageref{#1}}
\newcommand{\ir}[1]{\,\, $\iota$\,\ref{#1}\,\,}
\newcommand{\ipr}[1]{\,\, $\iota$\ref{#1}}
         
\newcommand{\comm}[1]{\sort{ch}$[\{$#1$\}]$}
\newcommand{\commq}[1]{\comm{#1}\,\brcolor{{?}}\,}
\newcommand{\comms}[1]{\comm{#1}\,\brcolor{{!}}\,}
 
\usepackage{epsfig}

\newcommand{\dbcomment}{\mbox{--\,-- }}
\usepackage{rslenv}
\renewcommand{\detchoice}{\mbox{$\lceil\!\rceil\!\!\!\!\lfloor\!\rfloor$}}
\renewcommand{\nondetchoice}{\mbox{$\lceil\!\rceil$}}
  
\usepackage{multicol}
\usepackage{new-cacm}

\newcommand{\citeall}{\cite{TheSEBook1wo,TheSEBook2wo,TheSEBook3wo}}
\newcommand{\citesei}{\cite{TheSEBook1wo}}
\newcommand{\citeseii}{\cite{TheSEBook2wo}}
\newcommand{\citeifm}{\cite{ifmall}}
\newcommand{\citealloy}{\cite{alloy}}
\newcommand{\citeasm}{\cite{losl:2007:asm}}
\newcommand{\citeb}{\cite{JRAbrial:TheBBooks}}
\newcommand{\citetlap}{\cite{Lamport-TLA+02}}%
\newcommand{\citecafeobj}{\cite{futatsugi2000a}}
\newcommand{\citecasl}{\cite{CoFI:2004:CASL-RM}}
\newcommand{\citevdm}{\cite{e:db:Bj78bwo,e:db:Bj82b}}
\newcommand{\citez}{\cite{m:z:jd+jcppw96}}
\newcommand{\citersl}{\cite{RSL}}
\newcommand{\citeraise}{\cite{RaiseMethod}}
\newcommand{\citepetrinets}{\cite{m:petri:wr09}}
\newcommand{\citescs}{\cite{Harel87}}
\newcommand{\citemscs}{\cite{MSCall}}
\newcommand{\citedc}{\cite{zcc+mrh2002}}
\newcommand{\citecsp}{\cite{Hoare85+2004}}

\renewcommand{\subparagraph}[1]{\noindent \sort{--- #1}}

\newcounter{domsci}

\newcommand{\isref}[1]{{is\_#1}\,[pg\,\pageref{dal:#1}]}
\newcommand{\isrefii}[2]{#2\,[pg\,\pageref{dal:#1}]}
\newcommand{\bcacm}{}%\cbstart[5pt]}
\newcommand{\ecacm}{}%\cbend}
\newcommand{\nybcacm}{}%\cbstart[5pt]}
\newcommand{\nyecacm}{}%\cbend}
\newcommand{\cacm}[1]{\bcacm{#1}\cbend}%%%%#1}%%%%
\newcommand{\nycacm}[1]{\nybcacm{#1}\nyecacm}%%%%#1}%%%%
\renewcommand{\cacm}[1]{#1}%%%%#1}%%%%
\renewcommand{\nycacm}[1]{#1}%%%%#1}%%%
\newcommand{\bpmlp}{\cbstart[2pt]}
\newcommand{\epmlp}{\cbend}
\newcommand{\pmlp}[1]{#1}%{\bpmlp{#1}\epmlp}

\newcommand{\bdomo}{}%{\cbstart[4pt]}
\newcommand{\edomo}{}%{\cbend}
\newcommand{\bedomo}[1]{#1}%{\bpmlp{#1}\epmlp}

\newcommand{\nbacm}[2]{%
\begin{dbsche}\rm\label{skema:#1}\rm%
    \noindent \textsf{\textbf{#1}} #2
  \end{dbsche}}

\renewcommand{\nbacm}{\description}

\newcommand{\eacm}{}%{\vspace*{0,5mm}} 

\date{\bmcolor{\today}}

\pagestyle{myheadings}

\newcommand{\acmorbook}[2]{#1}

\newcommand{\bookoracm}[2]{#2}

\setcounter{secnumdepth}{9}
\setcounter{tocdepth}{9}

\newcommand{\nbbbbb}[1]{\section{\normalsize#1}}
\newcommand{\bbbbb}[1]{\section{\normalsize#1}}
\newcommand{\nbbbb}[1]{\subsection{\normalsize#1}}
\newcommand{\bbbb}[1]{\subsection{\normalsize#1}}
\newcommand{\nbbb}[1]{\subsubsection{\normalsize#1.}}
\newcommand{\bbb}[1]{\subsubsection{\normalsize#1.}}
\newcommand{\nbb}[1]{\paragraph{\normalsize\sort{#1}}}
\newcommand{\bb}[1]{\paragraph{\normalsize\sort{#1}}}

\newtheorem{cue}[theorem]{{\sc\bf Prompt}}
\newtheorem{onto}[theorem]{{\sc\bf Ontological Choice}}
\newtheorem{hili}[theorem]{{\sc\bf High Light}}

\title{Domain Analysis \& Description\thanks{Invited tutorial for
    \textsl{ICTAC 2025}, Marrakesh, Morocco, 24-28 November, 2025}} 
\author{Dines Bj{\o}rner}

           \institute{Technical University of Denmark, 
             DTU Compute.\\
             {Fredsvej 11}, {Holte} {2840}, {Denmark.}
             bjorner@gmail.com,  \today}

\newcommand{\vref}{\ref}
\newcommand{\amol}{\texttt{RSL}}

\newcommand{\brcolor}{}
\newcommand{\bbcolor}{}
\newcommand{\bmcolor}{}
\newcommand{\bgcolor}{}
\newcommand{\lilacolor}{} 

\newcounter{sei}
\newcommand{\setei}{\setcounter{enumi}{\value{sei}}}
\newcommand{\savei}{\setcounter{sei}{\value{enumi}}}
\renewcommand{\nycacm}[1]{}

\begin{document}
 
\maketitle

\centerline{\today}

\input{DomainModeling}
 
\tableofcontents

\end{document}
 
\setcounter{secnumdepth}{9}
\setcounter{tocdepth}{9}
 