Research Of BPEL Modeling Technique Based On Colored Petri Net

With the developing of computer science, how to provide reliable software, improving the software development Efficiency and reduce the cost of software development are focused by software developers. The service-oriented architecture (SOA) applications used widely in many fields. The Web services-based SOA provides platform-independent software architecture. It is convenient to build B/S applications with SOA. Web services can be seen as an independent functional unit, and SOA builds complex Web applications from Web services with BPEL. Therefore, in the SOA, BPEL process is properly related to the quality of the entire application. How to ensure the correctness of BPEL process has become a very important issue.To ensure the correctness of BPEL processes, this paper presents a business based on color Petri net modeling. Paper first introduces the basic service-oriented architecture (SOA) and Web services concepts and relationships, and briefly introduces the relevant SOA standards and technologies.Then introduce the key technologies which are necessary for the research topics. Including the relationship between BPEL and Web services, BPEL language structure, and BPEL for people which is a extension for the BPEL, color Petri nets definitions, color Petri net modeling and validation tool CPN Tools.We design a BPEL process modeling rules with color Petri net modeling, and how to build a model in CPN Tools. Then we proposed an algorithm which reads the CPN Tools model document, parses the model information, builds an executable BPEL document. Design a conversion program according to the algorithm to generate of BPEL document automatically.Describe how to build BPEL process model with color Petri nets in CPN Tools with a instance of booking a ticket in a company, and the some issues which need to pay more attention.It concluded features of building executable BPEL from color Petri nets mode, and the disadvantage of this method. It realizes the process of establishing BPEL model to color Petri nets, which could build reliable executable BPEL document without deadlock. At last the example shows the feasibility of this method.