研究課題/領域番号 |
22500040
|
研究種目 |
基盤研究(C)
|
配分区分 | 補助金 |
応募区分 | 一般 |
研究分野 |
ソフトウエア
|
研究機関 | 近畿大学 |
研究代表者 |
樋口 昌宏 近畿大学, 理工学部, 准教授 (00238289)
|
研究期間 (年度) |
2010 – 2012
|
研究課題ステータス |
完了 (2012年度)
|
配分額 *注記 |
1,950千円 (直接経費: 1,500千円、間接経費: 450千円)
2012年度: 390千円 (直接経費: 300千円、間接経費: 90千円)
2011年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2010年度: 390千円 (直接経費: 300千円、間接経費: 90千円)
|
キーワード | 仕様記述 / 仕様検証 / プロセス代数 / モデル検査 / 時間制約 / タイムアウト / 弱双模倣等価 / 閉包性 / タイムアウト処理 / 物流監視システム |
研究概要 |
多数の貨物を扱う時間制約を含む物流計画の形式記述のための枠組みという観点から、Ambient Calculus の拡張について検討を行った。時間制約記述のため、ケーパビリティに有効期限付きのものを導入し、時間経過遷移を導入することにより、タイムアウト動作などが記述できる時間付きAmbient Calculus を提案した。一方、多数の類似する貨物を扱う物流を適切に表現するため、プロセス式の組により物流システムを記述する多重Ambient Calculus を提案した。また、それらの拡張を施したAmbient Calculus におけるモデル検査、および記述に基づいて物流管理を行う物流監視システムの構築について検討した。
|