论文部分内容阅读
本文通过分析Web服务及其合成语言BPEL4WS的面向服务性质,提出一种基于Petri网的Web服务合成的形式化模拟与分析技术--Web服务工作流网(BPWS-Net).并基于Web服务工作流网分析了Web服务的两种合成模式,层次合成和会话合成的健壮性.为Web服务合成的分析和验证提供了一种理论方法.