论文部分内容阅读
形式化方法对于建模和验证软件系统是一种有效的方法。对于Web服务及其组合来说，保证其组合正确性以实现其服务增值十分必要。分析Web服务的综合特征，总结Web服务组合的典型特征，重点介绍有代表性的Web服务组合形式模型和方法，包括OWL（DAML—S）、进程代数类的CSP和π-演算、自动机理论的米兰机以及Petri网。通过综合比较与分析，对各个模型和方法给出一定评价，为系统地建立Web服务组合形式理论打下基础。