Public Process Modeling Based On The Interactive Environment

In the business process of interorganizational,an organization's business processes need to communicate and interact with other organizations' business processes across different organizational boundaries to meet their business goals.Since the interorganizational business processes with the characteristics that is cooperation,privacy,autonomy and dynamic structure to the interactions,the traditional modeling method is difficult to effectively support the business processes in the organization.and in order to ensure the correctness and consistency of process interactions between different organizations,it is necessary to model and analyze interorganizational business processes.we use the opening workflow-net that is proposed on the basis of Petri net as a tool for modeling interorganizational business processes.interorganizational business process can be divided into two parts of the private processes and public processes,with private process as the organization's internal view,public process as an external view which describes the interaction of one organization and other organizations.Aiming at the matter of model behavior consistency,starting from the verifying of interaction of model,we proposed a method based on the interaction environment,this method is more relaxed and more consistent with asynchronous communication between organizations than the method based on the bisimulation In order to extract the public process flow from private process,the business process is abstracted into three basic structures,namely,the basic order structure,the basic selection structure and the basic concurrency structure.The respective extraction rules are proposed for the three basic structures to obtain the public process of the organization.With the behavior consistency checking method based on interaction environment,proves that the extraction rules is to keep consistency,to ensure that each extraction,interaction of public and private processes are all consistent,avoids each draw from private process need to verify he behavior of the public process and the behavior of the private process are consistent,ensures that using the public process replacing private process in cross-organizational interaction,won't make the execution of cross-organizational process problems...