机译:寻求一种基于MDE类型的Web服务的中介协议的形式验证的方法
ISIMS, MIRACL, Monastir, Tunisia;
ISIMS, MIRACL, Monastir, Tunisia;
ISIMS, MIRACL, Monastir, Tunisia;
ISIMS, MIRACL, Monastir, Tunisia;
Computer Science Department, Telecom SudParis, Paris, France;
computer software; protocols; web services composition; mediation; transactional; formalization; automation; MDE; ACME/ARMANI ADL;
机译:模型驱动的方法支持对Web服务组合协议的形式验证
机译:基于编排的Web服务组合和一致性验证的形式化和可视化建模方法
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:基于中介的Web服务组成形式的形式验证方法
机译:复合Web服务中对话的一种正式验证方法。
机译:紧急医疗服务中的药物安全性:采用基于证据的验证方法以减少错误
机译:复合Web服务中对话的形式验证方法