公共文化服务平台

共 1 条记录，以下是 1-1

全选清除导出

排序方式：

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

全选清除导出

共1页<1>

陕西省教育厅规划基金(11JK1068)