Computationalmodeling; Computeraidedsoftwareengineering; Computers; Indexes; Standards; Switches; formatting; insert; style; styling;
机译:Web服务属性序列图监视器:用于监视基于场景的规范的基于BPEL的Web服务组成的工具链
机译:Web服务组成建模和编排分析
机译:不断发展的基于BPEL的Web复合服务的增量验证
机译:使用XYZ的建模与分析基于BPEL的Web服务组合
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:Web服务属性序列图监视器:使用基于场景的规范监视基于BPEL的Web服务组成的工具链
机译:模型驱动的Web服务开发和动态Web服务组合;博士论文