BPEL4WS; I/OLTS; Web services; ZING; software model checking;
机译:验证Web服务组成图之间的组成对等
机译:建模和验证由承诺协议控制的编排的基于多代理的Web服务组合
机译:组合Web服务的二进制活动链模式及其符合性验证
机译:通过Zing的翻译基于Web服务组成的验证
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:通过ZING基于翻译的Web服务组合验证
机译:模型驱动的Web服务开发和动态Web服务组合;博士论文