AUML与PETRI网结合使用的研究
统一建模型语言(UML)已经成为软件系统的分析与设计的标准工具,但由它扩充而成的代理统一建模型语言(AUML)还没变成一个标准,目前的AUML规格说明还有很多的局限性,还不能胜任多代理系统的开发.Petri网是仿真、验证软件系统执行的正确性与有效性的形式化工具.本文主要分析当前AUML规格说明和Petri网概念,找出它们之间的结合点,提出用Petri网扩充AUML的方法.将其应用于多代理系统的开发,就能实施之前运用Petri网进行系统的正确性与有效性验证。
Petri网 AUML 智能代理 系统开发 统一建模型语言 多代理系统
魏定国 吴时霖
广东商学院,广州,510320 复旦大学计算机系,上海200433
国内会议
江苏镇江
中文
193-196
2005-10-01（万方平台首次上网日期，不代表论文的发表时间）