• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.9
• /
• pp.385-394
• /
• 2007

In this paper, we present a workflow system which manages efficiently operations in workflow form. The workflow of this system is made up of concepts of meta-services for increasing reusability. Thus users can execute the workflow by calling their services. Also, GUI workflow editor is developed with the workflow system which provides users with convenience. Furthermore the workflow model is divided into 3-layers such as service, flow, and task layer for reusability and scalability of workflow. Therefore, this middleware can use grid resources effectively and offer convenience to users.

• IE interfaces
• /
• v.17 no.2
• /
• pp.200-207
• /
• 2004

Because the designed workflow may contain potential errors which may result in deadlocks, livelocks and so on, it is important to analyze the correctness of a workflow definition before it is put into the run time environment. Proposed in this paper is a transformation procedure of an UML activity diagram into a Petri net for the analysis of a workflow. By combining the strengths of easy-to-use functionality of an activity diagram and the analysis power of a Petri net, workflow analysts in the enterprise can model and analyze various kinds of workflow definition more easily and accurately.

• Journal of Internet Computing and Services
• /
• v.14 no.5
• /
• pp.77-85
• /
• 2013

This paper proposes a closeness centrality analysis algorithm for workflow-supported social networks that represent the collaborative relationships among the performers who are involved in a specific workflow model. The proposed algorithm uses the social network analysis techniques, particularly closeness centrality equations, to analyze the closeness centrality of the workflow-supported social network. Additionally, through an example we try to verify the accuracy and appropriateness of the proposed algorithm.

• Journal of KIISE:Software and Applications
• /
• v.32 no.6
• /
• pp.486-501
• /
• 2005

XPDL is a XML-based language for process definition exchange that is proposed by WfMC. This paper propose a model which model XPDL document structure (Schema) using UML in order to define and to exchange workflow process, and make business flow understanding ease for inter-business cooperation. So, we define mapping rules in which map XPDL documents into UML class diagram and UML activity diagram. By these mapping rules, elements composing XPDL process meta-model are mapped into UML class diagram, and process activities are mapped into UML activity diagram. Also, we apply proposed mapping technique to model a workflow of (')Credit card state check system.(')

• Proceedings of the CALSEC Conference
• /
• 2004.02a
• /
• pp.350-354
• /
• 2004

□ Many specification language has been developed for workflow modeling, but their emphasis on the process semantics make it difficult for use on the business process modeling. □ Also their lack of understanding of global view of Business process adds another problem to model workflow in a seamless and accurate and timely fashion(omitted)

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

• The Journal of Society for e-Business Studies
• /
• v.12 no.3
• /
• pp.235-249
• /
• 2007

Workflow systems are software systems that control the execution of long-term processes. Members of an organization are in charge of executing processes. A work assignment policy, i.e who should perform a certain piece of process, has to be modeled and implemented in workflow systems. Organizations may have a large variety of problems in work assignment, and it may not be feasible to devise a single model to cover all problems. In this paper, we introduce generality to work assignment design problems in workflow systems We provide a meta-model based approach which enables us to define arbitrary problem oriented work assignment policies.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.6
• /
• pp.377-382
• /
• 2013

A convergence software development methodology based on product line engineering provides an architecture model for application development and it also provides workflow as a behavior specification of control component development to develop transaction centric application. To effect a change on software development based on product line engineering it has to be supported by a tool. But almost workflow modeling tools dose not support product line engineering concept. So we need new workflow modeling tool to support the convergence software development methodology. In this paper, we introduce a toolset for workflow modeling that consists of eclipse plug-in applications and open source tool and describe the relationships of tools through example.

• Journal of KIISE:Software and Applications
• /
• v.32 no.6
• /
• pp.473-485
• /
• 2005

UML activity diagram is useful to model business process and workflow by reason of its suitability to present dynamic aspect of system. However it Is difficult to present precise semantics which is taken as important in workflow system with the guide provided by OMG to the UML activity diagram. This paper suggests workfolw system modelling methodology by applying ASM semantics to the activity diagram after extending its semantics to correspond to workflow system characteristics. Through the exact definition to formal semactics based on ASM it is possible to effectively model workflow.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.718-721
• /
• 2004

This paper introduces a novel method of partitioning a cyclic workflow graph into the subgraphs of acyclic flows. The way of iterative classification of nodes according to feedback structures and deriving subgraphs of acyclic flows is described with illustrative examples. The proposed method allows a cyclic workflow model to be analyzed further, if necessary, with several smaller subflows, which are all acyclic.