Web services composition; Paired Petri net; Composition compensation; Process refinement;
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:基于Petri网的业务流程执行语言中Web服务兼容性分析和组合的方法
机译:基于Petri网的自我修复Web服务组合建模与分析方法
机译:基于成对Petri网的事务性Web服务组成补偿的形式化优化方法
机译:分层Web服务组成:可见性,补偿和监视
机译:使用彩色Petri网的基于工作流的Web服务组合的QoS度量
机译:将多态过程模型转换为Petri网:一种验证基于工作流的Web服务组合的正式方法