The Design And Implementation Of A Service Oriented Petri Net Modeling Tool

With the rapid development of Internet technology, oriented composition-service has become a new important research field.A variety of theory and technology such as Work_Flow, Process Algebra, Automata, Petri-net has been used in the study of oriented composition-service. And process algebra and Petri Net are the most widely used. With algebraic expressions and good construction. Process Algebra is suitable for interaction, but the lack graphic expression. Petri Net has graphical description mechanism, precise mathematical expression form, concurrency semantic, but lack of constructive.The basic characteristic of the service is the internal processes. Due to the interact of service, the service usually consists of internal processes and interfaces. The WF_Net model puts forward the description method of the internal processes, but not involving the description of the combination service. The Open_Net model puts forward the description of the combination service, which use place as the service interface. On behalf of the asynchronous communication place as the way to combination, the terminal place is not unique.Based on the theory of Process algebra and Petri Net, by synthesizing Work_Flow Nets and Open Net model, Petri Process Net, which is more suitable to describe the service-oriented system is proposed in this paper. Five process network composition algorithm is defined for combination of the services, which includes the order combination, loop combination, select combination, synchronous/asynchronous concurrent combination. Using the combination algorithm, the basic PrN can be combined into more complex PrN to realize the more complex service function. This paper puts forward the PrN structural operational semantics, the semantic is forget, not depend on the PrN logo, however it is described by Change the operation of the algebraic.The realization of model tool PrNTools and example validation are finished, above on the basis of the proposed process model and f structural operational semantics.