Object Petri Nets Based Modeling Of Service Integration And Preliminary Analysis Of Soundness

As the Internet has evolved into an open computing platform, service integration which is based on Web services, has become hotspot in application and research of process technology. It realizes the the integration and collaboration of the heteroge-neous applications by composing individual Web services which is of single function. The modeling of service integration is the premise of verifying the correctness of inte-grated service. Latest researches focus on the global integrated service process which is business-requirement-oriented, ignoring the behavior of each participated service’s backend process. Such approaches can hardly support the check of behavior consisten-cy between integrated service process and backend processes of participated services. To solve these problems, this paper introduces a layered service integration process model which is based on object petri nets, using the principle of separation of concerns, to realize the unified modeling of integrated service process and individual participated service processes. Based on this model, one can not only model the global integrat-ed service process, but also can establish the relationship between participated service processes and it,which can effectively support the check for behavior consistency be-tween them. The main work is summarized with four aspects as follows:●Concept of layered service integration process model had been proposed in this thesis, and a formal definition is given based on object Petri nets and WF-net. The soundness of it is studied, which can act as the precondition to check the correctness of service integration process (whether the single integrated service process is correct, and whether there exists deadlocks caused by the behavioral confliction between integrated service process and participated service process-es). Moreover, a necessary and sufficient condition for the soundness of layered service integration process model is proposed.●Based on layered service integration process model, a top-down and bottom-up combined method for service integration process modeling is proposed, which can ensure the behavior consistency between integrated service process and back-end processes of participated services.●The behavior of a process model is abstractly captured by essential behavioral relations between activities. Based on the soundness property, we studied the behavior constraint of corresponding pairs of activities under the correspondence relation between global integrated service process and local participated service processes. And the calculation method of a process model’s abstract behavior representation (the set of behavioral relations between activities) is proposed.●Based on open source PIPE platform, a layered service integration process mod-eling and behavior constraint analysis tool, called L-SIP is designed and im-plemented, which is with friendly graphical user interface.Thus to provide an easy-to-use and convenient and intuitive service integration process modeling, and behavior constraint checking tool for users.