并发系统的进程代数模型自动生成方法技术方案

本发明专利技术公开了一种并发系统的进程代数模型自动生成方法，包括获取并发系统的关联矩阵，分别以S<subgt;1</subgt;，S<subgt;2</subgt;，...，S<subgt;n</subgt;和t<subgt;1</subgt;，t<subgt;2</subgt;，...，t<subgt;m</subgt;对关联矩阵C的行和列进行标注；按列遍历关联矩阵C；对C<subgt;Act</subgt;中的子集做笛卡尔积和排列组合，并将产生的每一个结果分别与I<subgt;Act</subgt;关联，再将关联后的结果存入集合RS<subgt;temp</subgt;；遍历RS<subgt;temp</subgt;中所有子集中的三元组(S<subgt;i</subgt;，t<subgt;j</subgt;，S<subgt;k</subgt;)；遍历集合S<subgt;com</subgt;的子集，并进行判断；输出最终结果，将RS中的子集以进程代数模型的语法形式输出。本发明专利技术实现了从关联矩阵中自动的生成一类并发系统潜在的所有符合条件的进程代数模型，从而可以直观的展现出此并发系统模型的所有结构特性，方便研究者对系统的整体结构以及系统内部的组件结构的特征进行更加深入的研究与分析。

【技术实现步骤摘要】

本专利技术涉及并发系统的建模，尤其涉及一种并发系统的进程代数模型自动生成方法。

技术介绍

1、并发系统的进程代数模型是一种重要的建模模型。进程代数是关于通信并发系统的代数理论的统称。进程代数都使用通信作为进程之间相互作用的基本手段，表现出面向分布式系统的特征。在语法上，进程代数用一组算子作为进程的构件。算子的语义通常用结构化操作语义的方法定义，这样进程就可看成是带标号的变迁系统。此外，进程代数的一个显著特点是把系统的并发性归结为非确定性，将并发执行的进程的行为看成是各单个进程的行为的所有可能的交错合成，即所谓的交错语义。进程代数主要用于研究进程的等价问题，且广泛应用于互模拟、测试等价等。同时，进程代数所利用的结构化操作语义的表现方式，可以更加直观的展现系统的结构信息。

2、关联矩阵作为并发系统模型的一种代数形式的数值化表示方式，以数值向量的形式来完整的表示了系统内部各进程之间的通信关系。同时，以数值化的方式，更有利于对大规模的并发系统进行一些重要的系统的性能测试，比如死锁检测、系统的状态空间生成等。但是，关联矩阵，这种代数形式的系统描述方式太过本文档来自技高网...

【技术保护点】

1.一种并发系统的进程代数模型自动生成方法，其特征在于：包括如下步骤：

2.根据权利要求1所述的并发系统的进程代数模型自动生成方法，其特征在于：所述步骤(2)包括：

3.根据权利要求1所述的并发系统的进程代数模型自动生成方法，其特征在于：所述步骤(3)笛卡尔积和排列包括：

4.根据权利要求1所述的并发系统的进程代数模型自动生成方法，其特征在于：所述步骤(4)包括：

5.根据权利要求1所述的并发系统的进程代数模型自动生成方法，其特征在于：所述步骤(5)包括：

6.根据权利要求5所述的并发系统的进程代数模型自动生成方法，其特征在于：...

【技术特征摘要】

1.一种并发系统的进程代数模型自动生成方法，其特征在于：包括如下步骤：

2.根据权利要求1所述的并发系统的进程代数模型自动生成方法，其特征在于：所述步骤(2)包括：

3.根据权利要求1所述的并发系统的进程代数模型自动生成方法，其特征在于：所述步骤(3)笛卡尔积和排列包括：

4.根据权利要求1所述的并发系统的进程代数模型自动生成方法，其特征在于：所述步骤(4)包括：

5.根据权...

【专利技术属性】
技术研发人员：诸峰，吴开林，丁杰，
申请(专利权)人：江苏科技大学，
类型：发明
国别省市：