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

• 作者: 刘亚亚 姜久雷
• 来源期刊: 数字技术与应用
• 学科: 工学
• 关键词: Pi演算 服务交互流程 形式化语义
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 设计开发
• 页码范围: 166
• 页数: 1页
• 分类号: TP311.5
• 字数: 985字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姜久雷	北方民族大学计算机科学与工程学院	15	57	4.0	7.0
2	刘亚亚	北方民族大学计算机科学与工程学院	1	0	0.0	0.0