用UML与Petri网为智能代理建模  

Modelling Intelligent Agents with UML and Petri Nets

作　　者：魏定国[1] 彭宏[2] 

机构地区：[1]广东商学院,广东广州510320 [2]华南理工大学计算机学院,广东广州510641

出　　处：《小型微型计算机系统》2006年第12期2286-2289,共4页Journal of Chinese Computer Systems

基　　金：广东省科技攻关项目(2004A10202001)资助;广州市科攻关项目(2004Z2-D0091)资助.

摘　　要：统一建模型语言(UML)已经成为软件系统的分析与设计的标准工具,但由它扩充而成的代理统一建模型语言(AUML)还没变成一个标准,目前的AUML规格说明还有很多的局限性,还不能胜任多代理系统的开发.Petri网是仿真、验证软件系统执行的正确性与有效性的形式化工具.本文主要分析当前AUML规格说明和Petri网概念,找出它们之间的结合点,提出用Petri网扩充AUML的方法.将其应用于多代理系统的开发,就能实施之前运用Petri网进行系统的正确性与有效性验证.Unifled Modelling Language （UML） has become a standard tool for the analysis and design of software systems. Its extension agent UML （AUML） does not become a standard yet. Current AUML specifications have many limitations, and so it is not competent for development of multl-agent systems. On the other hand, Petri nets are a formal concept suitable for simulation, validation and verification of software system execution. This paper focuses on analyzing the current AUML specifications and the concepts of Petri nets in order to find connection between them and to present the approach for extending AUML with Petri nets. By applying extending AUML with Petri nets to the development of multi-agent systems,verification and validation of the system can be carried out by Petri nets before actual implementation.

关 键 词：PETRI网 AUML 智能代理 系统开发 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]