基于面向对象Petri网的Web服务合成

摘要

主要讨论了基于面向对象Petri网的Web服务合成技术.利用此技术,不仅可以精确描述Web服务与合成运算的形式化语义,还可以建立合成Web服务的控制流模型.研究了Web服务组件与OOPN(面向对象Petri网)元素之间的映射关系,讨论了基于OOPN的Web服务合成的各种运算,并给出了建模步骤.最后结合应用实例进一步验证了本文的工作.