プロバ

Provaは、 PrologとJavaを組み合わせたオープンソースのプログラミング言語です。

Provaは、ミドルウェアに使用されるルールベースのスクリプトシステムです。この言語は、 Java関数を呼び出すことができるProlog構文を使用することで、命令型プログラミングと宣言型プログラミングを組み合わせています。このようにして、強力なJavaコードベースと、バックトラッキングなどのPrologの機能が融合されています。

Provaは、 Jens Dietrich氏が開発したJavaベースの推論システムであるMandaraxから派生したものです。Provaは、適切な言語構文、Javaとのネイティブ構文統合、エージェントメッセージング、および反応ルールを提供することでMandaraxを拡張しています。この言語の開発は、EUプロジェクトGeneStreamおよびBioGRID内で提供された助成金によって支援されました。このプロジェクトでは、この言語は、生物医学データ統合における分散型Webアプリケーション、特にGoPubMedシステムのルールベースの基盤として使用されています。

Provaの設計目標：

• 宣言型プログラミングとオブジェクト指向プログラミングを組み合わせる。
• ロジックとエージェントの振る舞いをルールとして公開する。
• Javaで書かれたラッパーやPerlのようなコマンドラインシェルを介してデータソースにアクセスします。
• 様々なパッケージのJava APIをルールとして利用できるようにすること。
• Javaランタイム内で実行します。
• アプリケーションの迅速なプロトタイピングを可能にする。
• 分散エージェントプログラミングのためのルールベースのプラットフォームを提供する。

Provaは、以下の点が重要な場合にデータ統合タスクのサポートを提供することを目指しています。

• 位置情報の透明性（ローカル、リモート、ミラーリング）
• フォーマットの透過性（データベース、RDF、XML、HTML、フラットファイル、計算リソース）
• 変化への対応力（データベースやウェブサイトは頻繁に変更される）
• オープンソース技術の利用。
• IT専門家以外のユーザーでも理解しやすく、変更しやすいこと。
• 経済知識表現；
• 追加機能による拡張性。
• オントロジーを活用する。

Provaは、 Xcalia製品において主要なサービス統合エンジンとして採用されており、Webサービス、 CICSやIMSなどのTPモニタートランザクション、 MQ-SeriesなどのMOMメッセージ、 JCAコネクタを備えたパッケージアプリケーション、JCAコネクタを備えたメインフレーム上のレガシーデータソース、データプロバイダとして扱われるリモートEJB Javaオブジェクト、さらにはローカルJavaオブジェクトなど、複数のデータソースにわたる効率的なグローバル実行プランの計算に使用されています。Provaは、サービス指向アーキテクチャの実装に向けた革新的なソフトウェアプラットフォームの提供を可能にします。

1. A. Kozlenkov および M. Schroeder。「PROVA: バイオインフォマティクスセマンティック Web のためのルールベースの Java Scripting」^{[リンク削除]}。E. Rahm 編、「生命科学におけるデータ統合に関する国際ワークショップ」、ライプツィヒ、ドイツ、Lecture Notes in Computer Science、Springer-Verlag、第 2994 巻、 17～30 ページ、2004 年。
2. N. Combs および J.-L. Ardoint。「ゲームにおけるルール対スクリプト」人工知能、AAAI 2004 ゲームAI の課題に関するワークショップ、2004 年。
3. J. Dietrich、A. Kozlenkov、M. Schroeder、G. Wagner。「セマンティックWebのためのルールベースエージェント」、電子商取引研究および応用、第2巻、第4号、 323～338ページ、2004年。
4. A. Paschke、M. Bichler、J. Dietrich。「ContractLog: サービスレベル契約のルールベースの監視と実行へのアプローチ」、セマンティックWebのためのルールとルールマークアップ言語に関する国際会議（RuleML 2005）、アイルランド、ゴールウェイ、2005年。
5. A. Kozlenkov、R. Penaloza、V. Nigam、L. Royer、G. Dawelbait、M. Schroeder。「Prova: 分散WebアプリケーションのためのルールベースのJavaスクリプト: バイオインフォマティクスにおけるケーススタディ」、Reactivity on the Webワークショップ、ミュンヘン、2006年。

• Provaホームページ