采用针对Web服务组合协议的扩充π-演算,形式化地描述了Wab服务流程的行为,在抽象的形式化层次上描述了由不同Web服务组合协议构成......

WSCI是一种Web服务组合标记语言，对于一些关键的业务流程，任何设计错误都会造成重大损失，因此有必要为WSCI语言建立形式化模型并给予......

形式化的分析有助于Web服务的合成．已有的合成分析方法，验证的重点是Web服务合成时形成的全局交互流程是否与预先定义的模型相匹配，忽......

简要介绍Web服务组合，分析几种Web服务组合标准规范，包括BPML、WSCI、WS-CDL和WS-BPEL，着重分析WS-BPEL服务组合规范。最后指出Web服......

在简要介绍基于Web服务组合的服务动态定制机制后,着重分析介绍了包括BPML、BPSS、WSCI、BPEL4WS等在内的Web服务组合工具.......