...
机译:验证基于承诺的Web服务协议
Beijing Engineering Research Centre of High Volume Language Information Processing & Cloud Computing Applications, Beijing Laboratory of Intelligent Information Technology, School of Computer Science, Beijing Institute of Technology, Beijing 100081, China;
Beijing Engineering Research Centre of High Volume Language Information Processing & Cloud Computing Applications, Beijing Laboratory of Intelligent Information Technology, School of Computer Science, Beijing Institute of Technology, Beijing 100081, China;
Beijing Engineering Research Centre of High Volume Language Information Processing & Cloud Computing Applications, Beijing Laboratory of Intelligent Information Technology, School of Computer Science, Beijing Institute of Technology, Beijing 100081, China;
web service; automatic verification; linear temporal logic;
机译:验证基于多主体承诺的协议的一致性
机译:Fepchecker:自动模型检查器,用于验证Web服务中安全协议的公平性和不可否认性
机译:建模和验证由承诺协议控制的编排的基于多代理的Web服务组合
机译:基于承诺的语义Web服务选择协议
机译:复合Web服务中对话的一种正式验证方法。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:组成和验证基于承诺的多代理协议