Synchronisation inter-sites<\/strong><\/p>\n C’est une synchronisation asynchrone. Il n’est pas n\u00e9cessaire d’avoir le retour du premier message pour envoyer le second message.<\/p>\n Synchronisation Local<\/strong><\/p>\n C’est une synchronisation synchrone caract\u00e9ris\u00e9 par une synchronisation sur l’API. On ne peut envoyer un message sans avoir le retour du premier message. Lors de la primitive de r\u00e9ception on distingue plusieurs cas:<\/p>\n Activation<\/strong><\/p>\n L’activation peux se faire de 2 mani\u00e8res diff\u00e9rente:<\/p>\n \u00c9change de donn\u00e9es<\/strong><\/p>\n Le mode message permet de r\u00e9aliser une op\u00e9ration d’affectation \u00e0 distance d’une variable en consid\u00e9rant le s\u00e9mantique suivante: <\/p>\n L’objectif est de mod\u00e9liser de mani\u00e8re s\u00e9quentielle le comportement d’un site du syst\u00e8me distribu\u00e9.<\/p>\n les \u00c9tats<\/strong><\/p>\n L’\u00e9tat repr\u00e9sente un point d’avancement, il est d\u00e9fini par un ensemble significatif de varibles locales de chaque processus.Un \u00e9tat se compose de : Les transitions: la garde<\/strong><\/p>\n Les transitions se d\u00e9compose en 2 mentions:<\/p>\n Les messages<\/strong> s\u00e9mantique en cas d’attente<\/strong> Propri\u00e9t\u00e9 de synchronisation Synchronisation inter-sites C’est une synchronisation asynchrone. Il n’est pas n\u00e9cessaire d’avoir le retour du premier message pour envoyer le second message. Synchronisation Local C’est une synchronisation synchrone caract\u00e9ris\u00e9 par une synchronisation sur l’API. On ne peut envoyer un message sans avoir le retour du premier message. Lors de la primitive d’envoi on […]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[14],"tags":[],"class_list":["post-151","post","type-post","status-publish","format-standard","hentry","category-smb111-systemes-et-applications-repartis-co"],"blocksy_meta":[],"_links":{"self":[{"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=\/wp\/v2\/posts\/151","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=151"}],"version-history":[{"count":0,"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=\/wp\/v2\/posts\/151\/revisions"}],"wp:attachment":[{"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=151"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=151"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=151"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\n
Lors de la primitive d’envoi on distingue plusieurs cas:<\/p>\n\n
\n
\n
\n
Mod\u00e9lisation \u00e0 l’aide d’automates<\/h2>\n
\n– un identifiant
\n– un commentaire
\n– un pr\u00e9dicat sur l\u00e9tat de certaines variables
\n
les \u00e9tats sont repr\u00e9sent\u00e9 par des cercles<\/p>\nimage<\/h2>\n
\n
\n
Les transitions sont repr\u00e9sent\u00e9 par des arcs
\n
La garde est ouverte si la transition est valid\u00e9.<\/li>\n<\/ol>\n
\n
notation d’un envoi : destinataire ! message<\/em>
\n
notation d’une r\u00e9ception : source ? message<\/em>
\n
ex P1 envoi \u00e0 P2 le message M1: P2 ! M1<\/em>
\n
ex: P1 re\u00e7oit le message M2 de P2 : P2 ? M2<\/em><\/p>\n
\n
Si aune garde n’est franchissable mais qu’il existe des gardes avec condition de r\u00e9ception pouvant \u00eatre satisfaite par une \u00e9mission d’un site distant alors il faut attendre que l’une d’elles soit satisfaite
\n
Si aucune garde n’est franchissable et qu’elles sont toutes bool\u00e9ennes alors on sait que le programme comporte une erreur.
\n
Si aucune garde ne pourra plus jamais \u00eatre franchie (certaines sont attentes de message) alors le programme est en interblocage.<\/p>\n","protected":false},"excerpt":{"rendered":"