利用Pi演算实现对服务交互流程的设计 |
| |
作者姓名: | 刘亚亚 姜久雷 |
| |
作者单位: | 北方民族大学计算机科学与工程学院 |
| |
摘 要: | Pi演算作为一种移动进程代数,可用于分析和设计并行的分布式业务流程。基于Pi演算实现对跨组织服务交互流程的结构与形式化模型设计,主要包括基本服务交互流程和动态交互流程两部分。前者通过Pi演算基本的形式化语义构建交互模型并实现模型描述;后者利用Pi演算的通道移动性,即以名字的传递作为交互信息传递方式来实现对动态交互流程的分析与设计。
|
关 键 词: | Pi演算 服务交互流程 形式化语义 |
本文献已被 CNKI 等数据库收录! |
|