摘要
采用非形式化到形式化的过程:先用自然语言描述移动Agent,然后用形式语言Z及组件技术来描述移动Agent,并给出一个形式化的基础及移动Agent系统的一个精确高效的开发方法。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第19期80-82,共3页
Computer Engineering
关键词
形式化方法
移动代理
组件
软件工程
Z语言
Formal method
Mobile agent
Component
Software engineering
Z language
