研究課題
基盤研究(C)
本研究では，物流システムに対する貨物の取扱いの形式的な監視を目的として，物流システムをプロセス代数を用いてモデル化する方法の確立，及び貨物の移動が正しく行われているかを監視するシステムの開発を行った。モデル化のための記述方法の定式化においては，既存のプロセス代数を拡張し，物流システムのモデル化に特化した多重Ambient Calculusを提案した。これにより物流システムの持つ階層構造，並列性などが適切に表現できるようになった。さらに，物流システムをモデル化した式と，UHF帯RFID機器を用いて検知した貨物の移動を対比させることにより取扱いの監視を行うシステムを構築した。
すべて 2014 2013 2012 2011
すべて 雑誌論文 (3件) (うち査読あり 3件) 学会発表 (7件)
情報処理学会論文誌 : プログラミング
巻: Vol. 6, No. 2 ページ: 1-12
https://ipsj.ixsq.nii.ac.jp/ej/?action=pages_view_main&active_action=repository_view_main_item_detail&item_id=94937&item_no=1&page_id=13&block_id=8
巻: Vol. 5, No. 3 ページ: 50-60
https://ipsj.ixsq.nii.ac.jp/ej/index.php?active_action=repository_view_main_item_detail&item_id=83514&item_no=1&page_id=13&block_id=8
情報処理学会論文誌:プログラミング
巻: Vol. 5, No. 2 ページ: 79-87
https://ipsj.ixsq.nii.ac.jp/ej/?action=pages_view_main&active_action=repository_view_main_item_detail&item_id=81617&item_no=1&page_id=13&block_id=8
