第31回 (2017)
セッションID: 1M1-OS-02a-3
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2017年度人工知能学会全国大会（第31回）
回次: 31
開催地: 愛知県名古屋市 ウインクあいち
開催日: 2017/05/23 - 2017/05/26
スマートオブジェクトの近接連携シナリオへの記号モデル検査の応用
詳細
主催: 一般社団法人 人工知能学会
会議名: 2017年度人工知能学会全国大会（第31回）
回次: 31
開催地: 愛知県名古屋市 ウインクあいち
開催日: 2017/05/23 - 2017/05/26
ユビキタスコンピューティング(UC)シナリオの検証は，UCの様々なアプリケーションを設計する際に，設計上の問題を実装の前段階で発見できるため有用である．本論文では，記号モデル検査の新たな応用先としてUCシナリオの検証を提案する．具体的には，UCシナリオを記号モデル検査の問題に変換することで，筆者が過去に提案した手法では検証が困難であった大規模なUCシナリオの検証を現実的なコストで可能になることを実験的に示す．
