基于AOCPN的半导体生产线多代理交互协议建模技术

被引:4
作者
翟文彬
张洁
严隽琪
马登哲
机构
[1] 上海交通大学计算机集成制造研究所
关键词
半导体生产线; 面向代理的有色赋值Petri网; 交互协议;
D O I
10.16183/j.cnki.jsjtu.2005.07.029
中图分类号
TN304 [材料];
学科分类号
摘要
提出了基于AOCPN的多代理交互协议的建模技术.在建模方面,提出了AUML模型向AOCPN模型的转换规则,以实现AUML模型向AOCPN模型的映射;在交互协议分析方面,对CPN模型简化规则进行了扩展,提出了集成简化规则和可达图的定性分析方法.以基于GPGP-CN的半导体生产线多代理交互协议为实例,验证了该建模技术的有效性.
引用
收藏
页码:1150 / 1154
页数:5
相关论文
共 5 条
[1]  
Representing agent interaction protocols in UML. Odell J,Parunak H V D,Bauer B. Proceedings of the First International Workshop on Agent Oriented Software Engineering 2000[C] . 2000
[2]  
modeling and visualizing agent conversations. Nowostawski M,Purvis M,Stephen cranefield. 5 th International Conference on Autonomous Agents Muller . 2001
[3]  
KAoS: Toward an industrial strength open agent architecture. Bradshaw JM,Dutfield S,Benoit P,et al. Software Agents . 1997
[4]  
A Reduction theory for coloured nets. Haddad S. Lecture Notes in Computer Science , Advances in Petri Nets 1989[C] . 1990
[5]  
Using colored petri nets for conversation modeling. Cost R S,Chen Y,Finin T,et al. Workshop on Agent Communication Languages at the Sixteenth International Joint Conference on Artificial Intelligence ( IJCAI 99)[C] . 1999