[논문 리뷰] Cloud Process Execution Engine - Evaluation of the Core Concepts

Juergen Mangler, Gerhard Stuermer외 1명|arXiv (Cornell University)|2010. 03. 17.

Business Process Modeling and Analysis참고 문헌 1인용 수 7

한 줄 요약

이 논문은 분산 워크플로우를 조율하기 위한 경량의 도메인 특화 언어(DSL) 기반의 클라우드 프로세스 실행 엔진(WEE)을 제안한다. DSL은 원자적 활동, 대기/비대기 의미 체계를 가진 병렬 실행, 조건부 분기, 루프, 스레드 안정성을 위한 임계 구역을 지원하며, 핸들러 래퍼와 엔드포인트를 통해 외부 서비스 통합을 통해 신뢰할 수 있고 조합 가능한 클라우드 프로세스 관리를 가능하게 한다.

ABSTRACT

In this technical report we describe describe the Domain Specific Language (DSL) of the Workflow Execution Execution (WEE). Instead of interpreting an XML based workflow description language like BPEL, the WEE uses a minimized but expressive set of statements that runs directly on to of a virtual machine that supports the Ruby language.Frameworks/Virtual Machines supporting supporting this language include Java, .NET and there exists also a standalone Virtual Machine. Using a DSL gives us the advantage of maintaining a very compact code base of under 400 lines of code, as the host programming language implements all the concepts like parallelism, threads, checking for syntactic correctness. The implementation just hooks into existing statements to keep track of the workflow and deliver information about current existing context variables and state to the environment that embeds WEE.

연구 동기 및 목표

• 복잡한 클라우드 워크플로우를 명확한 관심사 분리로 명시할 수 있는 최소화되고 표현력 있는 DSL을 설계하기 위해.
• 병렬 처리, 조건부 분기, 스레드 안정성 있는 임계 구역을 지원함으로써 분산 프로세스의 신뢰성 있는 실행을 가능하게 하기 위해.
• 외부 서비스 호출을 핸들러 래퍼와 엔드포인트를 통해 추상화함으로써 워크플로우 로직과 서비스 구현을 분리하기 위해.
• 세마포어로 보호된 임계 구역을 사용하여 다중 스레드 실행 환경에서의 정확성과 일관성을 보장하기 위해.
• 실제 사례인 여행 예약 조율을 통해 워크플로우 실행 엔진(WEE)의 핵심 개념을 실무에서 평가하기 위해.

제안 방법

• DSL은 원자적 활동을 정의한다: 로컬 계산을 위한 manipulate-activities와 외부 서비스에 위임하기 위한 call-activities.
• 병렬 실행은 두 가지 변형을 통해 지원된다: wait(모든 분기 완료를 대기함)와 nowait(어느 분기라도 완료되면 즉시 계속 진행하며 나머지 분기를 취소함).
• 조건부 제어 흐름은 가드 조건이 있는 대안들과 선택적 otherwise 경로를 가진 choose 구조를 통해 구현된다.
• 루프는 cycle 키워드를 통해 구현되며, 워크플로우 내에서 상단 제어 반복을 가능하게 한다.
• 임계 구역은 기호 이름을 가진 critical 키워드를 사용하여 강제로 구현되며, 스레드 간 세마포어를 통해 배타적 접근을 보장한다.
• 외부 서비스 통합은 핸들러 래퍼를 통해 추상화되며, 이는 엔드포인트(URI)와 매개변수를 수신하여 워크플로우 로직과 서비스 구현 세부 정보를 분리한다.

실험 결과

연구 질문

• RQ1 최소한의 DSL이 병렬 처리, 분기, 루프와 같은 복잡한 클라우드 워크플로우 패턴을 효과적으로 표현할 수 있는가?
• RQ2 병행 워크플로우 실행 환경에서 스레드 안정성과 일관성을 확보하기 위한 메커니즘은 무엇인가?
• RQ3 워크플로우 로직과 서비스 호출 간의 관심사 분리가 유지보수성과 확장성에 어떻게 기여하는가?
• RQ4 nowait 병렬 실행 변종이 분산 워크플로우에서 성능과 신뢰성에 미치는 영향은 무엇인가?
• RQ5 기호 이름을 가진 임계 구역은 분산 워크플로우 컴포onent 간의 조율을 어떻게 가능하게 하는가?

주요 결과

• DSL은 최소한의 어휘로 복잡한 워크플로우를 성공적으로 표현하였으며, 병렬 실행, 조건부 분기, 루프, 스레드 안정성 있는 임계 구역을 포함한다.
• wait 및 nowait 병렬 실행 변종은 병행 제어의灵活性를 제공하며, nowait는 어느 분기라도 성공하면 조기에 완료를 가능하게 한다.
• 기호 이름을 가진 임계 구역은 서로 다른 워크플로우 세그먼트 간에 공유 자원에 대한 조율된 배타적 접근을 가능하게 하여 스레드 안정성을 보장한다.
• 핸들러 래퍼와 엔드포인트를 통한 관심사 분리는 워크플로우 로직이 서비스 구현에 결합되지 않도록 하여 외부 서비스와의 원활한 통합을 가능하게 한다.
• 컨텍스트 변수의 사용은 워크플로우 실행 전반에 걸쳐 상태 관리를 가능하게 하며, 엔진이 변수 상태를 전체 과정 동안 감시한다.
• 예시 워크플로우는 조건부 논리(비용 기준 임계값 기반)를 포함한 여행 예약 프로세스의 종단 간 조율을 보여주며, DSL의 표현력과 정확성을 검증한다.