Foundations on Open Distributed Systems based on Mobile Agents

基于移动代理的开放分布式系统基础

• 批准号: 12680343
• 负责人: TOGASHI Atsushi
• 金额: $ 2.3万
• 依托单位: Shizuoka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2000
• 资助国家: 日本
• 起止时间: 2000 至 2001
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-12680343/
• 关键词: Mobile Agents; Process Calculi; Computation Models; Open Systems; Distributed Systems; Software Architecture; Constraint Solver; Heterogeneous

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 ArchitectureWe 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 SystemsBased 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 ResourcesWe 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 SystemsWe 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.

这个项目的主要目标之一是为可扩展的开放分布式系统的设计和开发建立软件体系结构和基础。通过构造分布式系统的形式演算，给出了基于移动的Agent的分布式系统的理论基础。（1）软件体系结构的设计基于研究者提出的五层计算模型、分布式对象的CORBA和ORB，设计了一个软件体系结构的基本框架。(2)开放分布式系统中异构处理的解决方案基于（4）中的计算模型，我们建立了接口软件的动态调度和执行方法。(3)解决时间、空间和资源约束我们已经形式化了解决时间、空间和计算机资源约束的基本框架，以实现移动的Agent系统。这种形式化已经通过应用到几个具体的应用程序进行了评估。(4)开放式分布式系统的计算模型我们提出了一个基于M-pi演算的开放式分布式系统的计算模型，M-pi演算是研究者们为设计移动的Agent系统而引入的。

项目成果

Roger Y. Lee, Tadanori Mizuno, Atsushi Togashi: "Component-based Software Engineering, Software Evolution Modeling"IEEE SMC 2001. (2001)

Roger Y. Lee、Tadanori Mizuno、Atsushi Togashi：“基于组件的软件工程，软件演化建模”IEEE SMC 2001。 (2001)

Roger Lee, H-K Kim, Atsushi Togashi, Tadanori Mizuno: "Managing Evolution of Software Engineering Development Environments"Proceedings of IEEE International Conference on Systems, Man and Cybernetics, Tucson, Arizona, October 7-10. 724-731 (2001)

Roger Lee、H-K Kim、Atsushi Togashi、Tadanori Mizuno：“管理软件工程开发环境的演化”IEEE 国际系统、人与控制论会议论文集，亚利桑那州图森，10 月 7-10 日。

Takuo Osaki, T. Haraikawa, T. Sakamoto, T. Hase, A. Togashi: "An Agent-Based Bidirectional Intelligent Remote Controller"IEEE Trans. on Consumer Elec.. Vol. 47, No. 3. 678-686 (2001)

Takuo Osaki、T. Haraikawa、T. Sakamoto、T. Hase、A. Togashi：“基于代理的双向智能远程控制器”IEEE Trans。

Roger Lee, H-K Kim, Atsushi Togashi, Tadanori Mizuno: "Managing Evolution of Software Engineeiring Development Environments"Proceedings of IEEE International Conference on Systems, Man and Cybernetics, Tucson, Arizona. 724-731 (2001)

Roger Lee、H-K Kim、Atsushi Togashi、Tadanori Mizuno：“管理软件工程开发环境的演化”IEEE 国际系统、人与控制论会议论文集，亚利桑那州图森。

Tomohiro Haraikawa, Tadashi Sakamoto, Tomohiro Hase, Tadanori Mizuno, Atsushi Togashi: "muVNC, An Embedded Module for Low-Cost Internet Connectivity and Interconnectivity of Home Appliances (THAM 13.7)"Proc. of.IEEE International Conference on Comsumer El

Tomohiro Haraikawa、Tadashi Sakamoto、Tomohiro Hase、Tadanori Mizuno、Atsushi Togashi：“muVNC，用于低成本互联网连接和家用电器互连的嵌入式模块 (THAM 13.7)”Proc。