BPEL过程相关论文
针对现有检测数据流反模式错误方法常采用枚举策略,存在路径爆炸和异常误报等问题,提出一种基于可满足性模理论（SMT）约束求解器的符......
服务组合和云计算作为面向服务体系结构下资源集成和应用互联的有效手段,使得描述Web服务的BPEL过程产生了众多变种。针对变种整合......
