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.

• 本文针对通用构件描述语言(UCDL)提出一种Petri网模拟和验证方法,即对于Web服务的元活动和构件,提出相应的Petri网模型和建模方法。