摘要
主要讨论了基于面向对象Petri网的Web服务合成技术。利用此技术,不仅可以精确描述Web服务与合成运算的形式化语义,还可以建立合成Web服务的控制流模型。研究了Web服务组件与OOPN(面向对象Petri网)元素之间的映射关系,讨论了基于OOPN的Web服务合成的各种运算,并给出了建模步骤。最后结合应用实例进一步验证了本文的工作。
An approach to Web Service Composition based on a kind of Object-Oriented Petri Net-OOPN was proposed in this paper. By means of this approach, not only the formal semantics of Web Service and its composition could be definitely described, but also the control flow of composed Web Service could be graphically modeled. Furthermore, this approach could be used to validate the correctness of Web Serviced composition.
出处
《计算机应用》
CSCD
北大核心
2005年第6期1424-1426,共3页
journal of Computer Applications
