Aspect Oriented Business Process Modeling And Tracking

Business process models tend to become complex quickly, which makes them difficult to communicate, maintain and validate, reducing the complexity of models is an important issue in the Business Process Management (BPM) area[1]. Business process models encompass different activities, which address different concerns of business processes. It is common that some of these concerns are reduplicative, even scattered and tangled across several business processes[2], once omit the changes to these concerns, which leads to inconsistent.Aspect oriented business process modeling advocates separating different concerns from the main process and modeling them separately, and then combine aspects and main process with a certain weaving mechanism. But there is a problem on how to verify the impacts of weaved aspect on the main process.The target of aspect tracking is to trace the correctness and consistency of aspect weaving. Correctness tracing validate whether the weave of aspect brings defects in structure or property to the business process model. And consistency tracking verify the impacts of weaved aspect on the main process, and validate whether the impacts are normal or abnormal.In this paper, we studies on aspect-oriented business process modeling and model validation from the perspective of business process. First, defines the aspect-oriented business process models. We defines the business process using formalization method, extends Petri-Nets with aspect-oriented theory, and modeling on existing business process models. Second, trace the correctness of the aspect weaving. We presents the correctness criteria, propose the tracing method of the correctness of the aspect weaving; the content of correctness tracing include the correctness of structure and the correctness of properties, covers the following properties:aliveness properties, safety properties, without collision properties, and without structure deadlock. Then, trace the correctness of the aspect weaving. We presents the normal influences criteria, ensure that after weaving, weaved aspects can carry out its functions correctly, and does not destroy the function of the original business process. Then we propose an aspect tracing method in aspect oriented business process modelling. We propose a correctness tracing method of aspect weaving, under the same initial identification and the target identification, analysis activity sequence of two business process models of Petri-Nets before and after the aspects weaving, to analysis the consistency of two business process models before and after aspects weaving. Finally, empirical research. A case study based on the banking business process is discussed to demonstrate the proposed aspect oriented business process modeling methods and tracking method.