Timed Extension of the Ambient Calculus and its Application for Freight System Specifications

环境微积分的定时扩展及其在货运系统规范中的应用

• 批准号: 22500040
• 负责人: HIGUCHI Masahiro
• 金额: $ 1.25万
• 依托单位: Kinki University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2010
• 资助国家: 日本
• 起止时间: 2010 至 2012
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22500040/
• 关键词: 仕様記述; 仕様検証; プロセス代数; モデル検査; 時間制約; タイムアウト; 弱双模倣等価; 閉包性; タイムアウト処理; 物流監視システム

We investigate extensions of the Ambient Calculus for specifying freight systems, which include various timing constraints and deal more than thousands of container objects. For specifying timing constraints, we propose the Timed Ambient Calculus by introducing capabilities with expiration time, waiting capability, and special ambient to express timing violation. For dealing with large amounts of container, we propose the Multiple Ambient Calculus, which enables us to model freight systems by a set of formulas. We also investigate model checking on the extended calculus and the way for constructing distribution monitoring systems based on the formulas in the extended calculus.

我们调查扩展环境演算指定货运系统，其中包括各种时间约束和处理超过数千个集装箱对象。为了指定时间约束，我们提出了定时环境演算，通过引入过期时间，等待能力，和特殊的环境来表达时序违规的能力。为了处理大量的集装箱，我们提出了多重环境演算，它使我们能够通过一组公式来建模货运系统。我们还研究了扩展演算的模型检测和基于扩展演算公式的分布式监控系统的构造方法。

项目成果

A Handling Management System for Freight with the Ambient Calculus and UHF tags

使用环境微积分和 UHF 标签的货运处理管理系统

• 发表时间: 2012
• 作者: Y.Aoki;S.Matsuura;Toru Kato and Masahiro Higuchi
• 通讯作者: Toru Kato and Masahiro Higuchi

多重Ambient Calculus と UHF 帯 RFID 機器を用いた海上物流監視システム

使用多个Ambient Calculus和UHF频段RFID设备的海上物流监控系统

• 发表时间: 2013
• 作者: 橋本隆弘;加藤 暢;樋口昌宏
• 通讯作者: 樋口昌宏

多重Ambient Calculus による物流記述に対する弱双模倣等価性を用いたモデル検査

使用弱仿拟等价进行模型检查，使用多个环境微积分进行物流描述

• 发表时间: 2012
• 期刊: 情報処理学会論文誌 : プログラミング
• 作者: 樋口昌宏;森田哲平;加藤暢
• 通讯作者: 加藤暢

Ambient Calculusの時間拡張とそれに基づく物流監視システム

环境微积分时间膨胀及基于它的物流监控系统

• 发表时间: 2011
• 作者: 村山静香;樋口昌宏
• 通讯作者: 樋口昌宏

時間付きAmbient Calculus

随时间变化的环境微积分

• 发表时间: 2013
• 作者: Y.Aoki;S.Matsuura;Atsushi Ohnishi;大西淳;樋口昌宏
• 通讯作者: 樋口昌宏