Concordia University, Canada;
rnConcordia University, Canada;
rnZayed University, UAE;
King Fahd University, Saudi Arabia;
composite web service; orchestration; behaviors; symbolic model checking; NuSMV;
机译:寻求一种基于MDE类型的Web服务的中介协议的形式验证的方法
机译:基于编排的Web服务组合和一致性验证的形式化和可视化建模方法
机译:模型驱动的方法支持对Web服务组合协议的形式验证
机译:使用NUSMV在复合Web服务中对话的正式验证方法
机译:复合Web服务中对话的一种正式验证方法。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:复合Web服务中对话的形式验证方法
机译:复合Web服务规范和验证的表示法