形式化描述模型论文

基于Pi-演算的Web服务形式化描述模型
论文摘要Web服务组合使得开发者可以基于面向服务的计算无缝地访问众多分布式服务，组合在一起解决复杂问题。大多数Web服务是独立开发并运行在异构平台上的，为了能够实现它们之间的服...