| Item type |
Trans(1) |
| 公開日 |
2021-01-27 |
| タイトル |
|
|
タイトル |
多重Ambient Calculusのための統合開発環境 |
| タイトル |
|
|
言語 |
en |
|
タイトル |
The Integrated Development Environment for the Multiple Ambient Calculus |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
[オリジナル論文] 統合開発環境，プロセス代数，Ambient Calculus，海上物流システム |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
journal article |
| 著者所属 |
|
|
|
近畿大学理工学部情報学科 |
| 著者所属 |
|
|
|
近畿大学理工学部情報学科 |
| 著者所属 |
|
|
|
近畿大学理工学部情報学科 |
| 著者所属 |
|
|
|
近畿大学理工学部情報学科 |
| 著者所属 |
|
|
|
近畿大学理工学部情報学科 |
| 著者所属(英) |
|
|
|
en |
|
|
Kindai University |
| 著者所属(英) |
|
|
|
en |
|
|
Kindai University |
| 著者所属(英) |
|
|
|
en |
|
|
Kindai University |
| 著者所属(英) |
|
|
|
en |
|
|
Kindai University |
| 著者所属(英) |
|
|
|
en |
|
|
Kindai University |
| 著者名 |
加藤, 暢
山田, 瞭太
鳥山, 颯斗
大倉, 亮介
樋口, 昌宏
|
| 著者名(英) |
Toru, Kato
Ryota, Yamada
Hayato, Toriyama
Ryousuke, Okura
Masahiro, Higuchi
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
本稿では，多重Ambient Calculus（MAC）のための統合開発環境を提案する．MACとは，物流システムのモデル化に特化したプロセス代数である．コンテナを用いる海上物流では，多数のコンテナが数隻のコンテナ船に載せ替えられながら，何箇所かのハブ港を経由し目的地に輸送される．我々は現在，コンテナ輸送が計画どおりに行われているかどうかを確認する物流監視システムについて研究を進めている．このシステムは，MACを用いてモデル化された物流計画と，そのモデルの一部を書き込んだRFIDタグを用いて検知した実際のコンテナの移動を比較することで，コンテナが物流計画どおりに取り扱われているかどうかを確認するものである．このような監視活動を行うためには，物流システムの持つ動的な階層構造を表現するMACのプロセス式を正確に記述する必要がある．本稿で提案する統合開発環境IDE4MACは，通常の編集機能に加え，複数の動作が選択可能なプロセスに対する選択実行機能や巻き戻し機能など，MACのプロセス式の持つすべての非決定的な動作を確認するために有用な機能を備える．さらに，プロセス式の階層構造を表す木構造の図を編集する機能，および木構造の図とプロセス式のリアルタイムな相互変換機能を備える．IDE4MACを使用することで，大規模かつ複雑な経路を持つ輸送システムのモデル化が容易になり，物流監視システム開発の効率を上げることが可能となる．IDE4MACは，インストールや使用時の利便性を考慮し，Eclipseのプラグインとして開発している． |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
We propose an integrated development environment (IDE) for developing formulae written in the multiple ambient calculus (MAC). MAC is a kind of process algebra designed for modeling freight systems in which a lot of containers are transported by several vessels from one port to another port via several hub ports. We have been studying a handling management system that confirms the validity of container handling during shipping. The system checks whether containers are being correctly handled by comparing the movement of the containers, which is sensed by radio frequency identification (RFID) tags, with formal models (formulae) written in MAC. For accurate and automatic management, we need to develop MAC formulae that accurately express the nested and dynamic changing structure of the entire freight system (ports, vessels, and containers) and the movement of those objects. The IDE presented in this paper (IDE4MAC) equips ordinal editing functions and several debugging functions such as a selective execution function and backward tracing function that are useful for checking all non-deterministic actions of MAC processes. IDE4MAC also has a graphical editor by which we can edit tree structures expressing nested structure of MAC processes and the real-time mutual conversion function between process formulae and tree structures. IDE4MAC enables us to easily model freight systems with large scale and complicated paths, that improves the efficiency of developing the handling management system. We developed IDE4MAC as plugins of Eclipse so that it can be easily installed and used. |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA11464803 |
| 書誌情報 |
情報処理学会論文誌数理モデル化と応用（TOM）
巻 14,
号 1,
p. 21-32,
発行日 2021-01-27
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
1882-7780 |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-TOM1401004.pdf (3.0 MB)
