並行制約プログラミング
並行制約プログラミングは以下の特徴を持つ。
制約は部分情報を表す
プロセスは変数の内容が完全に決まった後に同期を行うのではない。複数のプロセスが同じ変数の異なる部分を同時に作成してもかまわない。
通信は情報の追加である
すでに追加された制約と整合性のある制約のみしかシステムに追加できない。一度追加された制約は永久にシステムにとどまる。これは制約の追加と観測の安定性につながる。
制約は型である
型(データタイプ)を集合ととらえれば、型は単一の制約である。さらに洗練された型システムは継承、特殊化やクラス化ができる。型を制約として見るとらえ方は、複数の制約の組み合わせで型を表現するような、型指定についてのもっと豊かで首尾一貫した概念的な枠組みを与えることができる。
通信チャネルは埋め込み可能なデータである
並行論理プログラミングのようなエルブラン領域の制約システムでは、通信チャネル自体をデータと同じように簡単にやり取りでき、通信ネットワークの再構成を容易に行うことができる。
通信はオープンである
プロセスが変数に制約を追加すれば、その変数にアクセスできるすべてのプロセスが影響を受ける。事前に情報の生成プロセスと消費プロセスが決まっている必要はない。周りの環境からの影響において、プロセスは情報がいつどこからどのように来たかを意識する必要はない。