Petri网在Web服务组合中的应用研究综述.pdfVIP

第26卷 第4期 连云港职业技术学院学报 V01．26No．4 2013年 l2月 JournalofLianyungangTechnicalCollege Dee．20l3 文章编号：1009—4318(2013)04—0030—05 Petri网在 Web服务组合 中的应用研究综述 刘跃建 (连云港职业技术学院，江苏 连云港 222006) 摘 要：Web服务组合是web服务发展的一种新的方向，而Petri网作为形式化的建模工具，在服务组合中扮演着重要角 色，不仅可以辅助服务组合的设计，还可以更好地对组合流程进行分析和验证。文章对各种Petri网在基于工作流、人工智能 (M)的Web服务组合 中的应用以及基于Petri网的web服务形式化组合方法进行了综述，并指出了Petri网在服务组合工作中 的作用和重要性。最后对研究进行 了总结，指出了下一步的工作。 关键词：Web服务 ；web服务组合；Pe矗网；建模；工作流 中图分类号：TP393．09 文献标识码：A 如今，Web服务技术正从基础设施建设与概念 具，可以利用 Petri网对并发和分布式系统进行设 推广阶段向大规模商业应用阶段快速发展。由于单 计、分析和模拟。研究领域趋向认为 Petri网是所有 个Web服务的功能有限，有必要将多个共享的Web 流程定义之母。 服务组合成一个新的、增值的和更大粒度的组合服 经典Petri网是简单的过程模型，由库所、变迁 、 务，以满足企业不断发展的复杂需要，提高软件的开 有向弧和托肯等元素组成。库所是存储元素，用圆 发质量和效率，这促使 Web服务组合研究的兴起。 形表示；变迁是计算元素，用方框表示。有关 Petri 对于Web服务组合的研究已经成为一个热点，而以 网的知识请查阅参考文献…，本文只给出Petfi网的 透明方式实现服务组合的自动化也成为一个挑战， 定义。 学术界和工业界 已经对此作 了较多努力，并取得了 定义…1满足下列条件 的三元组 N=(S，T；F) 一 定的成果。目前，按服务组合技术来分，Web服务 称作一个Petri网： 的组合方法主要有三类，基于工作流的服务组合、基 (1)SUT≠ ； 于人工智能AI的自动组合方法和基于 Pi一演算或 (2)SnT= ； Petri网的形式化服务组合方法。 (3)F(S×T)U(T×S)； Petri网是一种基于图的形式化描述工具，有着 (4)dom(F)Ucod(F)=SUT。 严格的数学基础和 图形化的规范语义，用于描述和 其中 分析离散的并发系统和分布式系统，所以Petti网正 dom(F)={xSUTIySUT(x，y)F}；cod(F)={xS 适合用于分布的、松散耦合的Web服务的组合。作 UTIySUT(v，X)F}。 为一种形式化建模和验证工具，Petri网不仅可以独 一 般Pe 网无数据概念和层次概念 ，导致建模 立用于Web服务组合工作，而且可以辅助其他方式 系统复杂，且不能分层描述大型系统，所以一般Petri 的服务组合，进行组合方案的描述、分析、验证和仿 网只能描述简单系统。有色Petri网 结合了Petri 真。本文主要讨论 Petri网技术在各种 Web服务组 网和高级语言的优点，可对复杂系统进行图形化的 概念建模，对系统行为进行动态模拟和形式化推理， 合方式中的应用。 弥补了一般P