Research On Formal Modeling Of Parallel Interactions Among Collaborative Application Processes

The continuous development of collaborative technology and further research on collaborative application make the application processes getting more and more complex in complicated network environment. As the development of processes’ collaboration, parallelism and large-scale, the interactions among sub-processes become more complicated and frequent. It may lead to various interactive bottlenecks in interactions among application processes. In order to solve the problem, the research on parallel interactions among collaborative application processes has been studied in this thesis. A novel process description model of collaborative processes, called Parallel Interaction Petri Net (PIPN) that is based on extended Petri Net, was proposed. The following several aspects have mainly been done.(1) Research on the three analysis views of parallel interactions among collaborative application processes. This thesis analyzed in depth the collaboration, interactivity and parallelism of collaborative application processes. After that, according to the current research of processes’interactions, three analysis views of parallel interactions were summarized:Unidirectional or Bidirectional, Single-point or Multipoint, Synchronous or Asynchronous. (2) Issues on a novel model-PIPN. Considering the complexity and parallelism of interactions among collaborative application processes, this thesis proposed a novel model called Parallel Interaction Petri Net (PIPN), which laid the foundation for the interactive modes among collaborative application processes.(3) Studies on the formal definitions of parallel interactive modes. According to three analysis views of parallel interactions, seven parallel interactive modes among collaborative application processes were proposed after breaking through the limitations in traditional interactive modes. Then the formal definitions and control flow graphs were presented.(4) Research on the liveness retentivity of parallel interactive modes. After analyzing the models of interactive modes deeply, the modeling guidance of parallel interactions among collaborative application processes was proposed. Then, the conditions and proof of liveness was given. Afterwards, an instance of collaborative application process, called micro blog which could show the reasonable and feasible of PIPN, described the participants to finish the parallel interactive processes collaboratively and analyzed the error interactions to explain the necessity of parallel interactive modes modeling.