Formal Description; Web Service Composition; Object Oriented Petri Nets;
机译:基于编排的Web服务组合和一致性验证的形式化和可视化建模方法
机译:基于云的Web服务组成的正式建模与验证
机译:基于CCML的Web服务组合的形式验证
机译:基于OOPN的Web服务组合的形式化描述与验证。
机译:复合Web服务中对话的一种正式验证方法。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:基于PI-微积分的Web服务组成的正式验证