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