2015 Fiscal Year Final Research Report
Extension of the Ambient Calculus and Freight Management Systems based on it
| Project/Area Number |
25330095
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Kinki University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2013-04-01 – 2016-03-31
|
| Keywords | 仕様記述 / プロセス代数 / 時間制約 / モデル検査 |
|---|
| Outline of Final Research Achievements |
We investigated the Multiple Ambient Calculus(MAC) and Hybrid Timed Ambient Calculus(HTAC) for specifying freight systems. We proposed a condition for HTAC formulae considered as freight specifications. We also proposed a model checking algorithm based on a congruence relation of HTAC formulae. For constructing freight management systems, we constructed a distributed freight management system based on MAC using UHF RFID devices and conducted a preliminary experiments.
|
| Free Research Field |
総合領域
|
