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

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