移动Agent系统的Z语言形式化描述.pdfVIP

维普资讯 第29卷 第l9期 计 算 机 工 程 2003年l1月 November2OO3 o|．29 l9 ComputerEngineering · 软件技术与数据库 · 文章编号：l00o_3428(2003)l9—00--0 移~Agent 统的Z语言形式化描述 程 劫，李羹生 (浙江大学计算机科学与工程系，杭州 310027) 摘 要：采用非形式化到形式化的过程：先用自然语言描述移动Agcnt，然后用形式语言z及组件技术来描述移动Agent，并给出一个形式化 的基础及移动Agcnc系统的一个精确高效的开发方法。 关健词：形式化方法；移动代理；