1、面向服务计算中的进程演算探索

面向服务计算中的进程演算探索

1. 引言

面向服务的计算是 IT 界的最新趋势之一，主要通过 Web 服务（WS）技术实现。服务是自主的计算实体，它们独立开发、松散耦合，可在全球分布式网络中以平台无关的方式使用，但并非完全可靠。服务计算需要以精心设计的方式组合服务，形成复杂的开放式应用程序，且这一过程需高度动态，甚至按需进行。

为实现这一目标，找到合适的服务描述符至关重要，这些描述符将发布在公共注册表中，其他服务和应用程序可通过查询注册表来定位最符合需求的服务，从而实现服务的动态链接和调用。因此，服务工程需要开发能确保安全服务组合的方法、技术、形式化方法和工具，通过静态或半静态分析为动态开放式应用程序提供有力保障。

WS 技术已建立了事实上的标准，包括命名方案、服务访问、服务描述符、通信协议和消息格式等。然而，要将 WS 技术从熟练的手工操作转变为工程实践，仍需要更多研究和坚实的基础，形式化方法在其中起着关键作用。例如，BPEL 缺乏明确的语义，导致不同的 BPEL 引擎在相同情况下可能表现出不同的行为。

研究面向服务计算的形式化方法大致可分为两个主要方向：一是为现有技术建立缺失的理论基础，为分析和验证面向服务计算及 WS 系统提供严格的语义和逻辑框架；二是重新思考下一代技术的设计和开发，理解面向服务计算的关键特征，评估所需的理论基础，并为其良好的工程实现铺平道路。在这两个方向中，并发理论中的数学模型和工具，如工作流模型、图转换系统和进程演算，似乎特别适合。

本文将重点介绍使用进程演算来建模面向服务计算系统。选择进程演算的原因在于，与其他模型相比，它能更自然地适应面向服务计算的特性，如开放性、动态性、组合性、交互性和事件处理。此外，本文将侧