[发明专利]一种基于随机进程代数的并发系统性能模拟方法

权利要求书

1.一种基于随机进程代数的并发系统性能模拟方法，包括以下步骤：

步骤10：首先对给定的并发系统用随机进程代数进行建模，从随机进程代数模型中提取出标签动作集合和转移速率函数，根据标签动作和转移速率函数导出微分方程；

步骤20：求解步骤10中导出的微分方程的数值解和这个数值解的平衡点；

步骤30：在随机进程代数模型的线性化状态空间中寻找一个靠近数值解平衡点的状态；

步骤40：以步骤30中找到的靠近微分方程数值解平衡点的状态作为起始状态进行随机模拟，从模拟中提取系统的性能参数。

2.如权利要求1中所述一种基于随机进程代数的并发系统性能模拟方法，其特征在于：

在步骤10中，对并发系统建模的工具包括但不限于性能评估进程代数PEPA（Performance Evaluation Process Algebra）这一种随机进程代数；

在步骤10中，从建好的随机进程代数模型中提取的标签动作满足跟模型转移一一对应这个特征，标签动作和转移速率函数是根据随机进程代数模型的数值型表示方法提取出来的；

在步骤10中，所导出的微分方程由标签动作集合和转移速率函数来决定，微分方程的初值为模型的初始状态。

3.如权利要求1中所述一种基于随机进程代数的并发系统性能模拟方法，其特征在于：

在步骤20中，微分方程是用欧拉差分方法进行数值解；

在步骤30中，先根据步骤10提取出的标签动作集合生成动作矩阵，然后根据动作矩阵生成线性化状态空间，再在此空间中寻找最靠近或较靠近步骤20所得到的的数值解平衡点的状态；

在步骤40中，随机模拟是对连续时间离散状态的Markov链的模拟；

在步骤40中，所提取的性能参数包括但不限于：吞吐量、占空比、响应时间。