FDRによるRPGシナリオの検証

1. FDR によるRPG シナリオの検証 長久 勝† アブストラクト 本修了制作では，RPG のシナリオ開発に対して，従来手法の拡張として，キャラクタ指向開発を 提案し，それを支援する検証ツールを作成した．まず問題を同定するために，従来のゲームシナリ オ開発手法を分析した．その結果，ストーリ指向に原因があると判断した．問題を解消するために， シナリオをストーリの集合ではなく，キャラクタ行動の集合としてモデル化する，キャラクタ指向を導 入することとした．従来手法に組み合わせることで，シナリオ構造を把握しやすくなると考えた．シナ リオをキャラクタ行動全体として見ると，シナリオは合成された並行プロセス群と見なせるので，プロ セス代数CSP を基盤とするFDR 記述によるモデル化を採用し，検証にFDR2 を採用した．FDR 記 述で簡潔に同期遷移を表現できるため，パーティを組むRPG シナリオの

[moguno]

長久 勝 wrote: http://t.co/zBf652r9KJ http://t.co/Z7PyXb9dWM http://t.co/pejXOQLigK ナラティブを支える技術（釣り針）