Method and apparatus for transforming BPEL4WS process into Coloured Petri-Nets

摘要

A method and a device for transforming a BPEL4WS(Business Process Execution Language For Web Service) process into CPN(Colored Petri-Nets) are provided to facilitate execution and analysis of a web service process by transforming the web service process written in the BPEL4WS into the CPN. A color set generator generates a color set required for the CPN by parsing a BPEL4WS document. A structure activity transformer transforms structure activity of the BPEL4WS into the CPN by using the color set. A basic activity transformer transforms basic activity included in the structure activity into the CPN by using the color set. A function transformer transforms formulas or functions used for the structure or basic activity into the CPN.