Z記法のスキーマ合成

二つのZスキーマを、共有する中間状態を介して結びます。 スキーマは、システムの状態や操作を記述する変数と条件を、名前付きでまとめたものです。最初の操作の後の状態を表す変数を、次の操作が期待する前の状態の変数に対応させます。共有された中間状態は、合成後の結果では隠されます。

Zは1970年代後半、数学を使ってコンピューターシステムを記述するために考案され、1980年代を通じて発展しました。広く刊行された最初の参考マニュアルは1989年に発行されました。Zは、集合を扱う数学である集合論と、真偽を判定できる条件を表す述語論理を基礎としています。

⨟はZ記法で使う

これはZのスキーマ計算、つまりスキーマを組み合わせる規則の一つです。一般的な関数や関係の合成を表す記号ではありません。