0

私の課題では、電子メール サーバーとクライアントの FSP モデルを開発する必要があります。1 人のユーザー、サーバー、およびそのメールボックスを記述する簡単なモデルをなんとか書きましたが、このシステムを 2 つのユーザーが 2 つの別個のメールボックスを持つシステムに変更するのに問題があります。

私が開発した FSP モデル:

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).
4

1 に答える 1

0

これを試してみたらどうでしょう：

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).
于 2009-11-29T15:16:22.647 に答える