| Project/Area Number |
12680343
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
計算機科学
|
|---|
| Research Institution | Shizuoka University |
|---|
Principal Investigator |
TOGASHI Atsushi Shizuoka University, Faculty of Informatics, Professor, 情報学部, 教授 (20172140)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
HARAIKAWA Tomohiro Shizuoka University, Faculty of Informatics, Research Associate, 情報学部, 助手 (90324326)
SATO Fumiaki Shizuoka University, Faculty of Informatics, Associated Professor, 情報学部, 助教授 (40273164)
|
|---|
| Project Period (FY) |
2000 – 2001
|
| Project Status |
Completed (Fiscal Year 2001)
|
| Budget Amount *help |
¥3,600,000 (Direct Cost: ¥3,600,000)
Fiscal Year 2001: ¥1,400,000 (Direct Cost: ¥1,400,000)
Fiscal Year 2000: ¥2,200,000 (Direct Cost: ¥2,200,000)
|
|---|
| Keywords | Mobile Agents / Process Calculi / Computation Models / Open Systems / Distributed Systems / Software Architecture / Constraint Solver / Heterogeneous |
|---|
| Research Abstract |
One of the main objectives of this project is to establish both software architecture and foundations for the design and development of extensible open distributed systems. The theoretical basis is given based on mobile agents via construction of formal calculi of the distributed systems. The detailed research results are stated in the followings :
(1) Design of Software Architecture
We have designed a basic framework of software architecture based on the five layers computation model by the investigators, CORBA and ORB of distributed objects.
(2) Solutions to treat Heterogeneity in Open Distributed Systems
Based on the computation model in (4), we have established methodologies for dynamic dispatching and execution of interface software.
(3) Solving Constraints on Time, Spaces, and Resources
We have formalized basic framework for solving constrains on time, spaces, and computer resources to implement mobile agent system. This formalization have been evaluated by applying to several specific applications.
(4) Computation Models for Open Distributed Systems
We have proposed a computation model of open distributed system based on the M-pi calculus which was introduced by the investigators for design of mobile agent systems.
|
