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

• The KIPS Transactions:PartD
• /
• v.10D no.7
• /
• pp.1189-1196
• /
• 2003

Owing to the developed If industry, many people are more and more interested in Workflow which is an automated business processing system. In this paper, we present basic structures and various parallel processing structures of a workflow using EMFG (Extended Mark Flow Graph) that makes conceptional design available. And then, We design a workflow with EMFG. We propose the commitability verification method to check whether a workflow can complete or not and the logical bug verification method to find whether invalid components exist or not by using simulation result of it. The proposed EMFG modeling and analysis method for a workflow make it possible to become a visual and formal design. Also, it makes intuitional and mathematical analysis possible.

• Journal of Internet Computing and Services
• /
• v.9 no.6
• /
• pp.89-97
• /
• 2008

Recently, many organizations such as companies or institutions have demanded induction of very large-scale workflow management system in order to process a large number of business-instances. Workflow-related vendors have focused on physical extension of workflow engines based on device-level clustering, so as to provide very large-scale workflow services. Performance improvement of workflow engine by simple physical-connection among computer systems which don't consider logical-level software architecture lead to wastes of time and cost for construction of very large-scale workflow service environment. In this paper, we propose methodology for performance improvement based on logical software architectures of workflow engine. We also evaluate scalable performance between workflow engines using the activity instance based architecture and workcase based architecture, our proposed architecture. Through analysis of this test's result, we can observe that software architectures to be applied on a workflow engine have an effect on scalable performance.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.151-153
• /
• 2003

기업의 비즈니스 프로세스를 관리하는 역할을 하는 워크플로우 시스템에서 대용량의 비즈니스 업무를 처리하기 위한 초대형 워크플로우 시스템을 구성하고자 할 때 중요한 문제 중의 하나는 대량의 비즈니스 프로세스 인스턴스를 유지 및 관리하는 문제이다. 본 논문에서는 초대형 워크플로우에 대한 개념을 조사하고 초대형 워크플로우 시스템을 위하여 제안된 워크케이스 기반 워크플로우 구조를 이용하여 성능평가를 위한 기본적인 워크플로우 기능인 비즈니스 프로세스 처리부분에 초점을 맞춘 워크플로우 시스템을 설계 및 구현한다. 구현된 워크플로우 시스템으로 예제 프로세스인 고용 프로세스를 정의하여 몇 개의 고용 프로세스를 유지 및 관리 할 수 있는 지를 분석하여 본 논문의 초대형 워크플로우 시스템의 성능을 평가한다.

• Annual Conference of KIPS
• /
• 2002.11c
• /
• pp.2301-2304
• /
• 2002

IT 산업의 발달로 조직의 자동화된 업무 흐름인 워크플로우에 대한 관심과 연구가 활발해지고 있다. 본 논문에서는 워크플로우 설계시 자주 사용되는 기본 구조를 개념적 설계와 수학적 해석이 가능한 EMFG(Extended Mark Flow Graph)로 표현하고 이를 이용하여 워크플로우를 모델링한다. 모델링된 EMFG로 도달가능트리를 구현하여 워크플로우의 수행완료 가능성과 논리적 오류의 존재 여부를 검증한다. 또한 논리적 오류가 발생할 경우에 이를 제거하는 방법을 제안하고 이를 통해 워크플로우의 정형적 설계와 동적 분석을 가능하게 한다.

• Journal of Internet Computing and Services
• /
• v.20 no.1
• /
• pp.87-96
• /
• 2019

In this paper, we propose a MapReduce-supported clustering technique for collecting and classifying distributed workflow enactment event logs as a preprocessing tool. Especially, we would call the distributed workflow enactment event logs as Workflow BIG-Logs, because they are satisfied with as well as well-fitted to the 5V properties of BIG-Data like Volume, Velocity, Variety, Veracity and Value. The clustering technique we develop in this paper is intentionally devised for the preprocessing phase of a specific workflow process mining and analysis algorithm based upon the workflow BIG-Logs. In other words, It uses the Map-Reduce framework as a Workflow BIG-Logs processing platform, it supports the IEEE XES standard data format, and it is eventually dedicated for the preprocessing phase of the ${\rho}$-Algorithm that is a typical workflow process mining algorithm based on the structured information control nets. More precisely, The Workflow BIG-Logs can be classified into two types: of activity-based clustering patterns and performer-based clustering patterns, and we try to implement an activity-based clustering pattern algorithm based upon the Map-Reduce framework. Finally, we try to verify the proposed clustering technique by carrying out an experimental study on the workflow enactment event log dataset released by the BPI Challenges.

• Journal of KIISE:Databases
• /
• v.28 no.3
• /
• pp.395-405
• /
• 2001

In this paper, we analyze workflow management system in programming language aspects. Many workflow characteristics such as workflow relevant data, workflow control structures, and workflow application invocations are studied and compared with those of distributed parallel programs. Although there exist minor differences between them, we found that there exist surprisingly many analogies between them. Based on this observation, we suggest to view workflow management system as distributed parallel program development platform. This new view on workflow management system provides users consistent view on workflow and workflow management system and with this view workflow management system designer can cope with arbitrary requests from the users keeping design consistency. Moreover the analogy between workflow and program provides a basis to apply program analysis techniques to the analysis of workflow.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.484-486
• /
• 2004

