Research On Petri Net-based Service-Oriented Modeling Of Information Management Software

At present, Global enterprises are facing business model innovation, diversified information integration, talent management and business process transparency, and many other changes. These changes require the enterprises a very high agility. SOA as a loosely coupled architecture, can achieve the greatest degree of the consistency of business needs and the IT, separate business process activities from the service implementation, but also can reduce development costs, it is now the most popular technique for enterprises to achieve agility. The service model will affect the efficiency of the service system construction, therefore, service modeling method plays an important role of construction of service system.Service modeling needs to make service processes formalized and computerized, describing the service as the form of a workflow model is nowadays one of the mainstream approach. Petri net with rigorous mathematical analysis and formal definitions, and intuitive, graphical representation of the image , is a very suitable modeling tool.This paper presents a Petri net based service modeling PN-SM, which completed a mapping from service system to Petri nets, proposed formal description of the service model and service composition logic, and made case studies of the PN-SM.First, this paper summarized service modeling results at home and abroad, and analyzed the main problems; Secondly make the general design of PN-SM service modeling method: According to the summary of SOMA service modeling methodology proposed Architecture of the PN-SM services modeling method and the six modeling steps which covers Service life cycle, and proposed non-hierarchical and hierarchical service model structure of the PN-SM; focus on description of the PN-SM Service Composition Relationship: Building mapping of Service systems and Colored Petri net, proposed the definition of service system, service and service composition and formal description of service composition logic operation; Finally, with PN-SM service modeling method summarize proposed, to the Case Study - Quality of Student Success Environmental education evaluation system doing IT, business process analysis, and get the corresponding graphical service model with the target systemThe proposed PN-SM is a service-oriented modeling method to add. The method is based on colored Petri net, to do the right description of the service process to support the graphical representation and intuitive; on the formal description of the relationship between service composition can be more characterization of the service model; the service model with clear structure which support hierarchical description can meet the actual demand of different designer of corresponding hierarchy design in actual development process. PN-SM modeling is independent of the specific description languages and implementation techniques, it has a broader range of applications and a guiding role of the development of the service system.