The Composition and Analysis of Web Service Based on Petri Net
Yan Chun · 2007
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,research 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.