Workflow management system(WRMS) is a software system that supports the specification and execution of business processes. Recently, WFMS is increasingly used in industries and research organizations because the endless competition in the market compels the demand of business process automation to be highly impending. To automate business process, usually the business processes should be specified by workflow definition before the execution. However an error-comprising workflow definition might provoke serious problems to an enterprise especially when it involves mission critical business processes. So, workflow definitions should be defined in strict and rigorous way. In this thesis, we suggest a workflow definition language and analysis methods of the language to support strict and rigorous workflow definitions. Faults or mistakes like provoking access conflicts and improper specification of exceptions in workfolw definitions can be detected and notified applying the methods. The workflow definition language borrows structural constructs of conventional programming languages because they have many good features in expressing workflow processes also. For the access conflict analysis of concurrent workflow definitions, a novel technique to detect the potential read-write conflicts and write-write conflicts between activities which reads and writes to the shared variables in a workflow process definition is devised and described. WFMS quite frequently faces with exceptional situations. Hence the predictable exceptional situations need to be specified in workflow definition beforehand. Proposed workflow definition language has the features to define exceptions and a technique of analyzing uncaught exceptions in workflow definitions is developed. With slight modifications and scope restrictions, the proposed techniques can be applied to any workflow definition languages and workflow designers can define workflow processes much more concretely and safely.
워크플로우 시스템(WFMS)은 업무 흐름의 명세화와 수행을 지원하는 하나의 소프트에어 시스템이다. 현재 워크플로우 시스템은 여러 산업체와 연구 조직들에서 업무를 자동으로 처리하기 위한 목적으로 도입하는 사례가 급증하고 있다. 오류를 포함하고 있는 워크플로우가 워크플로우 시스템에 의해 수행될 때, 기업이나 조직에 치명적인 손실 또는 피해를 입힐 수 있다. 특히, 그 업무가 중대하고 결정적인 경우에는 더욱 그러하다. 따라서, 워크플로우는 매우 엄격하고 견고할 뿐 아니라 안전하게 정의되어야 한다. 본 논문에서는 엄격하고 안전한 워크플로우의 정의를 위해 새로운 워크플로우 정의 언어와 워크플로우 정의에 존재할 수 있는 실수와 오류에 대한 분석 기법을 제안한다. 제안한 워크플로우 정의 언어는 전통적인 프로그래밍 언어의 구조적인 형태에 기반하고 있는데 워크플로우 프로세스를 정의할 때 많은 장점이 있다. 이 논문에서 제시된 두 가지의 분석 기법 중 하나는 하나의 워크플로우내에서 공유된 자료에 읽기와 쓰기를 수행하는 단위업무들이 병행적으로 수행될 때 발생할 수 있는 읽기-쓰기(read-write)충돌과 쓰기-쓰기(write-write)충돌을 분석해 내는 것이다. 워크플로우 시스템은 종종 예외 상황에 처하기도 하는데 워크플로우 시스템은 반드시 이러한 예외 상황을 잡아내고 다음으로 그것에 대한 적절한 대처를 해야한다. 두번째 분석 기법은 발생할 수 있는 예외 상황들 중에 그것이 워크플로우 시스템에 의해 잡혀지지 않는 것들을 분석해 내는 것이다. 이러한 분석 기법의 도움으로 워크플로우를 설계하는 사람은 좀 더 견고하고 안전한 워크플로우를 정의 할 수 있을 것이다.
