diff --git a/rapport/rapport.pdf b/rapport/rapport.pdf index 5a888ba..14ec419 100644 Binary files a/rapport/rapport.pdf and b/rapport/rapport.pdf differ diff --git a/rapport/rapport.tex b/rapport/rapport.tex index 775c7f2..bab4d6f 100644 --- a/rapport/rapport.tex +++ b/rapport/rapport.tex @@ -174,7 +174,7 @@ inv notReflexive: self.predecessor <> self.successor \end{textcode} 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} context Resource, Request 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)} -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)} @@ -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 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