ENSEEIHT/projet-mini-genie-logiciel-systeme
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

correction rapport

Browse source
This commit is contained in:
Laureηt 2021-10-20 16:28:15 +02:00
parent afe0660de8
commit 6354238864
No known key found for this signature in database
GPG key ID: D88C6B294FD40994
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

BIN
rapport/rapport.pdf
View file

Binary file not shown.

6
rapport/rapport.tex
View file

@ -174,7 +174,7 @@ inv notReflexive: self.predecessor <> self.successor
\end{textcode} \end{textcode}
Nous avons aussi ajouté des contraintes sur les quantités des Resource et Request. Nous avons aussi ajouté des contraintes sur les quantités des Resource et Request.
En effet, cela n’a pas de sens d’savoir des Resource ou des Request avec des quantités négatives. De plus, une Request ne peut pas être plus grande que le nombre initial de ressources. (Le nombre initial de ressources est le maximum puisqu’il n’y a pas de création.) En effet, cela n’a pas de sens d’avoir des Resources ou des Requests avec des quantités négatives. De plus, une Request ne peut pas être plus grande que le nombre initial de ressources. (Le nombre initial de ressources est le maximum puisqu’il n’y a pas de création.)
\begin{textcode} \begin{textcode}
context Resource, Request context Resource, Request
inv negativeQuantity: self.quantity > 0 inv negativeQuantity: self.quantity > 0
@ -239,7 +239,7 @@ Ces plugins seront déployés dans une Eclipse Application séparée de notre en
\subsection{simplePDL $\rightarrow$ petriNet (avec Java)} \subsection{simplePDL $\rightarrow$ petriNet (avec Java)}
Maintenant que nous pouvons charger plus facilement nos métamodèles dans notre environnement de travail, il nous est aussi possible d'importer nos modèles dans un programme Java (grâce aux modules générés automatiquements par EMF). Ainsi en 300 lignes de code, nous pouvons convertir directement un modèles simplePDL en un modèle petriNet. Maintenant que nous pouvons charger plus facilement nos métamodèles dans notre environnement de travail, il nous est aussi possible d'importer nos modèles dans un programme Java (grâce aux modules générés automatiquements par EMF). Ainsi en 200 lignes de code, nous pouvons convertir directement un modèles simplePDL en un modèle petriNet.
\section{Transformation de modèle à texte (avec Acceleo)} \section{Transformation de modèle à texte (avec Acceleo)}
@ -362,7 +362,7 @@ Finalement il nous est possible, tout comme lors de la transformation modèle à
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 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 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. Pour transformer une Resource, nous créons simplement une place 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.
\newpage \newpage