diff --git a/.gitignore b/.gitignore index 09b9179..8e555c4 100644 --- a/.gitignore +++ b/.gitignore @@ -14,5 +14,6 @@ rapport/*.out rapport/*.synctex.gz rapport/*.synctex\(busy\) rapport/*.toc +rapport/*.xdv rapport/_minted-rapport rapport/svg-inkscape diff --git a/rapport/assets/transfo.png b/rapport/assets/transfo.png new file mode 100644 index 0000000..55c19c9 Binary files /dev/null and b/rapport/assets/transfo.png differ diff --git a/rapport/rapport.pdf b/rapport/rapport.pdf index c5e9ca5..d82fd92 100644 Binary files a/rapport/rapport.pdf and b/rapport/rapport.pdf differ diff --git a/rapport/rapport.tex b/rapport/rapport.tex index b85b358..278134c 100644 --- a/rapport/rapport.tex +++ b/rapport/rapport.tex @@ -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 \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}