【ツイートシステム(SimpleTwitter)の仕様説明】

本実験で取り組んでいただく4つの課題のうちの前半2つは,簡単なツイートシステム(Xのようなもの)を対象にしたものです.以降は,このツイートシステムを SimpleTwitter と呼びます.
以下に,SimpleTwitter の仕様を示します.


SimpleTwitter の仕様

SimpleTwitter は,X のような多数のユーザのツイートを扱うシステムです.アカウント登録されたユーザのツイート一覧を管理することができます. SimpleTwitter の仕様は次の通りです.

前半2つの課題では,SimpleTwitter の仕様の Alloy による記述と,DTRAM による記述を扱っていきます.



【SimpleTwitter(DTRAM) 】へ