[論文レビュー] Description of the CUDF Format

Ralf Treinen, Stefano Zacchiroli|ArXiv.org|Nov 21, 2008

Software Engineering Research参考文献 5被引用数 13

ひとこと要約

本論文は、フリー・オープンソース・ソフトウェア（FOSS）ディストリビューションにおけるソフトウェアアップグレード問題を符号化するための標準化された、ディストリビューションに依存しないフォーマット「Common Upgradeability Description Format（CUDF）」を導入する。CUDFは、パッケージの依存関係、競合関係、制約を用いて、一貫性があり形式的に定義されたアップグレードリクエストを処理できるようにする。これにより、ディストリビューション固有の詳細を抽象化し、依存関係解決研究における相互運用性と再現可能性を確保する。

ABSTRACT

This document contains several related specifications, together they describe the document formats related to the solver competition which will be organized by Mancoosi. In particular, this document describes: - DUDF (Distribution Upgradeability Description Format), the document format to be used to submit upgrade problem instances from user machines to a (distribution-specific) database of upgrade problems; - CUDF (Common Upgradeability Description Format), the document format used to encode upgrade problems, abstracting over distribution-specific details. Solvers taking part in the competition will be fed with input in CUDF format.

研究の動機と目的

• FOSSエコシステムにおける不一致でディストリビューション固有のソフトウェアアップグレード問題表現の課題に対処すること。
• ソルバコンペティションにおける依存関係解決ソルバのための標準化され、形式的でディストリビューションに依存しない入力フォーマットを提供すること。
• DUDFによる問題提出とCUDFによる問題実行を分離し、効率性と表現力のバランスをとること。
• アップグレード問題のための形式的意味論的基盤を提供し、ソルバ間での一貫した解釈を保証すること。
• Mancoosiプロジェクトの目標、すなわち、統一された問題記述フォーマットを通じてオープンソースソフトウェアインフラの複雑さを管理することを支援すること。

提案手法

• XMLに基づく型付きスキーマを用いて、パッケージ、依存関係、競合関係、制約を表現する形式的で拡張可能なデータフォーマットとしてCUDFを定義する。
• パッケージの状態、インストール、アップグレードリクエストの一貫した解釈を定義するための形式的抽象構文と意味論ドメインを導入する。
• 問題記述を、パッケージユニバース、問題記述、グローバル制約、および最適化のためのオプションの希望事項という、明確に分離されたセクションに分割する。
• DUDFおよびCUDFドキュメントの構文的正しさと構造的整合性を保証するために、RELAX NGスキーマを用いて検証する。
• 人間が読みやすいと機械がパース可能な両方のシリアル化をサポートし、明確な構文規則とパース手順を定義する。
• 二段階のデータフローを定義する：DUDFは、圧縮され、ディストリビューション固有の問題提出に用いられ、CUDFは自己完結的で意味論的に豊富な問題実行に用いられる。

実験結果

リサーチクエスチョン

• RQ1 多様なFOSSディストリビューションにわたって、一貫してソフトウェアアップグレード問題を表現できる標準化された、ディストリビューションに依存しないフォーマットをどのように設計できるか？
• RQ2 独立したソルバがアップグレードリクエストを曖昧なく解釈できるようにするために、どのような形式的意味論が必要か？
• RQ3 DUDFによるコン pact な問題提出とCUDFによる完全な表現力の間の緊張を、スケーラブルな方法でどのように解消できるか？
• RQ4 ソルバコンペティションの入力において正しさと相互運用性を保証するために、どのような文法的および意味論的制約が必要か？
• RQ5 プロパティスキーマと拡張メタデータを、ポータビリティやパフォーマンスを損なわずにフォーマットに統合するにはどうすればよいか？

主な発見

• CUDFは、形式的で機械処理可能な、ディストリビューションに依存しないソフトウェアアップグレード問題の表現を提供し、依存関係解決アルゴリズムの一貫した評価を可能にする。
• バージョン付き依存関係、競合関係による相互排他性、および依存関係・競合宣言によるオプション機能といった、複雑な制約をサポートする。
• DUDF（提出用）とCUDF（実行用）の分離により、データ転送の効率性を保ちながら、ソルバコンペティション入力における完全な意味論的忠実性を維持できる。
• CUDFは、EDOSの車/ガラスの例のような現実世界のアップグレードシナリオを、明示的な依存関係チェーンと競合セットとともに符号化できる。
• RELAX NGスキーマの使用により、DUDFおよびCUDFドキュメントの構文検証が保証され、信頼性が向上し、パースエラーが減少する。
• 仕様には、インストール、一貫したパッケージ記述、リクエストの解釈のための形式的意味論が含まれており、ソルバの比較と正しさの基盤を形成する。