利用Pi演算实现对服务交互流程的设计  

作　　者：刘亚亚[1] 姜久雷[1] 

机构地区：[1]北方民族大学计算机科学与工程学院,宁夏银川750021

出　　处：《数字技术与应用》2016年第4期166-166,共1页Digital Technology & Application

摘　　要：Pi演算作为一种移动进程代数,可用于分析和设计并行的分布式业务流程。基于Pi演算实现对跨组织服务交互流程的结构与形式化模型设计,主要包括基本服务交互流程和动态交互流程两部分。前者通过Pi演算基本的形式化语义构建交互模型并实现模型描述;后者利用Pi演算的通道移动性,即以名字的传递作为交互信息传递方式来实现对动态交互流程的分析与设计。

关 键 词：PI演算 服务交互流程 形式化语义 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]