12、随机图变换的并行性与并发理论及应用

随机图变换的并行性与并发理论及应用

1. 引言

随机图变换系统（SGTS）能够对动态系统和网络进行高层次的随机建模，将结构重构与性能、可靠性等非功能方面进行集成。在SGTS中，每个规则名称都与一个概率分布相关联，该分布决定了规则在找到匹配后应用的延迟。这种系统可用于模拟P2P网络、生化和细胞系统以及业务流程等。

对于SGTS模型，我们通常会关注一些服务质量属性，例如在90%的请求提交情况下，是否能在两分钟内收到响应。这些属性可以通过随机模型检查或模拟来验证。为了避免对模型进行“执行”或显式表示其状态空间，我们希望能符号化地处理随机方面。例如，已知两个顺序执行过程的各自持续时间，就可以计算出整个过程的持续时间。

在图变换理论中，有许多规则和变换的构造方法，如嵌入式规则、并发或并行规则等。我们的目标是根据组件规则的分布来确定组合规则的分布，确保组合规则的应用与组件规则的应用具有相同的时间和概率。

业务流程示例

以一个简化的贷款审批业务流程为例，该流程包含三个业务功能：
1. B1 - 客户访谈 ：关系经理（RM）识别客户需求并将信息存储在数据库（DB1）中。
2. B2 - 客户评级 ：使用评级应用程序计算客户的评级和信用价值。
3. B3 - 产品优化 ：信用顾问（CA）使用价格引擎创建优化产品，并将其存储在数据库（DB1）中。此步骤需要在前面步骤确定客户需求和信用价值之后进行。

2. 预备知识

概率理论基础

规则应用的延迟被视为