物流システムに対するプロセス代数を用いた配送監視システムの構築に関する研究

• 資料種別: 文書・図像類
• タイトル: 物流システムに対するプロセス代数を用いた配送監視システムの構築に関する研究
• 著者・編者: 加藤, 暢
• 著者標目: 加藤, 暢
• 出版事項: 近畿大学
• 出版年月日等: 2013-01-01
• 出版年（W3CDTF）: 2013-01-01
• 並列タイトル等: A Handling Management System for Freight with Process Algebra
• タイトル（掲載誌）: 科学研究費助成事業研究成果報告書 (2013. )
• 掲載ページ: 1-4
• 本文の言語コード: jpn
• 件名標目: サービス構築基盤技術; 物流システム; プロセス代数; モデル検査
• 対象利用者: 一般
• 一般注記: 研究種目：基盤研究(C); 研究期間：2011～2013; 課題番号：23500104; 研究分野：総合領域; 科研費の分科・細目：情報学・計算機システム・ネットワーク; Research Paper; application/pdf
• オンライン閲覧公開範囲: 限定公開
• 関連情報: https://kaken.nii.ac.jp/d/r/00330233.ja.html
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 近畿大学 : 近畿大学学術情報リポジトリ

• 要約等: 研究成果の概要(和文): 本研究では,物流システムに対する貨物の取扱いの形式的な監視を目的として, 物流システムをプロセス代数を用いてモデル化する方法の確立,及び貨物の移動が正しく行われているかを監視するシステムの開発を行った. モデル化のための記述方法の定式化においては, 既存のプロセス代数を拡張...