意味的バージョニング

ライブラリの版を主版と副版の組 $(M, m)$ で表す（修正版は省く）。各版は、公開する操作の集合 $\mathrm{Op}_{M,m}$ と、各操作 $o$ の契約（事前条件 $P^{M,m}_o$ と事後条件 $Q^{M,m}_o$）をもつ。意味的バージョニングの約束とは、同じ主版 $M$ の中で $m \le m'$ ならば

• $\mathrm{Op}_{M,m} \subseteq \mathrm{Op}_{M,m'}$（操作はなくならない）、
• 各 $o \in \mathrm{Op}_{M,m}$ について $P^{M,m}_o \Rightarrow P^{M,m'}_o$ かつ $Q^{M,m'}_o \Rightarrow Q^{M,m}_o$（事前条件は強めず、事後条件は弱めない）

が成り立つことをいう。主版が違う版の間には何も約束しない。