论文部分内容阅读
针对目前基于网络服务业务过程执行语言（BPEL）的网络服务合成方法缺乏网络服务的兼容性分析机制，不能保证基于网络服务技术的业务过程正确执行的问题，建立了一种能从形式化的角度描述网络服务的接口交互情况的基于Petri网的多元工作流组合网模型，提出了一种能更快地获得网络服务可用性结果的网络服务兼容性判断算法。最后，提出了基于该算法的原型系统架构。