【摘要】 目的形式化地描述Web服务组合流程,为更好地使用工具和现有方法验证以及测试Web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模,分析BPEL中<scope>、<compensation>、<faultHandlers>和<terminationHandlers>几种活动的共同作用,分析BPEL流程的错误处理机制和补偿机制;从网资源流动的角度完善现有的层次化有色Petri网定义,将BPEL流程的层次关系映射成层次化有色Petri网的层次关系。结果完善了层次化有色Petri网定义,提出了Web服务组合的层次化建模方法。结论层次化构建Web服务组合模型是一种可以用于大型BPEL流程的方法,所构建的模型有利于从抽象层面和细节上分析Web服务组合。更多还原

【Abstract】 Aim To describe Web service composition formally for model checking and testing of Web service composition by available tools and methods.Methods Modeling each activity of BPEL process by using colored Petri nets,analyzing the interaction of BPEL′s <scope>,<compensation>,<faultHandlers>,and <terminationHandlers>,and BPEL′s fault and compensation mechanism as well.The definition of hierarchical colored Petri net is developed in respect to the net resource flow,and the hierarchies of BPEL process are projected into the hierarchies of hierarchical colored Petri nets.Results The hierarchical colored Petri net definition is improved and an approach on modeling Web service composition is proposed.Conclusion These models are applicable to large BPEL processes.It is benefit for the analysis Web service composition on both Abstract and detail level.更多还原