论文部分内容阅读
提出了基于AOCPN的多代理交互协议的建模技术.在建模方面,提出了AUML模型向AOCPN模型的转换规则,以实现AUML模型向AOCPN模型的映射;在交互协议分析方面,对CPN模型简化规则进行了扩展,提出了集成简化规则和可达图的定性分析方法.以基于GPGP-CN的半导体生产线多代理交互协议为实例,验证了该建模技术的有效性.