As the needs for interconnections of workflows in different companies or departments are so increasing and companies try to realize business processes across organizational boundaries, it is required for workflow system to support inter-organizational workflow. In the inter-organizational workflow, the correctness issues of workflow specification are important because a workflow definition that contains errors might lead to angry trading partners and loss of goodwill. On the other hand, in spite of correct specification, inter-organizational workflow might not fulfill the design goal of virtual process at runtime because the companies participate in a virtual enterprise are not controlled by single manager and businesses of a virtual enterprise operate on very dynamic environment.
In this dissertation, we propose a workflow system enables a correct specification and dynamic enactment service for interoperation among organizations. For correct specification, we develop languages and static analysis methods that are, because of declarative program analysis, simpler and more intuitive than other analysis methods. The run time enactment service for dynamic environment is designed and implemented based on distributed object system.
In the case of inter-organizational workflow definition, latent communication deadlock probably leads the workflow instances to be permanently blocked. For the specification of inter-organizational workflow, we define Community Process Definition Language(CPDL). This language borrows structural constructs and provides basic syntactic elements for control flows that are necessary to present the interactions among workflows. For detecting latent communication deadlock, we adopt set based constraint system developed in programming language society. This analysis mechanism clarifies explicit dependence between activities and eventually detects a communication deadlock that is latent in a community process definition. For another issue of correct inter-organizational workflow specification, we consider exception. Exception specification in workflow definition is a means for flexible control flow deviated from normal control flow and adapted to a run time situation and it is particularly useful for long lasting and intricate inter-organizational workflow processes. We propose exception specification facilities in workflow definition languages and its analysis method.
However, because the dynamic inter-organizational business environment has countervailing aspect to the correct specification, we propose a framework supporting dynamic interoperation between heterogeneous workflow systems. We use Multiple Subprocess Task(MST) to represent unknown external and internal subprocess that are resolved at runtime by their service and request constraints. To support dynamic interoperation based on the MST, four major components are defined and implemented: Workflow engine, Adapter, Service Interface Repositories(SIRs) and XML messages. Since MST can encapsulate external service like delegation mechanism of object system and it provides dynamic interoperation by runtime information, we can get the advantage of automaticity and adaptability of workflow interaction.
인터넷의 급속한 보급으로 인해 기업간 혹은 서로다른 부서간의 업무 연동에 대한 필요성이 증가하고 있다. 이런 업무 환경의 변화는 조직 경계를 가로지르는 비즈니스 프로세스의 출현을 가져왔고 이를 위해 워크플로우 시스템은 조직연계 워크플로우(inter-organizational workflow)를 지원할 필요가 생겼다. 이런 조직연계 워크플로우에서는 워크플로우 명세의 정확성이 매우 중요한데 오류를 내포하고 있는 워크플로우 명세는 거래 조직간의 신뢰에 상처를 줄 수 있기 때문이다. 또한, 거래에 참여하는 각 조직들은 수시로 그 서비스의 수준이 변경될 수 있고 하나의 조직에 의해 통제될 수 없기 때문에 실행 시간 중의 거래 상대를 결정할 필요가 있다. 본 논문에서는 조직연계 워크플로우의 정확한 명세와 조직간의 동적인 연동을 위한 방법을 제안한다. 명세 오류의 검출을 위해, 명세 언어를 개발하고 정적 분석 방법을 고안했다. 우리의 분석 방법은 선언전 프로그램 분석이기 때문에, 그전 방법들에 비해 간단하고 직관적으로 이해할 수 있다. 동적 연동을 위한 실행 환경면에서는 연동을 위한 제약조건 명세와 분산 객체 시스템의 개념을 활용하였다.
조직연계 워크플로우의 정의에는 잠재적인 통신 교착상태가 있을 수 있다. 이 잠재된 교착상태는 프로세스 인스턴스를 영원히 정지시킬 수 있다. 이런 정의 오류를 검출하기 위해 Communication Process Definition Lanaguage(CPDL)을 정의하여 표현하고 프로그램 언어 분석 기법인 집합 제약 시스템을 도입하였다. 또다른 오류 검출 문제로는 예외상황 명세 오류 검출을 고안하였다. 워크플로우 정의에서 예외 상황명세는 제어 흐름의 유연성을 부여한다. 하지만, 유연성을 위한 예외 상황이 잘못 정의되는 경우, 장기간 지속되던 워크플로우 인스턴스를 무효화하는 결과를 초래할 수 있다. 이를 위해 본 논문에서는 정적 분석을 통해 예외 상황 정의 오류를 검출하는 방법을 제시한다.
위의 정확한 워크플로우 명세를 위한 노력에도 불구하고, 거래 조직들의 잦은 변화 때문에 필요한 동적 연동을 위해 다중 서브프로세스 테스크(MST)를 고안하였고 MST의 실현을 위한 연동 구조를 제안한다. MST는 결정되지 못한 거래 파트너를 내부, 외부 서브프로세스의 구분 없이 표현할 수 있고,스비스 제약과 거래 요청 제약 사항의 기술을 통해 실행 시간중에 거래 상대를 결정할 수 있다. MST의 구현을 위해 주요 모듈을 정의하고 구현한다. MST를 통해 동적 연동을 구현할 수 있게 됨에 따라, 워크플로우 연동의 융통성을 실현할 수 있다.
