2012 Fiscal Year Final Research Report
Timed Extension of the Ambient Calculus and its Application for Freight System Specifications
| Project/Area Number |
22500040
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Kinki University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2010 – 2012
|
| Keywords | 仕様記述 / 仕様検証 / プロセス代数 / モデル検査 |
|---|
| Research Abstract |
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.
|
