rapport: ajout sections OCL

This commit is contained in:
Laureηt 2021-10-15 09:31:42 +02:00
parent 0435787d2a
commit e94ed8a150
No known key found for this signature in database
GPG key ID: D88C6B294FD40994
2 changed files with 8 additions and 2 deletions

Binary file not shown.

View file

@ -133,14 +133,20 @@ Elles assurent certains points de cohérence et permettent d'éviter les ambigu
\subsection{simplePDL.ocl}
Pour le modèle SimplePDL, nous obligeons lutilisateur à entrer des noms valides pour le Process, les WorkDefinition et les Resource.
Pour les modèles SimplePDL, nous obligeons lutilisateur à entrer des noms valides pour le Process, les WorkDefinition et les Resource.
Les noms doivent aussi être unique pour les WorkDefinition et les Ressource pour améliorer la clarté du modèle.
Nous avons aussi contraint lutilisateur à utiliser les WorkSequence sur des WorkDefinition appartenant au même Process.
Pour éviter des non-sens, les WorkSequence ne peuvent pas non plus avoir le même successeur et prédécesseur.
Nous avons aussi ajouté des contraintes sur les quantités des Resource et Request.
En effet, cela na pas de sens davoir 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 puisquil ny a pas de création.)
\subsection{petriNet.ocl}
Pour le modèle PetriNet, ...
Les modèles PetriNet étant relativement similaireq aux modèles SimplePDL, nous avons établi des contraintes OCL similaires.
Nous obligeons le Network et les Node à avoir des noms uniques mais également sensés.
Le nombre de jetons des Place et le poids des Arc doivent évidemment être positifs.
\section{Eclipse Modeling Framework (EMF)}