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

【Abstract】 Formalized arithmetic is an effective method for software system verification and modeling.For the web service and its combination,it is very necessary to guarantee the correctness of its combination and realize service value-added.The paper analyzed the comprehensive characteristics of web service,summarized the typical characteristics of web service composition and emphatically introduced the representative model and method of web service composition,including OWL(DAML-S),CSP and π-calculus of the process algebra,Milan machine in automata theory and petri net.According to synthetical comparison and analysis,we evaluated the each model and method,which is as the basis for systematic establishment of web service composition theory.更多还原