• Journal of Internet Computing and Services
• /
• v.10 no.3
• /
• pp.1-8
• /
• 2009

The primary tasks of a workflow management system specify workflow models with respect to resource, control-flow, data-flow, functional, and operational perspectives, and to enact their workcases (workflow instances). In terms of enacting workflow models, the essential criterion grading the quality of the system is "how much is the system able to guarantee the correctness of workflow models' enactment?". Particularly, the workflow determinacy problem, which may be caused by the interference of the control-flow and the data-flow specifications, is the most challenging issue in guaranteeing the correctness of the system. We are able to solve the problem by either of the following two approaches-analysis of workflow model and verification of workflow enactment. In the paper, we propose a technique that guarantee the system's correctness through verifying workflow enactment. In other words, the technique is able to detect the conflicts of control-flow and data-flow enactments existing on a workflow model, which causes the system to be non-determinant in enacting workflow models. Finally, by applying the technique to the e-Chautauque workflow management system developed by the authors' research group, we prove that the technique is a feasible solution for the workflow determinacy problem.

• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.5_6
• /
• pp.214-227
• /
• 2007

A context-aware service in ubiquitous computing environments aims to supply services according to users' situation information that is dynamically occurring. The existing context-aware workflow systems, such as FollowMe and uFlow, provide context-aware services based on a workflow, which uses users' situation information as transition conditions of a service. But they can't apply users' new service demands, which may dynamically occur even when a workflow is on going, to a workflow scenario. In this paper we propose a context-aware workflow system, which can reapply users' new service demands into an initial workflow without interrupting or deleting the workflow. The proposed system can provide context-aware services without interrupting of service by recognizing exactly a place holder that has to be changed in a workflow scenario and by reconstructing only the changed parts through an incremental parsing method. Therefore, a user can immediately apply his new service demands to an on-going workflow scenario, and he can be guaranteed continuous executions of context-aware services according to a workflow scenario, which includes new service demands.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.276-278
• /
• 1998

근래 1,2년을 사이로 국내에서도 workflow system에 대한 인식이 높아지고, 실제 업무에 도입하려는 시도가 이루어지고 있다. 그러나, 아직까지는 실험적인 단계이며, 실질적인 적용까지는 시간이 필요할 것이라고 생각된다. 대신에 국내에서는 전자결재 시스템이 많이 사용되고 있다. 한편, workflow system은 비즈니스 process의 정의가 build time에 이루어지고 run time에는 그 정의에 따라 수행되는 방법이 일반적인데, 이런 방식이 주는 단점은 초기 build time에 process에 대한 이해가 부족한 상태에서 process가 정확하게 정의되기 어렵다는 점과, process의 유연성이 부족하다는 점, know-how를 잃어버리기 쉽다는 점 등이다. 따라서, 본 논문에서는 incremental approval방식이 유리하다고 주장한다. 한국의 기업환경과 실정의 고려해 볼 때 더욱 그렇다고 주장한다. 또, 전자결재 시스템과 workflow system의 유사점과 차이점을 분석하고 현재의 전자결재 시스템을 이용하면, workflow system의 incremental approval을 위한 prototype이 개발될 수 있다고 주장한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.3
• /
• pp.1702-1721
• /
• 2019

A workflow process (or business process) management system helps to define, execute, monitor and manage workflow models deployed on a workflow-supported enterprise, and the system is compartmentalized into a modeling subsystem and an enacting subsystem, in general. The modeling subsystem's functionality is to discover and analyze workflow models via a theoretical modeling methodology like ICN, to graphically define them via a graphical representation notation like BPMN, and to systematically deploy those graphically defined models onto the enacting subsystem by transforming into their textual models represented by a standardized workflow process definition language like XPDL. Before deploying those defined workflow models, it is very important to inspect its syntactical correctness as well as its structural properness to minimize the loss of effectiveness and the depreciation of efficiency in managing the corresponding workflow models. In this paper, we are particularly interested in verifying very large-scale and massively parallel workflow models, and so we need a sophisticated analyzer to automatically analyze those specialized and complex styles of workflow models. One of the sophisticated analyzers devised in this paper is able to analyze not only the structural complexity but also the data-sequence complexity, especially. The structural complexity is based upon combinational usages of those control-structure constructs such as subprocesses, exclusive-OR, parallel-AND and iterative-LOOP primitives with preserving matched pairing and proper nesting properties, whereas the data-sequence complexity is based upon combinational usages of those relevant data repositories such as data definition sequences and data use sequences. Through the devised and implemented analyzer in this paper, we are able eventually to achieve the systematic verifications of the syntactical correctness as well as the effective validation of the structural properness on those complicate and large-scale styles of workflow models. As an experimental study, we apply the implemented analyzer to an exemplary large-scale and massively parallel workflow process model, the Large Bank Transaction Workflow Process Model, and show the structural complexity analysis results via a series of operational screens captured from the implemented analyzer.

