论文部分内容阅读
目的形式化地描述Web服务组合流程，为更好地使用工具和现有方法验证以及测试Web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模，分析BPEL中〈scope〉、〈compensation〉、〈fauhHandlers〉和〈terminationHandlers〉几种活动的共同作用，分析BPEL流程的错误处理机制和补偿机制；从网资源流动的角度完善现有的层次化有色Petri网定义，将BPEL流程的层次关系映射成层次化有色Petri网的层次关系。结果完善了层次化有色Petri网定义，提出了Web