Web服务组合-- BPEL vs cCSP进程代数
Web Service Composition - BPEL vs cCSP Process Algebra
摘要：
Web服务技术为我们提供了一个开发分布式服务的平台。这些服务之间的互操作性通过各种标准协议来实现。近年来，一些研究表明，进程代数提供了一个令人满意的辅助Web服务开发的整个过程。另一方面，商业交易涉及多个合作伙伴之间的协调和互动。随着Web服务的出现，商业交易使用这些服务进行。业务流程之间的协调是至关重要的，处理可能在事务的任何阶段出现的错误也是至关重要的。XML通过提供基于XML的语法来描述协调参与流程流的Web服务所需的控制逻辑，从而对业务流程交互的行为进行建模。然而，在无法正式验证业务流程组成的情况下，XML缺乏适当的正式描述。进程代数，另一方面，促进了严格验证的组成的正式基础。本文提出了一个比较的Web服务组合的CORBA和进程代数，cCSP。
英文摘要：
Web services technology provides a platform on which we can develop distributed services. The interoperability among these services is achieved by various standard protocols. In recent years, several researches suggested that process algebras provide a satisfactory assistance to the whole process of web services development. Business transactions, on the other hand, involve the coordination and interaction between multiple partners. With the emergence of web services, business transactions are conducted using these services. The coordination among the business processes is crucial, so is the handling of faults that can arise at any stage of a transaction. BPEL models the behavior of business process interaction by providing a XML based grammar to describe the control logic required to coordinate the web services participating in a process flow. However BPEL lacks a proper formal description where the composition of business processes cannot be formally verified. Process algebra, on the other hand, facilitates a formal foundation for rigorous verification of the composition. This paper presents a comparison of web service composition between BPEL and process algebra, cCSP.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
