%0 Journal Article
%T 一种基于有色Petri网的语义Web服务组合验证机制
%A 罗楠
%A 严隽薇
%A 刘敏
%J 计算机集成制造系统
%P 0-0
%D 2007
%X Web服务组合是一个复杂而易错的过程，现有的组合规范又缺乏有效的验证机制，无法保证组合服务的顺利执行。针对这一问题，并根据目前的语义趋势，利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模，通过服务组合代数定义组合运算的基本规则。在此基础上，根据Web服务本体语言组合要素的相关语义建立其对应的有色Petri网结构。另外，给出了分析验证所生成的有色Petri网模型的具体方法，使用该方法可以检验组合系统的各项动态性能，探测死锁等错误，从而提高组合的可靠性，避免执行失败。最后，通过实例直观地描述了建模与验证的工作过程。
%K Web服务组合
%K Web服务本体描述语言
%K 有色Petri网
%K 形式化验证
%U http://www.cims-journal.cn/CN/abstract/abstract1759.shtml