• Annual Conference of KIPS
• /
• 2000.10a
• /
• pp.39-42
• /
• 2000

본 논문은 워크플로우 모델링 도구인 ICN(Information Control Net)을 기반으로 하는 워크플로우 제어 의존성 분석을 위한 도구를 구현하였다. 즉, ICN 모델로 정의된 워크플로우의 각 단위업무(Activity)들 간에 존재하는 제어 의존 관계를 표현하기 위한 제어 의존 넷(Control Dependency Net)을 정형적인 방법으로 정의, 표현하였다. 본 논문에서 정의된 제어 의존 넷은 워크플로우 빌드타임(Build-time) 측면과 런타임(Run-time)측면에서 여러 가지 기능을 제공한다. 전자의 측면에서는 워크플로우 모델링시 시멘틱 에러 테스팅 기능을 효과적으로 적용될 수 있으며 후자의 측면에서는 제어 흐름의 동적 변경(dynamic Change)기능의 완결성 및 프로세스 안의 단위업무(Activity) 간의 경로 및 경로 대한 정보를 제공한다.

• Annual Conference of KIPS
• /
• 2016.04a
• /
• pp.795-798
• /
• 2016

소니피케이션은 다양한 데이터를 사운드로 변환시키는 과정으로 본 연구에서는 뇌파 신호를 사운드로 생성하는 객관적인 워크플로우를 제시하고자 하였다. 현재까지의 뇌파 소니피케이션은 사운드로의 변환이 인위적이고 임의적으로 진행되어 객관적인 논리를 제시하지 못하고 있는 실정이다. 이에 본 연구에서는 뇌파데이터의 정량적 분석을 통해 파라미터 추출, 사운드 맵핑, 사운드 모델 구축에 대한 논리적 근거를 제시하였으며 이를 통해 뇌파데이터의 객관적인 소니피케이션 과정을 구현하였다. 파라미터 추출을 위해 15Hz High pass filtering이 가장 적절한 방법으로 확인되었으며 뇌파 데이터의 최대값 빈도 분석과 음악코드의 비율 분석을 실제로 맵핑시켜 사운드 모델을 구축하여 사운드 생성을 구현하였다. 결론적으로, 본 연구에서는 뇌파데이터의 소니피케이션 과정에 대한 객관적이고 논리적인 워크플로우를 제시하였으며 이러한 워크플로우가 다양한 분야에서 적용될 수 있을 것으로 예상된다.

• Annual Conference of KIPS
• /
• 2000.04a
• /
• pp.410-413
• /
• 2000

전자상거래(Electronic Commerce)는 워크플로우를 이용하여 기존 상거래에서 나타나는 유통 구조상의 문제점을 개선할 수 있다. 전자상거래의 거래 패턴은 기존 상거래의 패턴과는 달리 각 노드간 네트워크를 기반으로 형성된다. 본 고에서는 전자상거래를 네트워크기반에서 조명하고, 거래 패턴에 따른 가치사슬 워크플로우 모델 특성을 분석하였다. 소비자-소매점-제조업-배송 노드간에 발생하는 처리 절차를 기술하였다. 또한, 워크플로우 데이터 분류, 고려사항 등을 기술하였다.

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

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

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

• Annual Conference of KIPS
• /
• 2001.10a
• /
• pp.19-22
• /
• 2001

기업의 워크플로우 시스템 개발과 도입에 관한 관심이 증가하고 있다. 이에 시스템 관련 개발 기업에서는 많은 예산과 인원을 투입하여 워크플로우 시스템 개발에 총력을 기울이고 있는 실정이다. 이러한 워크플로우 시스템에 있어서 폼이 가지는 중요성은 매우 크다. 폼은 런타임 클라이언트가 작업을 직접적으로 수행하고 수행된 결과를 되돌려야 하는 역할을 하기 때문이다. 따라서 데이터를 주고 받는 메커니즘을 얼마나 잘 정의를 하는가에 따라 폼에 대한 설계 방법론이 달라 지고, 이를 바탕으로 폼을 생성해야 하기 때문에 폼 생성기에 대한 새로운 설계가 필요하다. 본 논문에서는 워크플로우 시스템의 한 축을 담당하는 런타임 클라이언트 작업 도구인 폼(Form)에 관하여, 기존의 폼의 문제점을 분석하여 보다 나은 모델을 제시하고, 보다 강력한 기능을 제공하는 폼 생성기의 설계를 제안하고자 한다.

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.388-390
• /
• 2001

컴포넌트 기반의 소프트웨어의 중요성은 널리 인식되어, 국내에서도 컴포넌트화 된 시스템 개발은 이미 큰 조류를 형성하고 있다. 개발된 컴포넌트들을 인터페이스만을 통해 대체가 용이하도록 하기 위해서는 컴포넌트 식별 과정에서 전체 시스템을 관리하는 아키텍쳐를 구성해야 한다. 본 논문에서 제시하는 컴포넌트 식별은 요구 사항 분석을 통한 유즈케이스 모델을 중심으로 이루어진다. 또한 시스템 아키텍쳐를 유지하는 컴포넌트 생성을 위해서 비즈니스 계층과 시스템 계층의 산출물들을 파악하여, 컴포넌트를 위한 구성요소를 추출한다 추출된 구성요소를 기반으로 UML 표기법과 확장 매커니즘을 적용하여 컴포넌트설계 워크플로우를 모델링 하고자 한다.

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