第 4 章 状態管理方法
4.5 状態管理方法の確認
4.5.2 自動遷移表書換シーケンス
PPPPPP
PPPP
状態
入力 pow play rew ff stop rec pause
stop off play rew ff stop rec stop
play off play play-rew
play-ff stop play play-pause
rew off play
play-rew
ff stop rew rew
play-rew
ff off play rew play-ff stop ff ff
play-ff
rec off rec rec rec stop rec rec-pause
rec-pause off play-pause
rec-pause
rec-pause
stop rec-pause rec play-pause off play
play- pause-rew
play- pasue-ff
stop rec-pause play
play-pause-rew play-pasue-ff
off stop off off off off off off
表 4.18: player/recorder部分状態機械- sony共通(1) τ(action) τ(media) τ(time) τ(exception)
off stop
stop stop
stop stop
play stop stop
stop stop
play stop stop
stop stop
stop stop
stop stop
play-pause stop stop
play-pause stop stop
PPPPPP
PPPP
状態
入力 pow play rew ff stop rec pause
stop off play rew ff stop rec stop
play off play play-rew
play-ff stop play play-pause
rew off play
play-rew
ff stop rew rew
play-rew
ff off play rew play-ff stop ff ff
play-ff
rec off rec rec rec stop rec rec-pause
rec-pause off rec-pause
rec-pause
rec-pause
stop rec-pause rec play-pause off
play-pause
play- pause-rew
play- pasue-ff
stop rec-pause play
play-pause-rew play-pasue-ff
off stop off off off off off off
表 4.20: player/recorder部分状態機械- panasonic共通(1) τ(action) τ(media) τ(time) τ(exception)
off stop
stop stop
stop stop
play stop stop
stop stop
play stop stop
stop stop
stop stop
stop stop
play-pause stop stop
play-pause stop stop
機種別遷移表の作成&制御確認
同一メーカの機種間では遷移表に違いが見られなかったため，共通のplayer/recorder 部分状態機械から，DSR-20の機種別遷移表を作成した．player/recorderの共通遷移表で 遷移に違いが出る可能性のある箇所を，赤外線のイベントに対する状態機械の遷移を監視 することで再定義して，機種ごとの状態遷移表を生成した．表4.22・4.33にDSR-20の機 種別遷移表を示す．
PPPPPP
PPPP
状態
入力 pow play rew ff stop rec pause
stop off play rew ff stop rec stop
play off play play-rew
play-ff stop play play-pause
rew off play
play-rew
ff stop rew rew
play-rew
ff off play rew play-ff stop ff ff
play-ff
rec off rec rec rec stop rec rec-pause
rec-pause off play-pause
rec-pause
rec-pause
stop rec-pause rec play-pause off play
play- pause-rew
play- pasue-ff
stop rec-pause play
play-pause-rew play-pasue-ff
off stop off off off off off off
表 4.22: player/recorder部分状態機械- DSR-20(1)
τ(action) τ(media) τ(time) τ(exception)
off stop
stop stop
stop stop
play stop stop
stop stop
play stop stop
stop stop
stop stop
stop stop
play-pause stop stop
play-pause stop stop
表 4.23: player/recorder部分状態機械- DSR-20(2)
一般的な遷移表から状態遷移表の書換が正しく行われ，機種別の遷移表が作成されたこ とが確認できた．そして機種別の遷移表に基づいてすべて正常に遷移が行われ，実機の状 態を捕捉し続けることが確認できた．自動遷移表書換シーケンスによって遷移表の書換が 行われた箇所は，入力がplayで状態がrec-pauseとplay-pauseのときの2箇所である．書 換後は入力playに対してrec-pauseからplay-pause状態に，play-pauseからplay状態に 遷移する．
本実験で用いた4機種では，メーカ・機種の依存性は弱く，同一メーカの機種間では 遷移表に違いが見られず，メーカ間でも違いは少なかった．よって，共通の遷移表を用 いて限定的な機器制御を行うことは可能である．原因として，対象機種・メーカが少な かったこと，機器の発売された年代が近いこと，型番の近い上位機種を用いたことなどが 考えられる．しかし，本研究では，LegacyDeviceを情報家電機器と同様に扱いユーザの 利便性の向上などを図っているため，機器制御に制限を設けるのは適切ではない．また，
LegacyDeviceには，未知のメーカ・機種が多く存在し，それによって挙動が大きく異な
る可能性も考えられ，遷移表を書き換え依存性への対応を行う自動遷移表書換シーケンス を実行することが必要になってくる考えられる．