Create mises à jour

Bonsoir!
Dans le cours d'aujourd'hui on a décidé sur quel type de data il faut utiliser 
comme entrée/sortie du modeler et des propriétés à verifier.Je vous écrit tout cela qu'on a dit:

Entrées:                                        Sorties:
 
   - Model (.tsml)                                 - Sortie (pour le propriétés) dans un fichier (.txt)
                                  
   - Propriétés passés en fichier (.conf)



PS: le produit synchronisé est facultatif (en fait le professeur l'a deconseillé), donc il ne faut pas le faire.


Propriétés à réspecter (avec resultat TRUE/FALSE/NOT IMPLEMENTED):

   - Deadlock

   - Unsafe state (ex. ascenseur avec la porte ouverte pendant il est entre 2 étages)

   - Reinitialization (c.à.d. aller de les états "unsafe" à un état initial)




C'est tout. De tout façon, vu que je voudrais bien savoir qu'est ce que je dois faire, si vous voulez
on peut se voir sur skype quelque fois ou discuter par email.