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

IPSJ

Bibliographic Information

Other Title
  • Hybrid Timed Ambient Calculus for Logistics Specification

Search this article

Abstract

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

In this paper, we propose the hybrid timed ambient calculus (HTAC) as an extension of the ambient calculus (AC). We also propose a way for specifying logistics plans using HTAC. In addition to the capabilities of AC, HTAC contains expiration time and waiting capabilities that enable us to specify timeout-like behaviors and specify the lower or upper bounds of the timing interval between two events. Therefore, we can represent logistics specifications such as human travel plans with various transportation systems or maritime logistics. In HTAC logistics specifications, we use the expiration time capabilities for physical movements, which occur discretely, and the original AC capabilities for the physical movement notifications, which occur simultaneously. We give a condition for the HTAC formula, which is regarded as a logistics specification. We developed a formula processing system, which can reduce a process formula by selecting executable events, enabling us to confirm whether the process formula behaves as intended. We will describe the method to build a logistics monitoring system with the formula processing system. The system can detect the physical movement that violates the logistics plan, or can guide the movements in compliance with the logistics plan.

Journal

Related Projects

See more

Keywords

Details 詳細情報について

Report a problem

Back to top