| 用UML与Petri网为智能代理建模 |
| |
| 引用本文： | 魏定国,彭宏. 用UML与Petri网为智能代理建模[J]. 小型微型计算机系统, 2006, 27(12): 2286-2289 |
| |
| 作者姓名： | 魏定国 彭宏 |
| |
| 作者单位： | 1. 广东商学院,广东,广州,510320
2. 华南理工大学,计算机学院,广东,广州,510641 |
| |
| 基金项目： | 广东省科技攻关计划;广东省广州市科科技攻关项目 |
| |
| 摘 要： | 统一建模型语言（UML）已经成为软件系统的分析与设计的标准工具，但由它扩充而成的代理统一建模型语言（AUML）还没变成一个标准，目前的AUML规格说明还有很多的局限性，还不能胜任多代理系统的开发．Petri网是仿真、验证软件系统执行的正确性与有效性的形式化工具．本文主要分析当前AUML规格说明和Petri网概念．找出它们之间的结合点，提出用Petri网扩充AUML的方法．将其应用于多代理系统的开发，就能实施之前运用Petri网进行系统的正确性与有效性验证．
|
| 关 键 词： | Petri网 智能代理 系统开发 |
| 文章编号： | 1000-1220（2006）12-2286-04 |
| 收稿时间： | 2005-09-13 |
| 修稿时间： | 2005-09-132005-11-28 |
Modelling Intelligent Agents with UML and Petri Nets |
| |
| WEI Ding-guo,PENG Hong. Modelling Intelligent Agents with UML and Petri Nets[J]. Mini-micro Systems, 2006, 27(12): 2286-2289 |
| |
| Authors: | WEI Ding-guo PENG Hong |
| |
| Affiliation: | 1.Guangdong Commercial College ,Guangzhou 510320,China; 2.South China University of Technology, Guangzhou 510641, China |
| |
| Abstract: | Unified 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 multi-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. |
| |
| Keywords: | AUML |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
