Research On Modeling Method Of Cross-organizational Business Process In Cloud Computing Environment

With rapid development of the cross-organizational process in the field of the enterprise information system, organizational process interaction and multiple process choreography replace the workflow in the organization gradually and become the focus and center of the work for process modeler. But traditional method of modeling can not adapt to the requirement of cross-organizational business process, so study of the cross-organizational business process modeling has very important practical significance.This thesis focuses on the research on cross-organizational business process modeling of the cloud computing environment. The characteristics of cross-organizational processes and the business processes in cloud computing environments have been analyzed deeply. The main study is the formal modeling method of business process. The research work includes following three aspects: flexibility of cross-organizational process, process interaction and process choreography. The main work of this thesis includes the following sections:1) Research on flexible business process modeling. The characteristic of the flexible business process has been analyzed, which can be divided into three kinds: dynamic selection type, change type and abnormal type. The mapping rules of the BPMN elements in the business process diagram to formal model based on the π-calculus have been proposed. For the above three structure types of flexible process, the corresponding expression based on the π-calculus syntax is given. Finally, the specific process instance is modeled, and deduced by MWB to validate for the correctness of the model.2) Research on service interaction modeling. For basic services of interactive styles, using π-calculus channel of mobility characteristics gives the method of service interaction Meanwhile,13service interaction patterns have been completed formal modeling. The instance models about Web Services model and Cloud Service interaction model have given and validated. The results show that service interactions with dynamic, open nature can express with π-calculus syntax adequately. 3) Research on choreography modeling. The deficiencies of standard BPMN in choreography modeling has analyzed, and the choreography modeling methods based on BPMN2.0Choreography has discussed. A choreography diagram modeling example of online shopping payment process is given. It defines a function of from activity set of choreography to the π-calculus semantics expression, and with the function, a set of definitions of mapping from BPMN2.0Choreography elements to the π calculus syntax is given.The model of basic activities and the structured actions of choreography have been defined respectively, which established the formal methods of choreography modeling based on π-calculus. Finally, a modeling example of the auction process is given, and the choreography model of auction process is validated on the simulation deduction.4) Research on cross-organizational processes unified modeling method. The goal is to achieve unified modeling about orchestration and choreography modeling for a cross-organizational business process. The idea of business process modeling is starts from the choreography, to the top-down, gradual refining it. Accordance with the order of "choreography diagram—interaction diagram—Collaboration diagram—flowchart", the mapping and conversion are achieved progressively. Take Auction business process as an example, the cross-organizational business process modeling methods carried on the comprehensive application systematically.Innovation of this thesis includes the following sections:1) Using;π-calculus channel mobility, an expression method of service interaction is given, and realized simple and flexible describe of complex channel in concurrent process. By extending the π-calculus syntax, the expressive power of π-calculus is further enriched, and overcomes the defect of existing methods that can’t describe exceptional interrupt and time-out handling behavior effectively. The express for abnormal type of business processes meet the modeling demand of three type flexible process. It is promoting the development of flexible business process modeling.2) The modeling method for business processes choreography based on π-calculus theory, which achieved a global perspective to modeling cross-organizational business process truly, and changed the tendency of pay close attention to the details of process and of interaction too early.3) The cross-organizational processes unified modeling method is proposed, which completed the shift from choreography activity and orchestration activity. The modeling method using the graphical description and formal expression, in order to keep readability for business process model of and complete the model strictly, facilitate the analysis and verification. The instance model indicates that the model structure and the construction are clear, and with concise description, showing that the modeling method with powerful expression ability for building cross-organizational business processes model. The research results have high academic significance and great value for the development of business process formal modeling method in cloud computing environment.