Research On Formal Modeling And Application Of Service Interaction Patterns

The coming of information age accelerates the development of the cross-organizational business activities in the new century, and the service interaction covers more areas and has a continuously expanded scale. The organizational borders have a gradually decreasing limitation of business process. It accelerates the communications between organizations and has a great influence on the market economy and the social life, which also makes the software developers concentrate more on the analysis on the business process in the cross-organizational system. In a sence, the formalizing of the business process is the intermediate link of the combination of the deployment and the management, and supports the events that the commercial enterprises and organizations can communicate with others to build a collaborative business process in a uniform way, in which the multiple interactive entities are mutual independence. Therefore, this paper analyzes the service interaction of the cross-organizational system from the perspective of business instance in detailed and concludes the basic service interaction patterns as well as the structure of business process. Furthermore, it achieves a modular orchestration and designation for the business partnership based on BPMN2.0 which is integrated with Pi-calculus to build a formal model. Meanwhile, a specific instance about cross-organizational interaction is provided to achieve a further elucidation for the formal modeling and mapping rules of the service interaction patterns. In the end, there are a corresponding deduction and simulation based on MWB for the model to ensure the model is true and consistent with the actual business process.The main research content of this paper is shown in the following:Firstly, there are an understanding of the development background of the service interaction patterns and analysis of its research status to illustrate the significance of research and define the structure of the basic service interaction and rules of orchestration based on BPMN.Secondly, in accordance with the style of message exchange in the cross-organizational business process, we summarised the common types and structure characteristics of the service interaction patterns, for which the business process is orchestrated in detail based on BPMN2.0. Meanwhile, there are specific formal definitions for the basic behaviors and structural activities in the business process based on Pi-calculus to eliminate the structural conflicts happened in the interaction of the actual business process.Afterwards, there is an instance about cross-organizatinal business process, for which a modular analysis on orchestration and a model designation based on BPMN2.0, as well as a formal definition for the model achieved by a mapping to service interaction patterns is provided to ensure the reasonability and the accuracy of the model.Finally, established on the above works, a corresponding authentication and deduction of the orchestrated model is provided. Meanwhile, the tool of MWB is used to formulate the business process of the system. It aims to restore the actual interaction and find out the existing and potential problems, as well as to achieve the reasonableness and reliability of the sequence of execution.