School of Computer Science, National University of Defense Technology, Changsha, P.R. China, 410073;
机译:基于模型转换的Web服务组合建模与验证
机译:语义Web服务组合的模型转换和形式验证
机译:建模和验证由承诺协议控制的编排的基于多代理的Web服务组合
机译:验证Web服务组成:基于转换的方法
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:Web服务组合的基于模型的验证
机译:模型驱动的Web服务开发和动态Web服务组合;博士论文