Web service; behavior modeling; interaction modeling; protocol compatibility; verification;
机译:验证机器人通信平台的Web服务交互的可靠性
机译:Fepchecker:自动模型检查器,用于验证Web服务中安全协议的公平性和不可否认性
机译:建模和验证由承诺协议控制的编排的基于多代理的Web服务组合
机译:Web服务交互的协议兼容性验证
机译:复合Web服务中对话的一种正式验证方法。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:验证Web服务是否符合全局交互协议:第一步