Management Of Subject-oriented Business Processes

With the vigorous development of the world economy and technology, business process management has a high degree of concern in the field of scientific research and the practical application. Many domestic and foreign experts and scholars exploring ideas and methods of process management, at the same time, based on scientific research, enterprises through the optimization and improvement of business processes, improve their competitiveness and expand market share. The Subject Business Process Management (S-BPM) is the latest thinking in the field of business process management, in line with standard word order of the natural language natural language structure subject-predicate-object, it makes business processes and natural language easier to understand; its clear structure have shown a very good value for scientific research and application. W.M.P. van der Aalst and other experts summed up the workflow patterns which often occur in the process of business process modeling, the applicability and effectiveness of the used to compare different modeling tools to provide a comparative assessment of the effective standard. The PI calculus as a way of describing the process algebra for mobile systems, can be used for concurrent and dynamic systems modeling, and is a very important position in concurrency theory and distributed theory.In this paper, the more complexity and variability of emerging business processes than traditional business process, analysis the limitations of the traditional modeling methods, introduced S-BPM; First, we discuss the limitations and incompleteness of the S-BPM modeling approach PASS, defined relative specification S-BPM modeling approach PASS++, and analysis and verification the skills of PASS++, assessment the capability of PASS++;and then, analysis the formal theoretical basis of PASS++, mapping PASS++to PI calculus; and proposed basic structure of PASS++custom tools; finally, use formal verification tools MWB, simulation and verification of business process models. Hoped that this work has certain research value and practical significance on the S-BPM analysis, modeling, simulation verification system architecture.The main innovative features:I Analysis the limitations and incompleteness of PASS in S-BPM, defined relative standardize modeling approach PASS++of S-BPM, and analysis and verification the skills of PASS++;II Comparative the modeling capabilities of PASS++, and proposed basic structure of PASS++custom tools;III Analysis the formal theoretical basis of PASS++, proposed the mapping rules between PASS++and PI calculus.