Extension of the Ambient Calculus and Freight Management Systems based on it

• Project/Area Number: 25330095
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Software
• Research Institution: Kinki University
• Principal Investigator: HIGUCHI Masahiro 近畿大学, 理工学部, 教授 (00238289)
• Project Period (FY): 2013-04-01 – 2016-03-31
• Project Status: Completed (Fiscal Year 2015)
• Budget Amount: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000); Fiscal Year 2015: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2014: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000); Fiscal Year 2013: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
• Keywords: 仕様記述 / プロセス代数 / 時間制約 / モデル検査 / 物流監視 / 時間的性質

Outline of Final Research Achievements

We investigated the Multiple Ambient Calculus(MAC) and Hybrid Timed Ambient Calculus(HTAC) for specifying freight systems. We proposed a condition for HTAC formulae considered as freight specifications. We also proposed a model checking algorithm based on a congruence relation of HTAC formulae. For constructing freight management systems, we constructed a distributed freight management system based on MAC using UHF RFID devices and conducted a preliminary experiments.

Research Products

• [Journal Article] 多重Ambient CalculusとUHF帯RFID機器を用いた海上物流監視システム (2013)
  • Author(s): 橋本隆弘、加藤暢、樋口昌宏
  • Journal Title: 情報処理学会論文誌プログラミング Volume: 6 Pages: 1-12
  • NAID: 110009602855
  • Peer Reviewed
• [Presentation] 多重Ambient Calculus を用いた海上物流監視システムの ための動的経路設定機能 (2016)
  • Author(s): 宮井亜人夢、加藤暢、樋口昌宏
  • Organizer: 情報処理学会プログラミング研究会
  • Place of Presentation: 東京都目黒区
  • Year and Date: 2016-02-28
• [Presentation] 混合型時間アンビアント計算のCTLモデル検査 (2015)
  • Author(s): 樋口昌宏、稲森啓太
  • Organizer: 第14回情報科学技術フォーラム
  • Place of Presentation: 愛媛県松山市
  • Year and Date: 2015-09-15
• [Presentation] 混合型時間アンビアント計算の記述性; Timed Mobile Ambientとの比較 (2015)
  • Author(s): 藤坂吉秀、樋口昌宏
  • Organizer: 第14回情報科学技術フォーラム
  • Place of Presentation: 愛媛県松山市
  • Year and Date: 2015-09-15
• [Presentation] Experiment of a Freight Management System with the Multiple Ambient Calculus (2015)
  • Author(s): Toru Kato, Atom Miyai, Masahiro Higuchi
  • Organizer: 2nd Int'l Conf. on Mathematics and Computers in Sciences and in Industry
  • Place of Presentation: マルタ共和国 スリーマ
  • Year and Date: 2015-08-17
  • Int'l Joint Research
• [Presentation] 時間アンビアント計算による物流システムの記述について (2015)
  • Author(s): 中越大輝、樋口昌宏
  • Organizer: 電子情報通信学会2015年総合大会
  • Place of Presentation: 立命館大学 (草津市)
  • Year and Date: 2015-03-10 – 2015-03-13
• [Presentation] 多重Ambient Calculusを用いた物流監視システムの実証実験 (2015)
  • Author(s): 宮井亜人夢、加藤暢、樋口昌宏
  • Organizer: 電子情報通信学会2015年総合大会
  • Place of Presentation: 立命館大学 (草津市)
  • Year and Date: 2015-03-10 – 2015-03-13
• [Presentation] 時間付きAmbient Calculusの直接実行系の開発 (2014)
  • Author(s): 中越大輝
  • Organizer: 電子情報通信学会2014年総合大会
  • Place of Presentation: 新潟大学（新潟市）