IDサーバー

ID付与単位=参照単位をアイテムと呼ぶ。

IDサーバは、その管理範囲において一意性が保証されたIDを生成発行する。必ず新しいIDが生成発行される。

  • IDサーバーのAPI: createID():ID

IDに対してニックネームを付けられる。ニックネームは生成・改名・削除〈CUD〉できる。

  • IDサーバーのAPI: registerNickname(id:ID, nick:Name): ResultStatus
  • IDサーバーのAPI: updateNickname(id:ID, old:Name, new:Name): ResultStatus
  • IDサーバーのAPI: delteNickname(id:ID, nick:Name): ResultStatus

IDサーバーは、破棄(改名/削除)されたニックネームをdeprecated状態に変更する。実際に削除はしない。古い名前や削除された名前は、新規登録時に使えない。

IDサーバーは、IDまたはニックネームの解決を行う。

  • IDサーバーのAPI: findResouceById(id:ID): ResourceID
  • IDサーバーのAPI: findItemById(id:ID): ItemID
  • IDサーバーのAPI: findResouceByName(nick:Name): ResourceID
  • IDサーバーのAPI: findItemByName(nick:Name): ItemID

破棄された名前に対するリクエストは解決されるが、警告される(その旨戻り値に入る)。

ニックネームとIDとの関係は:

  • IDサーバーのAPI: getIdByName(nick:Name): ID
  • IDサーバーのAPI: getNicknames(id:ID): List(Name)