机译:Web服务编排验证的一种正式方法
ReDCAD Laboratory, University of Sfax, Tunisia;
ReDCAD Laboratory, University of Sfax, Tunisia;
ReDCAD Laboratory, University of Sfax, Tunisia;
Another Tool for Language Recognition (ANTLR); Availability; Interdependence Properties; Simple Promela Interpreter (SPIN); Web Service-Business Process Execution Langauge (WSBPEL); Web Service Orchestration;
机译:正式技术,用于编码Web服务编排的一致性检查
机译:QoS感知Web服务编排引擎的正式模型
机译:Q-DWSO:QoS感知动态Web服务Orchestration的混合方法
机译:Web服务编排验证的一种正式方法
机译:通过Web 2.0进行数字业务生态系统服务编排的方法。
机译:搜索GenBank:在探索国家生物技术信息中心的生物医学资源方面Web服务的交互编排和临时编排
机译:检查编排器在Web服务中的编排方案的一致性:一种正式的方法
机译:关于采用可靠的Web服务组合形式方法的几个问题