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