| 基于AOCPN的半导体生产线多代理交互协议建模技术 |
| |
| 引用本文： | 翟文彬,张洁,严隽琪,马登哲.基于AOCPN的半导体生产线多代理交互协议建模技术[J].上海交通大学学报,2005,39(7):1150-1154. |
| |
| 作者姓名： | 翟文彬 张洁 严隽琪 马登哲 |
| |
| 作者单位： | 上海交通大学,计算机集成制造研究所,上海,200030 |
| |
| 基金项目： | 国家自然科学基金资助项目（50375098） |
| |
| 摘 要： | 提出了基于AOCPN的多代理交互协议的建模技术．在建模方面，提出了AUML模型向AOCPN模型的转换规则，以实现AUML模型向AOCPN模型的映射；在交互协议分析方面，对CPN模型简化规则进行了扩展，提出了集成简化规则和可达图的定性分析方法．以基于GPGP-CN的半导体生产线多代理交互协议为实例，验证了该建模技术的有效性．
|
| 关 键 词： | 半导体生产线 面向代理的有色赋值Petri网 交互协议 |
| 文章编号： | 1006-2467(2005)07-1150-05 |
| 收稿时间： | 2004-07-09 |
| 修稿时间： | 2004年7月9日 |
Agent-Oriented Colored Petri-Net Based Interactive Protocol Modeling Technologies of Semiconductor Fabrication Line |
| |
| ZHAI Wen-bin,ZHANG Jie,YAN Jun-qi,MA Deng-zhe.Agent-Oriented Colored Petri-Net Based Interactive Protocol Modeling Technologies of Semiconductor Fabrication Line[J].Journal of Shanghai Jiaotong University,2005,39(7):1150-1154. |
| |
| Authors: | ZHAI Wen-bin ZHANG Jie YAN Jun-qi MA Deng-zhe |
| |
| Abstract: | An agent-oriented colored petri-net (AOCPN) modeling technology for multi-agent interaction protocol was proposed. In the view of modeling method, the transforming rule from AUML (agent unified modeling language) to AOCPN was given, which maps the AUML model to AOCPN model. In the view of analysis method, the reduction rule of CPN was extended, which is integrated with the reachability graph to check the liveness and bound properties of interactive protocol model. An illustrative example of GPGP-CN based multi-agent interaction protocol of semiconductor fabrication line demonstrates the effectiveness of the approach. |
| |
| Keywords: | semiconductor fabrication line agent-oriented colored Petri-net (AOCPN) interaction (protocol) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
