基于Petri网的Web服务组合与分析.pdfVIP

计算机科学2007Vo1．34№．2 基于Petri网的Web服务组合与分析 ) 闰春钢 蒋昌俊 李启炎 (同济大学计算机科学与技术系 上海200092) (国家高性能计算机工程技术研究中心同济分中心 上海201804)。 摘 要 Web服务为互联网提供了一种新的应用环境。然而，Web服务还有许多需要进一步研究的问题。Web服务 的组合及其验证就是需要深入研究的问题。本文针对通用构件描述语言(UCDI )提出一种Petri网模拟和验证方法， 即对于Web服务的元活动和构件，提出相应的Petri网模型和建模方法。在此基础上进一步研究了Web服务系统 Petri网的语言表达式生成算法，从而为Web服务系统的验证分析提供了有效工具。 关键词 Petri网，化简技术，Web服务组合，语言，表达式 The Composition and Analysis of Web Service Based 0n Petri Net YAN Chun-Gang JIANG Chang-Jun LI Qi-Yan (School of Electronics and Information Engineering，Tongji University，Shanghai 200092) (Tongii Branch．National Engineering＆Technology Center of High Performance Computer．Shanghai 200092)。 Abstract Web service provides a new application environment for Internet．However，Web service still has many problems need further study，e_g．Web service composition and verification．This paper presents a Petri Net modeling and verifying method for Universal Component Description Language(UCDL)，that is to say，presents corresponding Petri net models and modeling method for Web service meta-activities and components．On the basic of above all，re search of Petri net language expression generation algorithm for Web service system is further carried out．Thereby。an efficient tOOl for verification and analysis of Web service system iS provided． Keywords Petri net，Reduction technique，Web service combination，Language，Expression 系统，讨论了化简技术对合理性的保持性问题 文[-12]进一 1 引言 步扩充了化简规则，并讨论了化简过程对语义的保持关系。 Web服务组合的目的在于当现实环境所需求的功能变 另一方面，研究Petri网系统动态行为的另一有效途径是Pe— 得复杂，单一Web服务所提供的功能无法满足使用者的需求 tri网语言的分析方法。文[13~19]在这方面开展过诸多研 时，就必须藉由Web服务的组合来建立新的服务，提供更复 究。基于语言表达式可以在不生成Petri网状态可达图的情 杂的功能。Chandrasekaranl_1 指出，当个别的服务受限于它