【ツイートシステム(SimpleTwitter)の仕様説明】
本実験で取り組んでいただく4つの課題のうちの残り2つは,簡単なツイートシステム(Xのようなもの)を対象にしたものです.以降は,このツイートシステムを SimpleTwitter と呼びます.
以下に,SimpleTwitter の仕様を示します.
SimpleTwitter の仕様
SimpleTwitter は,X のような多数のユーザのツイートを扱うシステムです.アカウント登録されたユーザのツイート一覧を管理することができます.
SimpleTwitter の仕様は次の通りです.
- システムは複数のユーザアカウントを管理することができる.
- 各アカウントは,アカウントidによって一意に特定される.
- アカウントごとにアカウント名が定義されている.
- アカウントごとにツイートの一覧が記録されている.
- システムはアカウントが1つも登録されていない状態を初期状態とする.
- signup 操作によって,指定したアカウントidで,指定した名前のアカウントを登録することができる.登録直後のツイート一覧は空である.
- tweet 操作によって,指定したアカウントidで,指定した内容のツイートを行うことができる.ツイートした内容はツイート一覧の末尾に追加される.
残り2つの課題では,SimpleTwitter の仕様の Alloy による記述と,DTRAM による記述を扱っていきます.
【SimpleTwitter(DTRAM)】へ