AUML与PETRI网结合使用的研究  

Research on Using AUML with Petri Nets

作　　者：魏定国[1] 吴时霖[1] 

机构地区：[1]广东商学院,广州,510320 复旦大学计算机系,上海200433

出　　处：《系统仿真学报》2005年第z1期193-196,共4页Journal of System Simulation

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

摘　　要：统一建模型语言(UML)已经成为软件系统的分析与设计的标准工具,但由它扩充而成的代理统一建模型语言(AUML)还没变成一个标准,目前的AUML规格说明还有很多的局限性,还不能胜任多代理系统的开发.Petri网是仿真、验证软件系统执行的正确性与有效性的形式化工具.本文主要分析当前AUML规格说明和Petri网概念,找出它们之间的结合点,提出用Petri网扩充AUML的方法.将其应用于多代理系统的开发,就能实施之前运用Petri网进行系统的正确性与有效性验证.

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

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