A Handling Management System for Freight with Process Algebra

• Project/Area Number: 23500104
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Computer system/Network
• Research Institution: Kinki University
• Principal Investigator: KATO Toru 近畿大学, 理工学部, 准教授 (00330233)
• Project Period (FY): 2011 – 2013
• Project Status: Completed (Fiscal Year 2013)
• Budget Amount: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000); Fiscal Year 2013: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2012: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2011: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
• Keywords: サービス構築基盤技術 / 物流システム / プロセス代数 / モデル検査 / 海上物流システム / RFID / Ambient Calculus

Research Abstract

We have proposed a way of modeling freight system with a process algebra and constructed a handling management system for freights in order to establish a formal way to supervise how containers are treated during shipping.
The Multiple Ambient Calculus(MAC) is a kind of process algebra which we have proposed to model fright systems for accurately describing nested structure and concurrency of fright systems. We also have constructed a handling management system that can supervise the treatment of containers by sensing movement of them using UHF RFID devices and comparing the movement to the model written in MAC recorded in RFID tags on the containers.

Research Products

• [Journal Article] 多重Ambient Calculus と UHF 帯 RFID 機器を用いた海上物流監視システム (2013)
  • Author(s): 橋本隆弘, 加藤 暢, 樋口昌宏
  • Journal Title: 情報処理学会論文誌 : プログラミング Volume: Vol. 6, No. 2 Pages: 1-12
  • NAID: 110009602855
  • URL: 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
  • Peer Reviewed
• [Journal Article] 多重Ambient CalculusとUHF帯RFID機器を用いた海上物流監視システム (2013)
  • Author(s): 橋本 隆弘 , 加藤 暢 , 樋口 昌宏
  • Journal Title: 情報処理学会論文誌プログラミング Volume: 6 Pages: 1-12
  • NAID: 110009602855
  • Peer Reviewed
• [Journal Article] 多重Ambient Calculus による物流記述に対する弱双模倣等価性を用いたモデル検査 (2012)
  • Author(s): 樋口昌宏, 森田哲平, 加藤暢
  • Journal Title: 情報処理学会論文誌 : プログラミング Volume: Vol. 5, No. 3 Pages: 50-60
  • NAID: 40019468726
  • URL: 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
  • Peer Reviewed
• [Journal Article] 物流システム記述のための多重 Ambient Calculus (2012)
  • Author(s): 樋口昌宏, 加藤 暢
  • Journal Title: 情報処理学会論文誌:プログラミング Volume: Vol. 5, No. 2 Pages: 79-87
  • NAID: 40019257089
  • URL: 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
  • Peer Reviewed
• [Presentation] Ambient Calculus のための統合開発環境 (2014)
  • Author(s): 加藤 暢, 宮井亜人夢, 佐々木大和, 樋口昌宏
  • Organizer: 情報処理学会プログラミング研究第98回研究発表会
  • Place of Presentation: 東京大学
  • Year and Date: 2014-03-18
• [Presentation] Ambient Calculus のための統合開発環境 (2014)
  • Author(s): 加藤暢
  • Organizer: 情報処理学会プログラミング研究会第98回プログラミング研究発表会
  • Place of Presentation: 東京大学
• [Presentation] Integrated Development Environment for the Ambient Calculus (2013)
  • Author(s): 加藤 暢
  • Organizer: 14th International Conference on Automation & Information (ICAI '13)
  • Place of Presentation: スペインババレンシア TRYP Oceanic ホテル
  • Year and Date: 2013-08-08
• [Presentation] 多重Ambient Calculus と UHF 帯 RFID 機器を用いた海上物流監視システム (2013)
  • Author(s): 橋本隆弘, 加藤 暢, 樋口昌宏
  • Organizer: 情報処理学会プログラミング研究第92回研究発表会
  • Place of Presentation: 鹿児島県奄美市 AiAi ひろば
  • Year and Date: 2013-01-15
• [Presentation] Integrated Development Environment for the Ambient Calculus (2013)
  • Author(s): Toru Kato
  • Organizer: 14th WSEAS International Conference on Automation & Information
  • Place of Presentation: スペインバレンシア州TRYP Oceanicホテル
• [Presentation] A Handling Management System for Freight with the Ambient Calculus and UHF RFID Tags (2012)
  • Author(s): 加藤暢, 樋口昌宏
  • Organizer: The 15th International Conference on Network-Based Information Systems
  • Place of Presentation: 豪州メルボルンLa Trobe大学
  • Year and Date: 2012-09-27
• [Presentation] 多重Ambient Calculus を用いた物流監視システムの構築に関する研究 (2012)
  • Author(s): 橋本隆弘, 加藤 暢, 樋口昌宏
  • Organizer: 情報処理学会第74回全国大会
  • Place of Presentation: 名古屋工業大学
  • Year and Date: 2012-03-07
• [Presentation] 多重Ambient Calculus による物流記述に対する弱双模倣等価性を用いたモデル検査 (2012)
  • Author(s): 樋口昌宏, 森田哲平, 加藤 暢
  • Organizer: 情報処理学会プログラミング研究第87回研究発表会
  • Place of Presentation: 沖縄県久米島町イーフ情報プラザ
  • Year and Date: 2012-01-24
• [Presentation] A Handling Management System for Freight with the Ambient Calculus and UHF RFID tags(査読付き) (2012)
  • Author(s): 加藤暢
  • Organizer: The 15th International Conference on Network-Based Information Systems
  • Place of Presentation: La Trobe University（オーストラリア)
• [Presentation] 物流システム記述のための多重 Ambient Calculus (2011)
  • Author(s): 樋口昌宏, 加藤 暢
  • Organizer: 情報処理学会プログラミング研究第86回研究発表会
  • Place of Presentation: 横浜市神奈川近代文学館
  • Year and Date: 2011-11-02
• [Presentation] 多重Ambient Calculusを用いた物流監視システムの構築に関する研究
  • Author(s): 橋本隆弘，加藤 暢，樋口昌宏
  • Organizer: 第74回情報処理学会全国大会
  • Place of Presentation: 名古屋工業大学(愛知県名古屋市)