公开(公告)号：CN102081593A

公开(公告)日：2011-06-01

申请号：CN200910199625.4

申请日：2009-11-27

Applicant: 上海电机学院

Inventor： 姜梦稚 ,  王淮亭

IPC: G06F17/20 ,  G06F17/30 ,  H04L29/08

Abstract: 一种实现网络服务的方法，包括如下步骤：将网络服务的过程表示成为Pi演算的进程；将Pi演算中的底层模型映射到Z语言中的模式；采用上述步骤所建立的映射关系描述网络服务规范。本发明的优点在于，在其描述的过程中加入形式化的方法，因此对最后的交付的产品的安全性应有相当的保证，并且本发明中所采用的Pi-Z演算综合了Pi演算对分布式系统描述的优势和Z语言对系统的数据和操作建模长处。

公开(公告)号：CN102566972B

公开(公告)日：2016-11-23

申请号：CN201010604693.7

申请日：2010-12-24

Applicant: 上海电机学院

Inventor： 姜梦稚

IPC: G06F9/302

Abstract: 一种图形化的Pi演算方法，包括如下步骤：定义Pi演算的静态语义；定义翻译后的动态规则；定义Pi演算的传输图形；通过传输图形建立进程图，所述进程图包含了进程所有可能作的动作的有向图，并通过进程图来研究进程等价性。本发明的优点在于，提供了一种有向图的判定算法(在一定前提下的图同构判定)，这一判定算法可以作为计算机方面的自动判定进程等价提供基础。所采用的方法使用了有向图的技术来描述进程的代数性质，具有直观，可判定的优势，避免了代数性质研究的复杂，抽象的不足。

公开(公告)号：CN102566972A

公开(公告)日：2012-07-11

申请号：CN201010604693.7

申请日：2010-12-24

Applicant: 上海电机学院

Inventor： 姜梦稚

IPC: G06F9/302

Abstract: 一种图形化的Pi演算方法，包括如下步骤：定义Pi演算的静态语义；定义翻译后的动态规则；定义Pi演算的传输图形；通过传输图形建立进程图，所述进程图包含了进程所有可能作的动作的有向图，并通过进程图来研究进程等价性。本发明的优点在于，提供了一种有向图的判定算法(在一定前提下的图同构判定)，这一判定算法可以作为计算机方面的自动判定进程等价提供基础。所采用的方法使用了有向图的技术来描述进程的代数性质，具有直观，可判定的优势，避免了代数性质研究的复杂，抽象的不足。