摘要：首先集成两种互为补充的形式化方法，面向对象Petri网（Object-Oriented Petrinets，OPN）和π演算，建立了一种通用的形式化建模方法——π网，π网利用OPN形象地描述系统的初始化模型及动态行为，利用π演算刻画系统的动态演化，然后以π网为语义基础，从软件体系结构的角度，建立了一种多Agent系统体系结构模型（Multi-agent Systems Architecture Model，MASAM），在MASAM中，将多Agent系统抽象为计算Agent、连接Agent和配置等三个单元，并描述了多Agent系统的动态演化；研究了系统演化后体系结构一致性的分析方法，从而可以榆测系统开发早期存在的错误，确倮模型的可靠件和正确件。

关键词：多agent系统 软件体系结构 面向对象petri网 演化 

单位：西安交通大学电子与信息工程学院; 西安710049; 空军工程大学电讯工程学院; 西安710071; 马萨诸塞州立大学; 达特茅斯分校计算机与信息科学系; 美国北达特茅斯02747