【SimpleTwitter(DTRAM)の課題】

ここでは，SimpleTwitterのDTRAMによる仕様記述に関する課題に取り組んでいただきます．
以下にDTRAMで記述されたSimpleTwitterのモデルを示します．こちらを適宜参照しながらモデルの理解を行ってください．

SimpleTwitterのDTRAMによる記述についての説明

DTRAMでは，SimpleTwitter の仕様を以下のような階層化されたリソースで表します．

• accounts: アカウント全体を管理
• accounts.{accountId}: accountId で登録されているアカウント
• accounts.{accountId}.name: accountId で示されたアカウント名
• accounts.{accountId}.tweets: accountId で示されたアカウントのツイートリスト
• accounts.{accountId}.tweets.{tid}: accountId で示されたアカウントが持つツイートリストに tid で登録されているツイート

channel Signup {
	out accounts(accountDB:Map, signUp(accountId:Str, name:Str)) = insert(accountDB, accountId, {"name": name, "tweets": nil})
}

channel Tweet(accountId:Str) {
	out accounts.{accountId}.tweets(tweetList:List, tweet(contents:Str)) = append(tweetList, contents)
}
	

モデルの可視化

先ほどのSimpleTwitterのモデルのリソースとチャンネルを，DTRAMのモデリングツールを使用して可視化したものを以下の図に示します．

この図がモデルの実行に依らない，リソースを表していることに注意して下さい．
図の中央にある accounts リソースは Signup チャンネルからアカウントを登録するメッセージを受け取ります．
accounts リソースの子リソースである，accounts.{accountId} リソースはアカウントを表しています．
リソース名に含まれる accountId はアカウントIDを表すパスパラメータで，一意なアカウントの特定を可能にしています．
accounts.{accountId} リソースの子リソースである accounts.{accountId}.tweets リソースはaccounts.{accountId} のツイートリストを表しており， Tweet チャンネルからツイートを行うメッセージを受け取ります．

SimpleTwitterモデルの仮想実行について

ここでは，SimpleTwitterモデルの仮想実行について説明します．この仮想実行で用いるテストケースは次の通りです．

1. accountsにアカウント名がSatouという新しいアカウントを登録します．
2. 登録したアカウント(アカウント名：Satou)で Hello という内容のツイートを行います．

仮想実行の可視化:

シミュレーションツールを使用すると与えられたモデルに対して，任意の仮想実行を行うことができます．
ここでは上で示したテストケースに従って行った仮想実行を可視化したものを示していきます．まず，システムの初期状態を可視化したものが以下の図です．

初期状態では，accounts リソースには何のアカウントも登録されていない状態になっています．
次に，accounts にアカウント名が Satou のアカウントを登録するため，accounts リソースをダブルクリックします．

signUp というアカウントを登録するためのメッセージを選択します．

signUp メッセージのシグニチャが表示されます．
accountId はアカウントID，name はアカウント名を表します．

ここでは，signUp("@123", "Satou") を入力します．

次の状態に遷移し，遷移後の状態が表示されます．@123というidを持つアカウント accounts.@123 が accounts の子リソースとして生成されていることがわかります．
accounts.@123 のツイートリスト accounts.@123.tweets が 空のリスト(nill)，アカウント名 accounts.@123.name が Satouとなっていることを確認できます．
次に，登録したアカウント accounts.@123 でツイートを行いたいので，accounts.@123.tweets リソースをダブルクリックします．

メッセージを選択する画面が同様に表示されますので，ツイートを行う tweet というメッセージを選択します．

ツイート内容の入力が可能な画面が表示されますので，ここでは tweet("Hello") と入力して実行します．

次の状態に遷移したため，Hello というツイート内容を持つツイート accounts.@123.tweets.0 が accounts.@123.tweets の子リソースとしてツイートリストの0番目に生成されていることが確認できました．

課題概要

本課題ではまず，上記にて説明を行った SimpleTwitter の仕様に，ある機能を追加した仕様を考えます．
その仕様のモデルと，仮想実行の流れを可視化した以下の図を見ていただいた上で，２つの設問にお答えいただきます．
設問にお答えいただく際は，必ず設問１，設問２の順番でご解答下さい．以下の図と同じものが設問のページにも記載されているのでこのまま設問のページに飛んでいただいてもかまいません．

channel Signup {
	out accounts(accountDB:Map, signUp(accountId:Str, name:Str)) = insert(accountDB, accountId, {"name": name, "tweets": nil})
}

channel Tweet(accountId:Str) {
	out accounts.{accountId}.tweets(tweetList:List, tweet(contents:Str)) = append(tweetList, contents)
}

channel ChangeName(accountId:Str) {
	out accounts.{accountId}.name(prevNamr:Str, changeName(name:Str)) = name
}

1:

2:

課題アンケート (別タブが開きます)
課題終了後の評価アンケート (別タブが開きます)