Choreography; Model Checking; Orchestration;
机译:基于动态工作流的Web服务编排可扩展流模型研究
机译:搜索GenBank:在探索国家生物技术信息中心的生物医学资源中,进行Web服务的交互编排和临时编排
机译:搜索GenBank:在探索国家生物技术信息中心的生物医学资源中,进行Web服务的交互编排和临时编排
机译:基于模型的链接Web服务编排和编排方法
机译:Web服务编排的形式分析
机译:搜索GenBank:在探索国家生物技术信息中心的生物医学资源方面Web服务的交互编排和临时编排
机译:3级服务组合和腰果:语义Web服务中的编排和编排模型