近年来,以Web服务为基础的面向服务的体系结构的迅速发展,为互联网应用提供了一种共享数据的有效手段。Web服务组合为企业业务应用......

近年来，以Web服务为基础的面向服务的体系结构的迅速发展，为互联网应用提供了一种共享数据的有效手段。Web服务组合为企业业务应用提......

为了更有效地实现Web服务组合,提出一种使用动作时序逻辑TLA(Temporal Logic of Actions)进行Web服务组合的方法。Web服务组合与工......