% PARTOF texte:da/tex/a_home.tex
\begin{xple}
\begin{xs}
\begin{tabbing}
\hspace*{0.7cm}\=\hspace{0.5cm}\=\hspace{0.5cm}\=\hspace{0.5cm}\=\hspace{0.5cm}\=
\hspace{0.5cm}\=\hspace{0.5cm}\=\hspace{0.5cm}\=\hspace{0.5cm}\=\hspace{0.5cm}
\=\hspace{0.5cm}\=\kill

{\xsk AGENT} msaCollector {\xsk WITH} s :Ok {\xsk DO} \\
\>{\xsk BIRTH}  self {\xsk WITH}  s :Ok {\xsk DO}                                          \\
\>\>{\xsk ROLE CUSTOMER}  wspCustomerRole {\xsk SPEC}  wspSpec {\xsk CONTEXT}  :A {\xsk RULES}       \\
\>\>\>{\xsk ON DIALOG}  ``Anmeldung'' {\xsk WITH}  conv, context {\xsk DO}                         \\
\>\>\>\>conv.dialog.Name := context.myName                      \\
\>\>\>\>conv.dialog.Passwort := context.myPassword              \\
\>\>\>\>``anmelden''                                              \\
\>\>\>{\xsk END}                                              \\
                                                                           \\
\>\>\>{\xsk ON DIALOG}  ``Taetigkeitswahl'' {\xsk WITH}  conv, context {\xsk DO}                   \\
\>\>\>\>...                                                                \\
\>\>\>\>``Neue Statistiken ansehen''                              \\
\>\>\>{\xsk END}                              \\
                                                                           \\
\>\>\>{\xsk ON DIALOG}  ``Neue Statistiken'' {\xsk WITH} conv, context {\xsk DO}                 \\
\>\>\>\>...                                                                \\
\>\>\>\>``Statistiken erstellen''                                    \\
\>\>\>{\xsk END}                                \\
                                                                           \\
\>\>\>{\xsk ON DIALOG} ``Ergebnisse'' {\xsk WITH} conv, context {\xsk DO}                       \\
\>\>\>\>context.results := conv.dialog.TabelleMitErgebnissen          \\
\>\>\>\> ``beenden''                                                  \\
\>\>\>{\xsk END}                                              \\
\>\>{\xsk END}$\_${\xsk ROLE}                                                             \\
                                                                           \\
\>\>{\xsk ROLE PERFORMER} collectorSetupRole {\xsk SPEC} csSpec {\xsk CONTEXT} :Ok {\xsk RULES}        \\
\>\>\>{\xsk ON INIT WITH} conv, context {\xsk DO}                                        \\
\>\>\>\>d = conv.newDialog(``Auftrag'')                                    \\
\>\>\>\>d                                                             \\
\>\>\>{\xsk END}                                                         \\
                                                                           \\
\>\>\>{\xsk ON DIALOG} ``Auftrag'' {\xsk REQUEST} ``ausfuehren'' {\xsk WITH} conv, context {\xsk DO}   \\
\>\>\>\>target = conv.dialog.Ziel                                 \\
\>\>\>\>agent.migrateTo(self \ target)                                      \\
\>\>\>\>agent.meetAndTalk(self \ ``WebSiteProfiler'' \ wspCustomerRole \ 30) \\
\>\>\>\>agent.migrateTo(self \ self.home())                                 \\
\>\>\>\>d                                                        \\
\>\>\>{\xsk END}                                                         \\
\>\>{\xsk END}$\_${\xsk ROLE}                                                             \\
\>{\xsk END}$\_${\xsk BIRTH}                                                              \\
{\xsk END}$\_${\xsk AGENT}
\end{tabbing}
\end{xs}
\end{xple}
