机译:基于事件的组合服务交易行为设计和运行时验证
Web services compositions; monitoring.; reliability; transactional Web services; verification;
机译:一种基于事件的方法,用于正式验证运行时自适应实时系统
机译:业务流程即服务配置中的交易行为验证
机译:业务流程中的交易行为验证作为服务配置
机译:基于事件B的动态组合服务交易行为验证方法
机译:复合Web服务的运行时验证
机译:受SLA约束的服务选择以最大程度地降低在随机运行时性能下提供复合云服务的成本
机译:DAML-S中基于代理的组合服务:智能语义Web的面向行为的设计