78、多人视频游戏建模与安全需求工程方法评估

多人视频游戏建模与安全需求工程方法评估

多人视频游戏建模

在多人视频游戏建模中，提出了一种新的方法，使用了具有工作流网路由结构的特定类型的可能性Petri网。

可能性Petri网与工作流网的应用

• 工作流网的作用 ：工作流网的路由结构使得在游戏层面上对活动进行建模成为可能。它能够清晰地描绘出游戏中各种活动的流程和顺序。
• 可能性Petri网的优势 ：可能性Petri网的不确定推理则能够明确表示玩家为实现共同目标而进行协作时存在的交互。通过不确定标记，可以创建多个执行选项，而无需使模型变得复杂。

例如，在游戏中，如果假设所有玩家都要完成Petri网中表示的所有活动，从任务开始到结束，模型的所有转换都必须确定触发。但实际上，每个玩家在游戏中有自主决定权，并且在多人游戏中存在一定程度的协作以实现共同目标，因此模型必须允许每个玩家的个人选择所产生的意外行为。

以下是一个简单的表格展示游戏建模相关元素：
| 元素 | 作用 |
| ---- | ---- |
| 工作流网 | 实现游戏活动层面的建模 |
| 可能性Petri网 | 表示玩家协作交互，通过不确定标记创建执行选项 |

mermaid格式流程图如下：

graph LR
    A[游戏活动] --> B[工作流网建模]
    B --> C[可能性Petri网表示交互]
    C --> D[产生多种