关键词: Web服务, Petri网, 服务组合, 有色Petri网

Abstract: To integrate massive N-tier legacy system and improve the reusability and generality of service modeling, a combinatorial modeling method was proposed, which classified service-oriented Web resources and applied Colored Petri Net (CPN) to study classification service. With this method, service object, resources, status and the data information were discussed as basic elements of service representation. To express the impact of the external incidents, the control base locations were introduced. Then, the compositive service construction algorithm based on basic service and simplification rules was constructed. And, the analysis and verification methods were also defined. Finally, a CPN model based on classification services for power network fault diagnosis was constructed and verified with CPN Tools.

Key words: Web services, Petri net, service composition, colored Petri net