29、行为可视化与工业应用案例解析

行为可视化与工业应用案例解析

1. 行为可视化中的系统特定交互图形

在行为可视化领域，系统特定交互图形是一种重要的工具，它能以直观的方式展示协议系统的当前状态。以在 BRITNeY 中使用基于 SceneBeans 框架的可视化插件创建的图形为例，该图形无需用户具备 CP - nets 知识就能解读。

图形中，左边的计算机图标代表发送者，右边的代表接收者，中间的云代表网络。发送者计算机上方的文本显示待传输的字符串，对应“PacketsToSend”位置的标记；接收者计算机上方的文本显示接收到的字符串，对应“DataReceived”位置的标记。发送者和接收者上方的两个计数器分别表示“NextSend”和“NextRec”位置上令牌的值。网络云边缘的四个数字代表网络位置 A、B、C 和 D 上的令牌数量。网络顶部显示一个正在传输的数据包（1,”Col”），数据包下方的绿色和红色方块允许用户选择数据包是丢失（点击红色方块）还是成功传输（点击绿色方块），在传输确认信息时也有类似交互。此外，交互图形还包含一个对话框，在模拟开始时允许用户输入从发送者到接收者传输的文本字符串。

交互图形基于 SceneBeans 文件创建，这是一个 XML 文件，描述了可视化中的各种元素，如计算机图标、网络云、文本标签和按钮，还描述了动画图形对象的行为和时间，并定义了可从 CPN 模型调用的命令。BRITNeY 可视化工具包含一个编辑器，可用于开发 SceneBeans 文件。协议系统的交互图形通过以下 CPN ML 代码初始化：

structure Vis = SceneBeans (val name = "Protocol");