[논문 리뷰] Demaq: A Foundation for Declarative XML Message Processing

Alexander Böhm, Carl-Christian Kanne외 1명|ArXiv.org|2006. 12. 21.

Service-Oriented Architecture and Web Services참고 문헌 26인용 수 12

한 줄 요약

Demaq는 트랜잭셔널 XML 메시지 큐를 기반으로 하여 데이터베이스 기술을 활용해 신뢰성 있고 최적화된 메시지 흐름을 제공하는 완전히 선언적이고 규칙 기반의 XML 메시지 처리를 위한 언어를 제안한다. 이는 응용 로직을 저수준 메시징 복잡성에서 분리함으로써 고수준의 유지보수 가능한 시스템을 가능하게 하며, 선언적 의미론, 최적화 기회, XQuery 및 XML 저장소와의 통합에서 주요 기여를 한다.

ABSTRACT

This paper gives an overview of Demaq, an XML message processing system operating on the foundation of transactional XML message queues. We focus on the syntax and semantics of its fully declarative, rule-based application language and demonstrate our message-based programming paradigm in the context of a case study. Further, we discuss optimization opportunities for executing Demaq programs.

연구 동기 및 목표

• 웹 서비스 및 이벤트 기반 시스템에서 지배적 메시지 처리의 복잡성과 낮은 통합 수준을 해결하기 위해.
• 완전히 선언적 언어가 강력한 최적화 및 유지보수 이점과 함께 복잡한 XML 메시지 처리 워크플로를 효과적으로 모델링하고 실행할 수 있는지 탐구하기 위해.
• 개발자가 메시지 흐름을 선언적으로 지정함으로써 저수준의 전송, 지속성, 동시성 문제로부터 추상화할 수 있도록 하기 위해.
• 특히 네이티브 XML 저장소와 XQuery 처리를 포함한 기존 데이터베이스 기술을 활용하여 효율적이고 신뢰할 수 있는 메시지 큐잉 및 규칙 평가를 가능하게 하기 위해.
• 형식적이고 규칙 기반의 의미론을 통해 확장 가능하고 유지보수 가능하며 최적화 가능한 액티브 웹 애플리케이션의 기반을 마련하기 위해.

제안 방법

• 시스템은 두 부분으로 구성된 언어를 사용한다: 물리적 및 가상 메시지 큐, 유지 정책, 슬라이싱 로직을 정의하는 큐 정의 언어(QDL).
• 큐 조작 언어(QML)는 XQuery Update를 큐잉 프리미티브로 확장하여 메시지 흐름을 새로운 메시지를 생성하는 선언적 규칙으로 표현한다.
• 규칙은 뷰 병합, 매개변수 인lines, 템플릿 폴딩을 포함한 쿼리 최적화 기법을 사용하여 실행 계획으로 컴파일된다.
• 스케줄러는 시간 순서와 큐 우선순위에 기반한 메시지 처리 모델을 강제 적용하여 순서 기반, 우선순위 기반, 시간 기반 메시지 처리를 지원한다.
• 슬라이스—사용자가 정의한 기준에 따라 그룹화된 가상 큐—는 B트리 구조를 사용하여 물리적으로 구현되어 동시성과 성능을 향상시킨다.
• 시스템은 네이티브 XML 데이터베이스(Natix) 기반으로 구현되어 XML 저장, 인덱싱, 트랜잭션 관리에 대한 기존 기법을 재사용한다.

실험 결과

연구 질문

• RQ1 완전히 선언적이고 규칙 기반의 언어가 분산 시스템에서 복잡한 XML 메시지 처리 워크플로를 효과적으로 모델링할 수 있는가?
• RQ2 선언적 의미론과 데이터베이스 기술을 어떻게 조합하여 메시지 처리 성능과 신뢰성을 최적화할 수 있는가?
• RQ3 선언적 언어를 사용할 경우 메시지 처리 시스템에서 자동 최적화의 기회는 무엇인가?
• RQ4 메시지 지속성, 유지, 동시성은 선언적 추상화를 통해 어떻게 투명하게 관리될 수 있는가?
• RQ5 런타임 중 큐와 규칙의 동적 진화를 지원할 때의 과제와 상호 교환적 특성은 무엇인가?

주요 결과

• Demaq는 응용 로직을 선언적 규칙으로 표현함으로써 지배적 방법에 비해 반복 코드와 복잡성을 줄이며 고수준의 유지보수 가능한 메시지 처리를 가능하게 한다.
• XQuery 및 XML 저장소 기술의 통합은 필터링 및 쿼리 계획 재사용과 같은 기존 최적화 기법을 통해 효율적인 메시지 처리 실행을 가능하게 한다.
• 물리적으로 구현된 슬라이스는 전체 큐 수준가 아니라 슬라이스 수준에서의 세밀한 잠금을 허용함으로써 동시성을 향상시킨다.
• 시스템은 네이티브 XML 데이터베이스(Natix)를 활용하여 지속적이고 ACID 준수 메시지 큐를 제공함으로써 신뢰성 있는 트랜잭셔널 메시지 처리를 지원한다.
• 규칙 컴파일 및 표준 실행 계획으로의 재작성은 비용 기반 최적화를 가능하게 하며, 규칙 세트 재작성으로 인해 향후 성능 향상의 잠재력이 있다.
• 현재 정적 구성(런타임 동적 진화 불가)의 한계는 영향을 주지 않고 다운타임 없이 큐와 규칙 업데이트를 지원하기 위한 향후 연구의 필요성을 드러낸다.