机译:基于编排的Web服务组合和一致性验证的形式化和可视化建模方法
机译:语义Web服务组合的模型转换和形式验证
机译:Web服务属性序列图监视器:用于监视基于场景的规范的基于BPEL的Web服务组成的工具链
机译:基于BPEL的Web服务组成的正式建模与验证研究
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:使用CADP的Web服务组合的建模与正式验证
机译:关于采用可靠的Web服务组合形式方法的几个问题