[論文レビュー] Demaq: A Foundation for Declarative XML Message Processing

Alexander Böhm, Carl-Christian Kanne+1 more|ArXiv.org|Dec 21, 2006

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.

研究の動機と目的

• Web サービスやイベント駆動型システムにおける命令的メッセージ処理の複雑さと統合の悪さを解消すること。
• 完全に宣言的言語が、強力な最適化と保守性の利点を有する形で、分散システムにおける複雑な XML メッセージ処理ワークフローを効果的にモデル化・実行できるかどうかを検討すること。
• 開発者がメッセージフローを宣言的に指定できるようにし、低レベルのトランスポート、永続性、並行処理の懸念を抽象化すること。
• 特にネイティブ XML ストレージと XQuery 処理を活用した、効率的で信頼性の高いメッセージキューイングとルール評価を実現するため、既存のデータベース技術を活用すること。
• 形式的でルールベースの意味論を基盤として、スケーラブルで保守可能で最適化可能なアクティブウェブアプリケーションを実現すること。

提案手法

• システムは2段階の言語を採用する：物理的および仮想のメッセージキュー、リテンションポリシー、スライシング論理を定義するためのキュー定義言語（QDL）。
• キュー操作言語（QML）は XQuery Update を拡張し、キューのプリミティブを備えており、新しいメッセージを生成する宣言的ルールとしてメッセージフローを表現する。
• ルールは、ビュー結合、パラメータインライン化、テンプレート畳み込みを含む、クエリ最適化技術を用いて実行計画にコンパイルされる。
• スケジューラは、時系列順序とキューの優先度に基づくメッセージ処理モデルを強制し、順序付き、優先度付き、時刻ベースのメッセージ処理をサポートする。
• スライス（ユーザー定義基準でグループ化された仮想キュー）は、並列性とパフォーマンスを向上させるために B ツリーを用いて物性化される。
• システムはネイティブ XML データベース（Natix）上で実装されており、XML ストレージ、インデックス、トランザクション管理のための確立された技術を再利用している。

実験結果

リサーチクエスチョン

• RQ1 完全に宣言的でルールベースの言語が、分散システムにおける複雑な XML メッセージ処理ワークフローを効果的にモデル化できるか。
• RQ2 宣言的意味論とデータベース技術を組み合わせることで、メッセージ処理のパフォーマンスと信頼性をどのように最適化できるか。
• RQ3 宣言的言語を用いることで、メッセージ処理システムにおける自動最適化の機会はどのようなものか。
• RQ4 メッセージの永続性、リテンション、並行処理を、宣言的抽象化によってどのように透明に管理できるか。
• RQ5 実行時におけるキューとルールの動的進化をサポートする際の課題とトレードオフは何か。

主な発見

• Demaq は、アプリケーションロジックを宣言的ルールとして表現することで、命令的アプローチと比較してボイラープレートや複雑さを削減し、高水準で保守性の高いメッセージ処理を実現する。
• XQuery と XML ストレージ技術の統合により、フィルタリングやクエリ計画の再利用といった、確立された最適化技術を活用した効率的なメッセージ処理実行が可能になる。
• 物性化されたスライスは、キュー全体ではなくスライス単位での細粒度ロックを可能にすることで、並列性を向上させる。
• ネイティブ XML データベース（Natix）を活用することで、永続的で ACID を満たすメッセージキューを備えた信頼性の高いトランザクション処理が実現される。
• ルールのコンパイルと標準化された実行計画への再書き換えにより、コストベースの最適化が可能となり、ルールセットの再書き換えによってさらなるパフォーマンス向上の可能性が得られる。
• 現在の静的構成（実行時における進化なし）という制限は、ゼロダウンタイム環境での動的キューおよびルール更新の今後の研究の必要性を浮き彫りにする。