• Korean Management Science Review
• /
• v.20 no.2
• /
• pp.17-31
• /
• 2003

A workflow management system is a software system to support accurate execution, control and management of business processes. It has been known that the system automatically executes complex processes and effectively manages them to improve the productivities. However though existing systems assure the automatic execution of an individual process, there is a room for enhancement from the view of efficient execution of all the processes. In this paper, we propose a method of executing business processes efficiently by introducing the PERT/CPM techniques in the workflow management systems. We first consider the differences between workflow process models and PERT/CPM models, and then develop a method of calculating the critical path and slack time in workflow processes. This leads us to develop a dispatching rule that can guide task performers to prioritize their tasks to increase the efficiency of ail the processes. We have carried out a set of simulation experiments and analyzed the results to demonstrate the effectiveness of the proposed method.

• Journal of Internet Computing and Services
• /
• v.17 no.5
• /
• pp.131-139
• /
• 2016

This paper presents a workflow validation method for data-intensive graphical workflow models using real-time workflow tracing mode on data-intensive workflow designer. In order to model and validate workflows, we try to divide as modes have editable mode and tracing mode on data-intensive workflow designer. We could design data-intensive workflow using drag and drop in editable-mode, otherwise we could not design but view and trace workflow model in tracing mode. We would like to focus on tracing-mode for workflow validation, and describe how to use workflow tracing on data-intensive workflow model designer. Especially, it is support data centered operation about control logics and exchange variables on workflow runtime for workflow tracing.

• Journal of Internet Computing and Services
• /
• v.11 no.6
• /
• pp.145-157
• /
• 2010

In this paper, we describe the design details and their implementation of a workflow model (or business process model) analysis system to be used for enhancing resource allocation efficiency and operational performance of enterprise workflows. In other word, the analysis works, proposed in this paper, on XPDL-based workflow models aim to verify the static aspects of the workflow models. Also, the system implemented in the paper is able to not only analyze structural patterns and resource allocation plans' efficiency of enterprise workflows modeled by the XPDL process definition language developed by the international standardization organization, WfMC, but also provide various forms of analytical reports. Conclusively, we strongly believe that the workflow analysis system developed in the paper enables workflow modelers to not only analyze and scrutinize structural patterns of their workflow models but also estimate their process resources assigning and planning measurements in order to improve accuracy, reliability and efficiency of enterprise workflows.

• Journal of Internet Computing and Services
• /
• v.16 no.5
• /
• pp.59-66
• /
• 2015

A stochastic modeling approach as a mathematical method for workflow intelligence is widely used for analyzing and simulating workflow models in the literature. In particular, as a resource-centric modeling approach, this paper proposes a stochastic model to represent work-handover relationships between performers in a workflow-supported social network. Calculating probabilities for the work-handover relationships are determined by two types of probabilities. One is the work-transition probability between activities, and the other is the task assignment probability between activities and performers. In this paper, we describe formal definitions of stochastic workflow models and stochastic work-handover relationship models, as well. Then, we propose an algorithm for extracting a stochastic work-handover relationship model from a stochastic workflow model. As a consequence, the proposed model ought to be useful in performing resource-centric workflow simulations and model-log comparison analyses.

• Journal of the Korea Computer Industry Society
• /
• v.6 no.3
• /
• pp.437-446
• /
• 2005

Workflow mining is a newly emerging research issue for rediscovering and reengineering workflow models from workflow logs containing information about workflow being executed on the workflow engine. This paper newly defines a workflow process reduction mechanism that formally and automatically reduces an original workflow process to a minimal set of activities, which was used proposed 'E-walk series analysis algorithm'. Main purpose of this paper is to minimize discrepancies between the workflow process modeled and the enacted workflow process as it is actually being executed. That means, we compare a complete set of activity firing sequences on buildtime with workflow execution logs which was generate on runtime. For this purpose we proposed two algorithm, the one is 'Activity-Dependent Net Algorithm' and the other is 'E-Walk Series Analysis Algorithm'.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.8
• /
• pp.4108-4122
• /
• 2019

