イミュータブルなデータレジストリの設計とAlloyによる形式検証

前回に引き続き、data-registryサービスを実装していく。 今回はdatasetVersionの生成ロジック周りを設計する。

Alloyでシステム設計を形式検証する（前篇）

Alloyという形式仕様記述言語の使い勝手も試したくなったので触ってみる。