• Journal of the Korea Computer Industry Society
• /
• v.5 no.1
• /
• pp.19-28
• /
• 2004

The major problems in workflow system which controls business process arise with the difficulty of managing a vast volume of data. In this paper, a more reasonable method to manage workflow data is proposed after analyzing the data being used in workflow system. The data used in workflow system can be classified to model data, control data, workitem data and relevant data. The prime accent is placed on the workflow model data, as the model data is normally consistent and referenced more frequently that if the data is used efficiently, it is anticipated to give a good performance to workflow system. Relying on an intensive study, this paper designs and develops a model data system. This model data system is based on memory and manages versions, consistency, dynamic modification, and etc

• 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.

• Asia pacific journal of information systems
• /
• v.11 no.3
• /
• pp.149-164
• /
• 2001

In this paper, an adaptive workflow management system, called K-WFMS, is proposed. The K-WFMS integrates database system and knowledge-based system to automate business processes that are executed with complex and various business rules such as task scheduling, role resolution, and exception handling rules. The K-WFMS is adaptable in the sense that it allows its users to change workflow schema in the course of workflow execution as well as it provides rule-based modeling constructs to handle predictable exceptions during workflow modeling. The overall architecture and implementation of K-WFMS are explained, and the change propagation mechanism to maintain validity of workflow model is suggested.

• Journal of Mechanical Science and Technology
• /
• v.20 no.10
• /
• pp.1527-1533
• /
• 2006

Workflow systems have benefited the enterprise and customer in many aspects. But with the increasing complexity of the system, workflow design becomes a complicated and time-consuming process. In this paper, we model the system based on the Hierarchical Colored Petri Nets (HCPN) to avoid the complexity of the system, and the super nets of the model are abstracted as independent components to increase the flexibility, acceptability and maintainability of the system. Another important characteristic of this model is its convenience for reuse and workflow mining. The development process of the overhead traveling crane was given to demonstrate the proposed method.

• The Journal of Information Systems
• /
• v.12 no.1
• /
• pp.159-175
• /
• 2003

During the early stage of radioactive disposal programs, important issues related with quality assurance of data sets, methodologies, R&D procedures are recognized as important ones. This paper focused on the development of web-based workflow standards for the QA procedures of the radioactive waste disposal programs. The flow of process was analyzed based on workflow concepts proposed by the Workflow Management Coalition (WfMC). QA system is based on the principles of T2R3. T2R3 Workflow was used to standardize and restructure the business and/or work process in the industry or organization. The WfMC has identified five functional interfaces to a workflow service as part of its standardization program. They are composed of process definition interface, worklist handler, application program interface, interface between workflows, and system management. The task flow and QA program were defined based on the workflow ideas. QA procedures for the R&D results of radiation disoposal were analyzed following the reference model of workflow. In addition, six program run list were created and implemented. The creation, revision, and approval of the test data were designed to be inplemented on the web environment. Through this system, R&D procedures such as planning, research, documentation, internal review and future independent peer review processes could be well organized and stored more systematically on the database and knowledge base. This will encourage the usage and data sharing between interested parties through it's clear and transparent workflow standards.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.1
• /
• pp.61-70
• /
• 2000

The design and development of a Web-based Workflow Management System (WfMS) is described in this paper. WfMSs are employed by many organizations to manage their business processes efficiently. The goal of this research is to provide an effective management of design processes in a distributed and heterogeneous environment-an environment in which workflow participants are geographically dispersed and use different computing platforms. We identify the requirements of WfMSs for the distributed and heterogeneous environment. We present an approach to applying the Web technology to was. The developed system is composed of three main modules: Worflow Engine, Web-based clients, and Process Designer. The workflow engine is implemented in pure Java for portability to heterogeneous platforms. furthermore, the client interfaces are all programmed using applets, and thus they can be readily accessed through the Internet/intranet. The Process Designer provides a build-time function of generating process specifications. Some important functions of the developed system are explained in this paper. A prototype system has been developed and applied to design processes. The system allows effective cooperation among designers who may be geographically separated.