• The Transactions of the Korea Information Processing Society
• /
• v.7 no.7
• /
• pp.2028-2040
• /
• 2000

A study on workflow as an automated business processing system is done recently. This appear proposes a method to verify commitability and integrity of workflow specifications, which include various dependencies between parallel tasks, using petri nets. For this, firstly, e describe briefly workflow specification method using workflow graphs. Secondly, we propose a method to convert a workflow graph into a petri net to verify workflow specifications. Thirdly, we suggest the commitability verification method using petri nets to check whether workflow specifications can commit or not and the integrity verification method to check whether invalid components exist or not. Lastly, we implement the proposed verification method and propose a defect extraction method.

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

• 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

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10d
• /
• pp.589-592
• /
• 2007

CoSlide 협업 시스템은 웹데브 기반의 CoSlide 서버와 윈도우즈 응용프로그램인 CoSpace 클라이언트로 구성된다. CoSlide 서버는 Jakarta Slide 서버의 확장으로 협업시스템 구성원간의 자원 공유를 위한 다양한 종류의 작업장을 지원하며, CoSpace 클라이언트는 CoSlide 서버의 다양한 기술 지원을 사용자 중심의 인터페이스로 제공한다. 협업을 동적으로 지원하기 위해서는 워크플로우 시스템이 필요하다. 워크플로우 시스템은 협업시스템에 등록된 사용자가 워크플로우가 정의된 작업장에 자원을 등록하였을 때 정의된 워크플로우에 따라서 자원의 이동, 복사 그리고 메시지전송 등의 과정을 자동적으로 수행한다. 워크플로우 정의는 XML 파일 형식으로 워크플로우 작업장에 생성되어 존재하며 반응적 워크플로우가 발생하였을 때 XML 파일의 정의에 따라 자동적으로 이뤄진다. 협업 시스템에 워크플로우 시스템을 적용시키면 협업 시스템에 등록된 자원을 수동으로 분류하거나 협업에 필요한 다른 그룹의 특정 사용자에게 수동으로 전송해야 하는 불편함을 없앨 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.51-54
• /
• 2002

본 논문에서는 기업간의 비즈니스 프로세스의 자동화를 목적으로 하는 워크플로우 관리 시스템간의 상호 운영성을 지원하는 레지스트리 기반 기업간 워크플로우 모델링 도구를 설계하고 구현한다. 전자상거래를 대표하는 B2B (Business-to-Business) / B2E (Business-to-Enterprise) 환경에서 Interworkflow 메커니즘의 Cross Organizational 워크플로우 모델의 출현은 기업간 이질적인 환경에서의 조직과 시스템간의 상호운용성과 글로벌 워크플로우 관리를 가능하게 하였다. 이러한 메커니즘은 전자상거래의 발전에 많은 요소를 포함하고 있다. 본 논문에서는 Interworkflow 메커니즘의 Cross Organizational 워크플로우 모델의 연구를 통해 발전된 형태의 워크플로우 관리 시스템을 소개하고 또한 새로운 문제점을 제시한다. 또한 Interworkflow의 프로세스와 조직의 정의시 나타나는 문제점을 제시, 분석하고 이를 통해 발전된 형태의 레지스트리 기반 기업간 워크플로우 모델링 도구를 설계, 구현한다 이렇게 제시한 도구들을 통해 기업간 비즈니스 프로세스 자동화를 위한 전자상거래 워크플로우 관리 시스템 모델을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.107-110
• /
• 2007

본 논문에서는 기업과 정부의 다양한 조직체계를 반영하고 워크플로우의 현실적/효율적 운영관리 및 여러 복잡한 직책에 의해 발생하는 복잡성 해결을 위해 적합한 접근제어 모델인 역할기반 접근제어(RBAC: Role Based Access Control)를 이용한 워크플로우 조직 관리 시스템에 관하여 기술하고 설계한다. 역할 기반 워크플로우 조직 관리 시스템은 앞으로 매우 성장 가능성이 높은 시장을 형성할 것으로 예상되며 다양한 조직체계를 반영하는 데 적합한 접근제어 모델이다. 현재 기업, 정부, 공공기관 등의 서로 다른 조직체계에 워크플로우를 적용하게 되는 경우 조직관리 시스템은 워크플로우 시스템에 있어서 필수 컴포넌트로 자리 잡고 있지만 기존 조직관리 시스템들은 보안문제나 동적인 조직의 관리에 문제점을 갖고 있는것이 사실이다. 따라서 본 논문에서는 "역할 기반 접근 제어"라고 하는 RBAC(Role-Based Access Control)의 기본 개념과 워크플로우 엔진과 역할기반의 워크플로우 조직관리 시스템간의 관계에 따른 역할기반 워크플로우 조직 관리 시스템을 제안, 설계한다.

• The KIPS Transactions:PartA
• /
• v.12A no.4 s.94
• /
• pp.289-296
• /
• 2005

Many jobs in Grid environments consist of several subtasks, and these subtasks can be represented by a workflow, which is executed effectively on a Grid. In this paper, we present Meta services which describe a mapping from a service request to a workflow in Grid environments. By using Meta services, a workflow in Grid environments could adapts various service concepts such as portal services, Grid services, and Web services. And the workflow can be shared and reused among workflow users. Furthermore, historical performance data can be included in Meta services, so effective scheduling of the workflow is also possible.

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

• 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 Internet Computing and Services
• /
• v.13 no.2
• /
• pp.73-86
• /
• 2012

This paper theoretically derives an algorithm to discover a new type of social networks from workflow models, which is termed workflow-based social network intelligence. In general, workflow intelligence (or business process intelligence) technology consists of four types of techniques that discover, analyze, monitor and control, and predict from workflow models and their execution histories. So, this paper proposes an algorithm, which is termed ICN-based workflow-based social network intelligence discovery algorithm, to be classified into the type of discovery techniques, which are able to discover workflow-based social network intelligence that are formed among workflow performers through a series of workflow models and their executions, In order particularly to prove the correctness and feasibility of the proposed algorithm, this paper tries to apply the algorithm to a specific workflow model and to show that it is able to generate its corresponding workflow-based social network intelligence.