一种基于有色Petri网的语义Web服务组合验证机制

摘要

Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行.针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组合代数定义组合运算的基本规则.在此基础上,根据Web服务本体语言组合要素的相关语义建立其对应的有色Petri网结构.另外,给出了分析验证所生成的有色Petri网模型的具体方法,使用该方法可以检验组合系统的各项动态性能,探测死锁等错误,从而提高组合的可靠性,避免执行失败.最后,通过实例直观地描述了建模与验证的工作过程.