1. FDR によるRPG シナリオの検証
長久 勝†
アブストラクト
本修了制作では,RPG のシナリオ開発に対して,従来手法の拡張として,キャラクタ指向開発を
提案し,それを支援する検証ツールを作成した.まず問題を同定するために,従来のゲームシナリ
オ開発手法を分析した.その結果,ストーリ指向に原因があると判断した.問題を解消するために,
シナリオをストーリの集合ではなく,キャラクタ行動の集合としてモデル化する,キャラクタ指向を導
入することとした.従来手法に組み合わせることで,シナリオ構造を把握しやすくなると考えた.シナ
リオをキャラクタ行動全体として見ると,シナリオは合成された並行プロセス群と見なせるので,プロ
セス代数CSP を基盤とするFDR 記述によるモデル化を採用し,検証にFDR2 を採用した.FDR 記
述で簡潔に同期遷移を表現できるため,パーティを組むRPG シナリオの記述を適切に表現でき
た.大規模なシナリオを扱うためには更に研究が必要であるが,キャラクタ指向開発の有用性は確
認できた.
The verification of RPG scenario by FDR
Masaru Nagaku†
Abstract
I proposed the character oriented development of RPG scenario, and I made the verification tool
for the character oriented development. To identify the problem, I analyzed a past RPG scenario
development technique, and I judged that there was a cause in the Story oriented. I thought RPG
scenario to be not the Story set model but a character action set model. I adopted the model
expression by CSP and the verification by FDR2. The model expression by CSP was suitable for the
description of RPG scenario. I confirmed the utility of the character oriented development.
1. はじめに
家庭用ゲーム機やPC 上で動作するソフトウェアに,
娯楽の提供を主目的とした,コンピュータゲームがある.
コンピュータゲームは,その娯楽性や操作体系などに
よって,いくつかのジャンルに分類される.その一種で
あるRPG(ロールプレイングゲーム)では,プレイヤが,
操作するキャラクタの役割を演じることで,ストーリ(物
語)を進めていく.
RPG では,キャラクタの行動可能な選択肢が適時に
与えられ,その選択によってストーリが異なる進行を見
せるのが一般的である.このため,RPG におけるストー
リは,図1 のような,映画などの一般的な映像メディアに
おける一本道なそれではなく,図2 のような,複雑な分
岐によって実現される複数のストーリの集合と捉えること
ができる.本稿では,このストーリの集合を,シナリオと
† ハイパーコンテンツ(株)
HyperContents Corp.