Modèle FSP du serveur EMAIL

Question

Pour ma mission, j'ai besoin de développer un modèle FSP pour le serveur de messagerie et le client. Je parviens à écrire un modèle simple qui décrit un utilisateur, un serveur et sa boîte aux lettres, mais J'ai des problèmes pour changer ce système en un qui a deux utilisateurs avec deux boîtes aux lettres séparées.

Le modèle FSP que j'ai développé:

USER = (read->USER | write->USER). 
SERVER = (read->get->SERVER | write->put->SERVER). 
MAILBOX(N=0) = MAILBOX[N], 
MAILBOX[i:0..3] = (when (i<3) write->put->MAILBOX[i+1] 
| when (i>0) read->get->MAILBOX[i-1]). 
||EMAIL = (USER || SERVER || MAILBOX). 

Answer 1

Qu'en est-il si u essayez ceci:

USERX = (read->USERX | write->USERX). 
USERY = (read->USERY | write->USERY). 


MAILBOX(N=3) = X[N], 
X[i:0..N] = (when (i<3) write->put->X[i+1] 
| when (i>0) read->get->X[i-1]). 

MAILBOX1(N=3) = Y[N], 
Y[j:0..N] = (when (j<3) write->put->Y[j+1] 
| when (j>0) read->get->Y[j-1]). 



SERVER = (read->get->SERVER | write->put->SERVER). 

||EMAIL = (USERX || USERY || SERVER || MAILBOX || MAILBOX1).