MIRACL, ISIMS, TUNISIA;
MIRACL, ISIMS, TUNISIA;
MIRACL, ISIMS, TUNISIA;
MIRACL, ISIMS, TUNISIA;
Computer Science Department Telecom SudParis;
web service composition; event-b; transactional web service; proof; refinement; verification;
机译:基于事件-B基于云综合服务验证方法
机译:基于事件的组合服务交易行为设计和运行时验证
机译:业务流程即服务配置中的交易行为验证
机译:基于事件B的动态组合服务交易行为验证方法
机译:使用XML的复合Web服务的轻松事务模型。
机译:RC-HPFRC张力成员在服务负荷下的复合行为
机译:事务处理模式概述:组合Web服务将工作流灵活性和事务处理可靠性相结合
机译:复合Web服务规范和验证的表示法