论文部分内容阅读
作为组合的Web服务的一个主要机制就是Petri网理论,以此为基础能够形式化定义和描述Web服务,映射Web服务动态组合的元素,验证和分析Web服务动态组合的安全性、有界性和活性。本文从Petri网理论在Web组合的应用入手,分析以Petri网理论为基础建模的优势所在,研究如何基于Petri网实现Web服务组合的构建。