定型文例

[2]
サンプルで学ぶAlloy

[3]
Alloy の３項関係における多重度指定について

全単射

		sig A { r : B}
		sig B {}

		fact {
			r in A one -> B
		}

		pred show {
		}

		run show for 2