Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍...Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了Pi-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言(Business Process Execution Language for Web Services,BPEL4WS),定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于Pi-演算的形式化模型,最后通过一个案例给出了模型验证的方法。展开更多
介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言(business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映...介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言(business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。展开更多
现有的服务组合工作流组合Web服务形成业务流程,没有对人工参与提供足够的支持。针对此问题,通过扩展商业流程执行语言BPEL4WS(business process execution language for web services)来描述流程,将人工参与服务化,参照WSDL-S和扩展UDD...现有的服务组合工作流组合Web服务形成业务流程,没有对人工参与提供足够的支持。针对此问题,通过扩展商业流程执行语言BPEL4WS(business process execution language for web services)来描述流程,将人工参与服务化,参照WSDL-S和扩展UDDI(universal description,discovery and integration)来实现服务的描述和动态发现,人作为业务流程的参与者同Web服务一样统一协调调度,从而实现人机交互协调的服务组合工作流。展开更多
文摘Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了Pi-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言(Business Process Execution Language for Web Services,BPEL4WS),定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于Pi-演算的形式化模型,最后通过一个案例给出了模型验证的方法。
文摘介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言(business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。
文摘现有的服务组合工作流组合Web服务形成业务流程,没有对人工参与提供足够的支持。针对此问题,通过扩展商业流程执行语言BPEL4WS(business process execution language for web services)来描述流程,将人工参与服务化,参照WSDL-S和扩展UDDI(universal description,discovery and integration)来实现服务的描述和动态发现,人作为业务流程的参与者同Web服务一样统一协调调度,从而实现人机交互协调的服务组合工作流。
