rapport mageule

This commit is contained in:
Laureηt 2021-10-20 15:34:09 +02:00
parent ec15d9e749
commit 38535f94d4
No known key found for this signature in database
GPG key ID: D88C6B294FD40994
4 changed files with 19 additions and 12 deletions

1
.gitignore vendored
View file

@ -14,5 +14,6 @@ rapport/*.out
rapport/*.synctex.gz
rapport/*.synctex\(busy\)
rapport/*.toc
rapport/*.xdv
rapport/_minted-rapport
rapport/svg-inkscape

BIN
rapport/assets/transfo.png Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 29 KiB

Binary file not shown.

View file

@ -245,7 +245,7 @@ Maintenant que nous pouvons charger plus facilement nos métamodèles dans notre
Il nous est possible de transcrire nos modèles vers d'autres formats de fichiers pour nous permettre de les utiliser dans logiciels tierces, et ainsi de les modifier/visualiser plus aisaiment.
\subsection{simplePDL $\rightarrow$ html}
\subsection{simplePDL $\rightarrow$ html (toHTML.mtl)}
Nous pouvons dans un premier temps de transformer nos modèles simplePDL selon le langage de balisage HTML.
@ -269,7 +269,7 @@ Nous pouvons dans un premier temps de transformer nos modèles simplePDL selon l
</body>
\end{htmlcode}
\subsection{simplePDL $\rightarrow$ dot}
\subsection{simplePDL $\rightarrow$ dot (toDOT.mtl)}
Nous pouvons de même transformer nos modèles simplePDL selon le langage de description de graphe DOT.
@ -285,7 +285,7 @@ digraph "developpement" {
\newpage
\subsection{petriNet $\rightarrow$ tina}
\subsection{petriNet $\rightarrow$ tina (toTINA.mtl)}
Enfin, il nous est possible de transformer nos modèles petriNet selon le language de description de réseau de Petri TINA (format .net).
@ -298,13 +298,13 @@ tr debut2fin debut*1 -> fin*1
\section{Définition de syntaxes concrètes graphiques (avec Sirius)}
Tout comme lors de la création d'éditeurs arborescent spécifiques à nos métamodèles (cf EMF), il nous est possible de créer des éditeurs graphiques spécifiques à nos métamodèles.
Tout comme lors de la création d'éditeurs arborescent spécifiques à nos métamodèles (cf EMF), il nous est possible de créer des éditeurs graphiques pour nos métamodèles. Cela nous donne accès à des outils graphiques permettant ainsi à un utilisateur non accoutumé à des outils complexes de créer et modifier des modèles (de processus ou de réseau de petri).
\subsection{simplePDL.odesign}
\begin{figure}[H]
\centering
\includegraphics[width=15cm]{simplePDL_sirius.png}
\includegraphics[width=14cm]{simplePDL_sirius.png}
\caption{Éditeur graphique d'un modèle simplePDL}
\label{simplePDL_sirius}
\end{figure}
@ -313,7 +313,7 @@ Tout comme lors de la création d'éditeurs arborescent spécifiques à nos mét
\begin{figure}[H]
\centering
\includegraphics[width=15cm]{petriNet_sirius.png}
\includegraphics[width=14cm]{petriNet_sirius.png}
\caption{Éditeur graphique d'un modèle petriNet}
\label{petriNet_sirius}
\end{figure}
@ -345,17 +345,23 @@ process Developpement {
}
\end{textcode}
\newpage
\section{Transformation de modèle à modèle (avec ATL)}
Finalement il nous est possible, tout comme lors de la transformation modèle à modèle via l'écriture d'un programme Java, de transformer un modèle selon un autre métamodèles via l'outil ATL.
\subsection{simplePDL $\rightarrow$ petriNet}
% \begin{figure}[H]
% \centering
% \includegraphics[width=15cm]{simplePDL_ATL_petriNet.png}
% \caption{Transformation d'un modèles simplePDL en modèle petriNet via ATL}
% \label{simplePDL_ATL_petriNet}
% \end{figure}
\begin{figure}[H]
\centering
\includegraphics[width=15cm]{transfo.png}
\caption{Modèle pour la transformation de modèle à modèle}
\label{transfo}
\end{figure}
Pour transformer une WorkDefinition dasn un réseau de Petri, nous créons 4 places (\_idle, \_running, \_started, \_finished) ainsi que 2 transitions (\_start, \_finish).
Pour transformer une WorkSequence, nous relions la place du predecesseur à la transition du successeur, par exemple dans le cas d'un linkType start2start nous relions un \_started à un \_start.
Pour transformer une Resource, nous créons simplement un palce avec le bon nombre de tokens. Pour ce qui est des Requests d'une WorkDefinition nous relions le \_start et le \_finish de la WorkDefinition à la ressource avec les poids correspondants.
\end{document}