机译:基于事件-B基于云综合服务验证方法
Univ Sousse ISITCom Hammam Sousse 4011 Tunisia;
Monastir Univ ISIMM Monastir Tunisia;
ENSAI RENNES Bruz France;
Monastir Univ FSM Monastir Tunisia;
Formal verification; Cloud composite services; Semantic verification; Behavioral verification; Resource allocation; Event-B;
机译:基于模式的编排和复合云服务的自动验证
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:云服务通过云模式:基于语义的方法
机译:使用事件B的云组合服务的无死角验证
机译:复合Web服务中对话的一种正式验证方法。
机译:用于存储在云服务中的文件完整性的信任验证的安全体系结构和协议
机译:基于事件-B基于智能合同的正式建模和验证方法