유비쿼터스 컴퓨팅 환경의 워크플로우에서 컨텍스트 정보를 표현하기 위한 요구사항을 분석하고 이러한 요구사항을 만족하기 위한 트리플 구조(주어 동사 목적어) 기반의 단순 컨텍스트 모델과 합성 컨텍스트 모델을 제안한다. 제안한 워크플로우를 위한 컨텍스트 모델은 표현력이 강력하고, 확장이 쉽고, 재사용이 가능하며 인공지능적인 처리에 용이한 정보 구조를 제공한다.

• Proceedings of the Korea Database Society Conference
• /
• 2002.10a
• /
• pp.403-416
• /
• 2002

워크플로우 관리 시스템은 정부나 기업과 같은 조직의 작업을 처리하기 위한 비즈니스 프로세스를 컴퓨터를 기반으로 자동화함으로서 작업의 효율을 높이고 비용을 절감한다. 현재에 이르러 이런 워크플로우 시스템을 사용하는 조직들이 점차 거대화되어 가고 네트워크의 발달과 인터넷의 출현으로 인하여 워크플로우 시스템이 처리하여야 하는 작업의 수와 고객과 작업자 수 등이 빠른 속도로 증가하는 추세이다. 이런 추세에서 워크플로우 시스템은 거대 조직 환경에 적합한 워크플로우 시스템 아키텍쳐를 필요하게 된다. 이에 본 논문은 거대 조직 환경을 관리할 수 있는 워크플로우 관리 시스템으로 워크케이스 기반의 초대형 워크플로우 시스템의 아키텍쳐를 설계 및 구현 하고자 한다. 그리고 워크플로우 시스템 아키텍쳐를 분류, 분석하여 장단점을 가려내어 이를 기반으로 워크플로우 시스템 아키텍쳐의 성능을 예측하여 워크케이스 기반 워크플로우 시스템 아키텍쳐가 본 논문에서 제안하는 초대형 워크플로우 시스템의 아키텍쳐라는 것을 예측하여 본다. 또한 초대형 워크플로우 시스템을 위하하부 구조로 EJB(Enterprise Java Beans)를 사용하고 사용 이유를 기술한다. 본 논문에서는 이런 워크케이스 기반의 초대형 워크플로우 시스템 아키텍쳐를 위하여 개념적인 단계와 설계 단계, 구현 단계로 나누어 설계 및 구현을 하며 개념적인 단계에서는 워크케이스 기반 워크플로우 시스템 아키텍쳐에 대하여 상세히 기술하고 설계단계에서는 전체적인 기능 정의와 초대형 워크플로우 시스템의 구조를 설계한다. 그리고 구현 단계에서는 워크케이스 기반의 초대형 워크플로우 시스템 아키텍쳐를 실제 구현하기 위한 환경을 선택하고 구현 단계의 문제점들과 해결책을 기술한다. 다 솔레노이드방식 감압건조장치로 건조한 표고버섯으로 품위에 대한 유의성 검증결과, 표고버섯의 경우 온도별로는 색택과 복원률, 건조실 내부 압력별로는 수축률, 복원률에서 유의차가 있는 것으로 나타났다. 라. 본 연구에서 구명된 감압건조특성을 기초로 하여 배치식 감압건조기를 설계 제작에 활용하고자 한다.ational banks. Several financial interchange standards which are involved in B2B business of e-procurement, e-placement, e-payment are also investigated.. monocytogenes, E. coli 및 S. enteritidis에 대한 키토산의 최소저해농도는 각각 0.1461 mg/mL, 0.2419 mg/mL, 0.0980 mg/mL 및 0.0490 mg/mL로 측정되었다. 또한 2%(v/v) 초산 자체의 최소저해농도를 측정한 결과, B. cereus, L. mosocytogenes, E. eoli에 대해서는 control과 비교시 유의적인 항균효과는 나타나지 않았다. 반면에 S. enteritidis의 경우는 배양시간 4시간까지는 항균활성을 나타내었지만, 8시간 이후부터는 S. enteritidis의 성장이 control 보다 높아져 배양시간 20시간에서는 control 보다 약 2배 이상 균주의 성장을 촉진시켰다.차에 따른 개별화 학습을 가능하게 할 뿐만 아니라 능동적인 참여를 유도하여 학습효율을 높일 수 있을 것으로 기대된다.향은 패션마케팅의 정의와 적용범위를 축소시킬 수 있는 위험을 내재한 것으로 보여진다. 그런가 하면, 많이 다루어진 주제라 할지라도 개념이나 용어가 통일되지 않고

• Journal of the Korea Society for Simulation
• /
• v.23 no.3
• /
• pp.1-9
• /
• 2014

Traditional workflow time analyses have been performed treating an activity as an independent M/M/1queueing system. Using the general forms of performance measures in the M/M/1 system, various aspects of analyses can be performed. Especially, on the time analysis of an AND structure in a workflow system, the mean system sojourn time can be formalized by applying the performance measures of M/M/1 system. In the real workflow system, the AND structure cannot be described correctly under the assumption of independent M/M/1 systems. To overcome this limitation, this research makes the assumption that the all activities for a task starts simultaneously. In this situation, the theoretical solution can be derived using the performance measures of the M/G/1 system. In addition, the simulation modeling method will be proposed to analyze the AND structure of a real workflow system. Finally, some numerical results from the theoretical solutions and simulation models will be provided for verification. The main performance measures used in this research are mean queueing time and mean sojourn time.