问题描述
我正在调查一些过去的并发工作台分配，但我不知道如何做这个问题。
在代理模式中，服务器在代理端注册他们的服务，并通过方法接口将他们的服务提供给客户端。现在当客户端想要访问服务时，它通过代理发送请求消息，代理将请求转发到合适的服务器。客户端代理和服务器端代理用于维护透明度，同时在客户端和服务器端对参数进行编组和解组。
- 每当客户拨打电话时，最终都会得到答复。
- 只要有客户的答复，客户就会事先提出要求。
- 在调用之后，客户端代理组件将立即生成应答或进一步的请求。
- 有可能来自客户端的调用，然后是客户端代理生成的调用，然后是服务器通过代理的回复，最后是客户端代理的响应。这一系列动作可以无限重复。
- 有可能来自客户端的呼叫，然后是来自客户端代理的应答。这一系列动作可以无限重复。
- 每当服务器端代理进行调用时，最终都会收到来自服务器的回复。
- 只要有来自服务器端代理的回复，就会事先转发代理。
（一）。绘制代理模式的模型。
(b)。在 ccs 中实现上述 broker Pattern Model 并将其所有规范属性写入 mu calculus，然后使用 CWB-NC 模型检查器工具验证这些规范属性中的每一个。
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）