Reo Coordination Language とは

{{待って}}
Reoは、個々のプロセスを完全なシステムに構成し、広く解釈されたコーディネーション・プロトコルをプログラミングおよび分析するためのドメイン固有の言語です。 Reoで構成できるシステムのクラスの例には、コンポーネントベースのシステム、サービス指向のシステム、マルチスレッドシステム、生物システム、および暗号プロトコルが含まれます。 Reoにはグラフィカルな構文があり、コネクタや回路と呼ばれるすべてのReoプログラムはラベル付きのハイパーグラフです。このようなグラフは、システム内のプロセス間のデータフローを表します。 Reoには正式なセマンティクスがあり、正式なセマンティクスはさまざまな正式な検証手法とコンパイルツールに基づいています。