Activity based costing (ABC) is a method which can solve many limitations of the traditional cost systems in manufacturing management. In this paper, we investigate how to integrate ABC with workflow technology, and ...Activity based costing (ABC) is a method which can solve many limitations of the traditional cost systems in manufacturing management. In this paper, we investigate how to integrate ABC with workflow technology, and build a workflow meta model supporting ABC. Firstly, the concept and concept model of activity based costing (ABC) are introduced. Next, the meta model of P -PROCE (Process, Product, Resource, Organization, and Cost & Evaluation) is presented. Then the cost meta model is defined by adding ABC to P -PROCE model. Object constraint language (OCL) is used to express meta model and constraints. Finally, we show an enterprise modeling and simulation tool based on the workflow meta model. We can systematically construct an enterprise model and easily and efficiently conduct simulation. Moreover it enables us to analyze and evaluate business processes and its costs.展开更多
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.展开更多
Flexibility plays an important part in the application of the workflow management system and has become one of the major research hotspots in this field recently. When adapting a workflow process definition to specifi...Flexibility plays an important part in the application of the workflow management system and has become one of the major research hotspots in this field recently. When adapting a workflow process definition to specific needs or changing the structure of the workflow process as a result of evolutionary change, coarse-grained reuse of work- flow is of significance to the reduction of the work effort, modeling system and enhancing the reliability of their work. Based on decomposition of workflow tasks and teamwork, this paper proposes an approach to describing interoperability behavior between roles in teamwork by using activity-pattern. In activity-pattern, abstract mechanisms of activity specialization and activity aggregation are presented, enabling reuse of workflow by means of reuse of interoperability behavior between roles. The experimental system shows that our approach presented is feasible.展开更多
文摘Activity based costing (ABC) is a method which can solve many limitations of the traditional cost systems in manufacturing management. In this paper, we investigate how to integrate ABC with workflow technology, and build a workflow meta model supporting ABC. Firstly, the concept and concept model of activity based costing (ABC) are introduced. Next, the meta model of P -PROCE (Process, Product, Resource, Organization, and Cost & Evaluation) is presented. Then the cost meta model is defined by adding ABC to P -PROCE model. Object constraint language (OCL) is used to express meta model and constraints. Finally, we show an enterprise modeling and simulation tool based on the workflow meta model. We can systematically construct an enterprise model and easily and efficiently conduct simulation. Moreover it enables us to analyze and evaluate business processes and its costs.
文摘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.
基金This research is supported by National Natural Science Foundation of China （60574028） the Key Projects of Natural Science Foundation of Edtication Department of Anhui Province of China （2006kj016A, 2005kj065）
文摘Flexibility plays an important part in the application of the workflow management system and has become one of the major research hotspots in this field recently. When adapting a workflow process definition to specific needs or changing the structure of the workflow process as a result of evolutionary change, coarse-grained reuse of work- flow is of significance to the reduction of the work effort, modeling system and enhancing the reliability of their work. Based on decomposition of workflow tasks and teamwork, this paper proposes an approach to describing interoperability behavior between roles in teamwork by using activity-pattern. In activity-pattern, abstract mechanisms of activity specialization and activity aggregation are presented, enabling reuse of workflow by means of reuse of interoperability behavior between roles. The experimental system shows that our approach presented is feasible.
