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

【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.更多还原