摘要： 采用非形式化到形式化的过程:先用自然语言描述移动Agent,然后用形式语言Z及组件技术来描述移动Agent,并给出一个形式化的基础及移动Agent系统的一个精确高效的开发方法。

关键词: 形式化方法, 移动代理, 组件, 软件工程, Z语言

Abstract: This paper deploys the procedure from non-formalization to formalization: first specifies the mobile-agent by natural language, then refines the mobile-agent system with formal language Z and component concept. This paper provides a formal foundation of mobile-agent system and a precise and efficient development method for mobile-agent system.

中图分类号: 

• TN929.5