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

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