The Research Of Web Service Application Approach Based On Colored Petri Nets

With the development of software technology,service-oriented architecture(SOA) is becoming a mainstream technology gradually after procedure-oriented,object-oriented,and component-oriented.The outstanding advantages of SOA are coarse-grained and loosely coupled,which makes it possible that one business interacts with others in the form of service even though they are based on different networks,platforms and programable languages.Many companies have adoptted web service to integrate enterprise value chain and encapsulated business process in order to create an open distributed system,decrease the risk and improve the agility.In practical applications,it becomes necessary to combine web service with specific function logically in terms of business process and create a complicated service to satisfy the complex requirements.Based on formal discription combination method is an effective method to construct and verify the combination model.It bases on behavior description. What's more,it could preferably support the reuse of web services combination.Colored Petri Nets(CPN) as a formal description of tools is widely used for system simulation,analysis and verification.CPN descripts web service uniformly including atom and composition service that is able to combine with more complex system.Besides,CPN may guarantee that the service composition is correct via the technology of its analysis.This dissertation gives a description of the web service composition based on colored petri nets,named CPN_WS model.Transitions of CPN are divided into service transition and controlling transition,the service transitions describe the data flow and the controlling transitions describe controlling flow.Then,the dissertation simulates web services solicitation rules using formal description.According to an enterprise's business processes,it applies the method above to build the application model of order process,new product development process and production process,then verify its correctness.Finally,this dissertation combines the project needs with the theoretical work above,subjoin the service layer and service composition layer based on the original three-tier architecture.Then,it utilizes windows communication foundation(WCF) technology to reconstruct the enterprise system.