文献

J-GLOBAL ID：201702242923405520   整理番号：17A1001774

物流記述のための混合型時間アンビアント計算

Hybrid Timed Ambient Calculus for Logistics Specification

著者 (4件)： 藤坂吉秀 (近畿大) ,  稲森啓太 (近畿大) ,  樋口昌宏 (近畿大) ,  加藤暢 (近畿大)
資料名： 情報処理学会論文誌トランザクション プログラミング(Web)  (情報処理学会論文誌 プログラミング(Web))
巻： 10  号： 4  ページ： 12-27 (WEB ONLY)  発行年： 2017年07月21日 
JST資料番号： U0474A  ISSN： 1882-7802  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本論文では,Ambient Calculus(AC)を時間的な制約が記述できるよう拡張した混合型時間アンビアント計算(HTAC)と,それを用いた物流計画記述法を提案する。HTACはACのケーパビリティに加えて,有効期限付きケーパビリティと待機ケーパビリティを持つ。これにより,ACの特徴であった階層構造の動的な変化の表現に加え,タイムアウト動作や2つのイベント間の発生間隔の上下限の指定などの時間制約が指定可能となる。有効期限付きケーパビリティを連続するイベントが離散的に発生するオブジェクトの移動の表現に用い,ACのケーパビリティを瞬時に発生するべきオブジェクトの移動情報の通知などに用いることで,各種交通機関を用いた人の移動や海上物流などの物流計画が記述できる。このようなケーパビリティを使い分ける基準として,プロセス式が物流計画の記述と見なせるための条件を与える。また,HTACプロセス式から実行可能なイベントを選択し,式を遷移させる処理系を開発した。この処理系を用いて,プロセス式が意図どおりの動作をするかなどの確認を行うことができる。その処理系を活用した物流監視システムの構築方法について述べる。物流監視システムはHTAC式による物流計画に違反したオブジェクトの移動を検出するとともに,HTAC式に沿った移動を誘導するようなシステムである。(著者抄録)

シソーラス用語： *データ処理 ,  *権限 ,  *書法 ,  階層構造系 ,  処理 ,  監視装置 ,  検出
準シソーラス用語： イベント処理 ,  オブジェクト検出 ,  *ケイパビリティ【情報システム】 ,  タイムアウト ,  階層構造システム ,  監視システム ,  *記述法 ,  *物流データ処理

分類 (3件)： 物的流通  (KA08000O) ,  データベースシステム  (JD03030U) ,  計算機利用技術一般  (JE01000C)

引用文献 (14件)：

• Aman, B. and Ciobann, G.: Timed Mobile Ambient for Network Protocols, Vol.5048, Elsevier Science (2008).
• Aman, B. and Ciobann, G.: Mobile Ambient with Timers, Mobility in Process Calculi and Natural Computing, pp.26-36, Springer (2011).
• Cardelli, L., Ghelli, G. and Gordon, A.D.: Types for the Ambient Calculus, Infomation and Computation 177, pp.160-194 (2002).
• Cardelli, L. and Gordon, A.D.: Mobile Ambients, Theoretical Computer Science, Vol.240, pp.177-213 (2000).
• Cardelli, L.: Abstractions for Mobile Computation, Lecture Notes in Computer Science, Vol.1603, pp.51-94 (1999).

タイトルに関連する用語 (3件)： 物流 ,  記述 ,  計算