12、开放系统中涉及人类客户端的需求建模与分析

开放系统中涉及人类客户端的需求建模与分析

1. 引言

在开发涉及人类客户端的开放系统时,研究可能的结果是非常有必要的。本文将探讨一种针对此类系统的需求建模方法,该方法允许在开发早期对系统规范进行表示和推理,还能分析某些不规则的客户端行为是否会导致违反需求的情况。本文的主要贡献如下:
1. 提出了一个系统描述框架,其中客户端行为(Dc)和策略规则(Dp)被明确分离。
2. 将描述编码在 Maude 中,从而实现自动化分析。

2. 引导系统:一个激励示例

引导系统是一个用户导航系统,用于帮助客户端访问特定资源。客户端到达系统后,首先使用身份证检查是否已注册,然后在等候室等待,直到收到允许其独占使用资源的呼叫。系统会跟踪资源使用状态信息和客户端等候队列。当资源空闲时,系统会呼叫等候室中的客户端,客户端随后进入工作室访问资源。

除了上述常规场景,还可能出现许多其他情况,例如:
- 客户端可能在未被呼叫的情况下尝试进入工作室。
- 客户端可能在等候室四处走动,阻碍他人进入工作室。
- 某些客户端在被呼叫时可能不在场,根本不使用资源。

引导系统可以通过某些先进设备检测一些异常情况,例如为每个人配备可通过无线通信网络感应的远程徽章,以监控所有客户端的位置。但这会增加系统成本。

另一种方法是使用特定的运行策略,对客户端行为施加一些约束。在现实世界中,系统附近会有一名工作人员定期检查,确保所有客户端行为正常。例如,工作人员会告诉在等候室四处走动的客户端“请坐下等待呼叫”。由于假设客户端大多遵循常规场景,因此系统可以在不过度设计的情况下进行定义,客户端行为的隐含假设以策略规则的形式明确表

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值