多Agent系统形式化建模方法学研究.pdf

多Agent系统形式化建模方法学 蔡远利 于振华 王瑞峰 (西安交通大学电子与信怠工程学院。陕西．西安，710049) Systems，MAs)的设计与分析方法的研究现状；从形式化建模方法学的角度， 摘要：简要总结了多Agent系统(MuIt．．Agent Model， 以利用Petri网和兀演算的相关分析方法和支持工具分析和验证系统模型，在系统开发早期发现并避免体系结构级的错误： 关键词：多Agent系统；Petri网；丌演算：。建模与分析 Formal for Multi—AgentSystems ModelingMethodology YuanliCai ZhenhuaYu Wang Ruifeng ofElectronicandInformation (School Engineering，Xi’anJiaotongUniversity·Xi’nil，Shanxi，710049)， Abstract：The methodsfor some ofthe development multi·agentsystems(MAS)aresummarized，anddisadvantagesexisting methodsarediscussed．Fromthe ofviewoftheformal visual abstractmodel point multi-agent modelingmethodology,a systems based two Petri 7c-calculus．OPN (MASAM)isproposedupon complementaryformalisms，namelyObject-orientednets(OPN)and areabletovisualizetheinitialarchitectureaswellasthe behaviorsofMAS．while7c·calculusis to the system applicabledescribing evolutionsof Petrinetsand7【·calculuscanbe andvalidatethemodel．Therefore． toolkitsfor to dynamical MAS．Many appliedanalyze the errorsinthe couldbe detectedandavoided． design earlydevelopmentstages efficiently and nets：7r-Calculus；Modeling Keywords：Multi·agentSystems；Petri Analyzing 需求、技术、环境、部署等因素在运行时的变更，导致 1引言 Agent的创建、删除、更新等动态演化，从而使M