论文研究Web服务业务流程一致性验证.pdf

在Web服务业务流程建模和实现过程中，Web服务编排从全局角度描述了Web服务参与者之间的协作和交互过程；Web服务编制描述了单个Web服务参与者与其他参与者的交互，两者的结合能有效提高服务流程建模和实现的效率以及准确性，但必须解决Web服务编排和服务编制的一致性验证问题。提出了一种基于CSP(communicationsequenceprocess)的Web服务编排语言WS-CDL(Webservicechoreographydescriptionlanguage)和Web服务编制规范WS-