Workflow process mining is becoming a more and more valuable activity in workflow-supported enterprises, and through which it is possible to achieve the high levels of qualitative business goals in terms of improving the effectiveness and efficiency of the workflow-supported information systems, increasing their operational performances, reducing their completion times with minimizing redundancy times, and saving their managerial costs. One of the critical challenges in the workflow process mining activity is to devise a reasonable approach to discover and recognize the bottleneck points of workflow process models from their enactment event histories. We have intuitively realized the fact that the iterative process pattern of redo-activities ought to have the high possibility of becoming a bottleneck point of a workflow process model. Hence, we, in this paper, propose an algorithmic approach and its implementation to discover the redo-activities and their performers' involvements patterns from workflow process enactment event logs. Additionally, we carry out a series of experimental analyses by applying the implemented algorithm to four datasets of workflow process enactment event logs released from the BPI Challenges. Finally, those discovered redo-activities and their performers' involvements patterns are visualized in a graphical form of information control nets as well as a tabular form of the involvement percentages, respectively.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 2003.11a
• /
• pp.55-63
• /
• 2003

Workflow Management System (WFMS) is a software system to support an efficient execution, control and management of complex business processes. Since traditional commercial systems mainly focus on automating processes, they don't have methods for enhancing the task performer's efficiency. In this paper, we propose a new method of executing business processes more efficiently in that a whole process is scheduled considering the degree of the participants' workload. The method allows managing the largest constraints among constituent resources of the process. We utilize DBR scheduling techniques to develop the method. We first consider the differences between workflow process models and DBR application models, and then develop the modified drum, buffer and rope. This leads us to develop WF-DBR (WorkFlow-DBR) that can control the proper size of the task performers' work list and arrival rate of process instances. Use of WF-DBR improves the efficiency of the whole process as well as the participants' working condition. We then carry out a set of simulation experiments and compare the effectiveness of our approach with that of scheduling techniques used in existing systems.

• Journal of Internet Computing and Services
• /
• v.4 no.6
• /
• pp.43-55
• /
• 2003

Workflow mining is a newly emerging research issue for rediscovering and reengineering workflow models from workflow logs containing information about workflows being executed on the workflow engine. In this paper, we proposed workcase mining which was used dependency among activities. Main purpose of this paper is to minimize discrepancies between the modeled workflow process and the enacted workflow process as it is actually being executed. That is, we can get a complete set of activity firing sequences on buildtime. Besides, we can discover from workflow logs that which path out of all reachable paths a workcase has actually followed through on runtime. For this purpose we proposed two algorithm, the one is 'Activily-Dependent Net Algorithm' and the other is 'E-Walk Series Analysis Algorithm'.

• The Journal of Society for e-Business Studies
• /
• v.14 no.1
• /
• pp.35-56
• /
• 2009

Many process modeling techniques, such as Petri-net, UML Activity Diagram, and EPC, are used to design process models. In this paper, we analyze ubiquitous process design based on workflow patterns. In particular, we focus on process design using active rules that have the form of Event-Condition-Action, and deal with the WS-ECA language, which was devised for ubiquitous web services coordination. We first check whether workflow patterns can be designed with ECA rules, and we then provide WS-ECA representations for ECA rules of the patterns. The contribution of this paper is that ECA rule-based process models were presented based on workflow patterns and they can be a guideline for ubiquitous process modeling.

• Journal of Internet Computing and Services
• /
• v.14 no.2
• /
• pp.25-34
• /
• 2013

In this paper, we propose an activity-performer bipartite matrix generation algorithm for analyzing workflow-supported human-resource affiliations in a workflow model. The workflow-supported human-resource means that all performers of the organization managed by a workflow management system have to be affiliated with a certain set of activities in enacting the corresponding workflow model. We define an activity-performer affiliation network model that is a special type of social networks representing affiliation relationships between a group of performers and a group of activities in workflow models. The algorithm proposed in this paper generates a bipartite matrix from the activity-performer affiliation network model(APANM). Eventually, the generated activity-performer bipartite matrix can be used to analyze social network properties such as, centrality, density, and correlation, and to enable the organization to obtain the workflow-supported human-resource affiliations knowledge.