To achieve an on-demand and dynamic composition model of inter-organizational business processes, a new approach for business process modeling and verification is introduced by using the pi-calculus theory. A new busi...To achieve an on-demand and dynamic composition model of inter-organizational business processes, a new approach for business process modeling and verification is introduced by using the pi-calculus theory. A new business process model which is multi-role, multi-dimensional, integrated and dynamic is proposed relying on inter-organizational collaboration. Compatible with the traditional linear sequence model, the new model is an M x N multi-dimensional mesh, and provides horizontal and vertical formal descriptions for the collaboration business process model. Finally, the pi-calculus theory is utilized to verify the deadlocks, livelocks and synchronization of the example models. The result shows that the proposed approach is efficient and applicable in inter-organizational business process modeling.展开更多
activities.Ex-periments on a synthetic log of the non-secondary hy-pertension MTP and empirical findings demonstrate the effectiveness of our approach.The results show that the process mining in our approach framework...activities.Ex-periments on a synthetic log of the non-secondary hy-pertension MTP and empirical findings demonstrate the effectiveness of our approach.The results show that the process mining in our approach framework can automatically generate more accurate MTP mod-els,and the subprocess models based on treatment pat-terns make the models easy to understand.展开更多
As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new appro...As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π calculus, thus facilitating the optimization of business processes.展开更多
Data-centric modeling approach for workflow specification and design has received considerable attention from research and development communities.An architecture for a workflow management system named EZFLOWS was out...Data-centric modeling approach for workflow specification and design has received considerable attention from research and development communities.An architecture for a workflow management system named EZFLOWS was outlined.Key components and research issues associated with the development of EZFLOWS were discussed.展开更多
Traditional systems for enterprise modeling and business process control are often static and cannot adapt to the changing environment. This paper presents a workflow-based method to dynamically execute the enterpris...Traditional systems for enterprise modeling and business process control are often static and cannot adapt to the changing environment. This paper presents a workflow-based method to dynamically execute the enterprise model. This method gives an explicit representation of the business process logic and the relationships between the elements involved in the process. An execution-oriented integrated enterprise modeling system is proposed in combination with other enterprise views. The enterprise model can be established and executed dynamically in the actual environment due to the dynamic properties of the workflow model.展开更多
基金The National Natural Science Foundation of China(No60473078)
文摘To achieve an on-demand and dynamic composition model of inter-organizational business processes, a new approach for business process modeling and verification is introduced by using the pi-calculus theory. A new business process model which is multi-role, multi-dimensional, integrated and dynamic is proposed relying on inter-organizational collaboration. Compatible with the traditional linear sequence model, the new model is an M x N multi-dimensional mesh, and provides horizontal and vertical formal descriptions for the collaboration business process model. Finally, the pi-calculus theory is utilized to verify the deadlocks, livelocks and synchronization of the example models. The result shows that the proposed approach is efficient and applicable in inter-organizational business process modeling.
基金Chinese National Key Research and Development Program(No.2017YFB1400604).
文摘activities.Ex-periments on a synthetic log of the non-secondary hy-pertension MTP and empirical findings demonstrate the effectiveness of our approach.The results show that the process mining in our approach framework can automatically generate more accurate MTP mod-els,and the subprocess models based on treatment pat-terns make the models easy to understand.
文摘As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π calculus, thus facilitating the optimization of business processes.
基金Project supported by the NSF(No.IIS-0812578),the Grant from IBM to UCSB,and the Grant from China Scholarship Council
文摘Data-centric modeling approach for workflow specification and design has received considerable attention from research and development communities.An architecture for a workflow management system named EZFLOWS was outlined.Key components and research issues associated with the development of EZFLOWS were discussed.
基金Supported by the Post- Doctoral Science Foundationof China
文摘Traditional systems for enterprise modeling and business process control are often static and cannot adapt to the changing environment. This paper presents a workflow-based method to dynamically execute the enterprise model. This method gives an explicit representation of the business process logic and the relationships between the elements involved in the process. An execution-oriented integrated enterprise modeling system is proposed in combination with other enterprise views. The enterprise model can be established and executed dynamically in the actual environment due to the dynamic properties of the workflow model.
