基于面向对象Petri网的多Agent系统交互协议建模

摘要/Abstract

摘要： 为了描述、分析和验证多Agent系统交互协议，提出了一种面向对象Petri网。与现有的形式化方法相比，面向对象Petri网能形象、直观地刻画多Agent系统复杂、并行的交互协议，可以描述其静态和动态语义，并可利用Petri网的数学分析方法对交互协议进行动态分析。面向对象Petri网还具有较好的模块性和柔性，能单独地分析参与交互的每一个Agent，而不会影响其他Agent和环境的状态。最后，利用面向对象Petri网描述了智能物理代理基金会请求协议和合同网协议，并对一个买卖Agent交互实例进行了建模和动态分析，验证了面向对象Petri网具有较好的建模能力。

关键词: 多Agent系统, 交互协议, 面向对象Petri网, 建模

Abstract: To describe, analyze and verify interaction protocols in multi-agent systems, Object-Oriented Petri Nets was proposed. Compared with the current formal methods, Object-Oriented Petri Nets could visually describe the complex and concurrent interaction protocols, depict the static and dynamic semantics of interaction protocols, and analyze dynamically interaction protocols.Better modularity and flexibility of Object-Oriented Petri Nets could make it possible to independently analyze each participating agent without affecting other agents and environment.Finally,the Foundation for Intelligent Physical Agents(FIPA) Request Protocol and the Contract Protocol were described by the Object-Oriented Petri Nets, and an interaction example for a purchasing agent and a selling agent was modeled and analyzed dynamically. It was shown that Object-Oriented Petri Nets had better modeling capability than the current formalisms.

Key words: ulti-agent systems, interaction protocols, object-oriented Petri nets, modeling

中图分类号:

TP18
TP301

于振华，蔡远利, 韩九强. 基于面向对象Petri网的多Agent系统交互协议建模[J]. .

YU Zhen-hua, CAI Yuan-li, HAN Jiu-qiang. Interaction protocols modeling for multi-Agent systems based on object-oriented Petri nets[J]. .

参考文献

［1］ WOOLDRIDGE M J, JENNINGS N R. Agent theories, architectures, and languages: a survey ［A］. Proceedings of Workshop on Agent Theories, Architectures and Languages ［C］. Amsterdam, Holand: Spring-Verlag, Lecture Notes in Artificial Intelligence,1994,890.1-32.
[2] JENNINGS N R, SYCARA K, WOOLDRIDGE M J. A roadmap of agent research and development ［J］. Autonomous Agent and Multi-Agent Systems, 1998, 1(1): 7-38.

[3] KONIG R. State-based modeling method for multiagent conversation protocols and decision activities ［A］.Proceedings of Agent Technologies, Infrastructures,Tools, and Applications for E-Services［C］. Erfurt: Springer-Verlag,Lecture Notes in Artificial Intelligence, 2003,2592:151-166.
[4] NOWOSTAWSKI M, PURVIS M, CRANEFIELD S. Modelling and visualizing agent conversations ［A］. Proceedings of the 5th International Conference on Autonomous Agents ［C］.Montreal, Canada: ACM Press, 2001. 163-170.

[5] PARUNAK H V D. Visualizing agent conversations: using enhanced dooley graphs for agent design and analysis ［A］. Proceedings of the 2nd International Conference on Multi-Agent Systems (ICMAS’96) ［C］. Kyoto, Japan: AAAI Press, 1996. 275-282.

[6] ODELL J, PARUNAK H V D, BAUER B. Representing agent interaction protocols in UML ［A］. Proceedings of the 1st International Workshop on Agent Oriented Software Engineering ［C］. Berlin,Germany: Springer-Verlag, 2001. 121-140.

[7] JIAO Wenpin, SHI Zhongzhi. Formalizing interactions and interaction protocols in multi-agent systems ［J］. Journal of Software, 2001, 12(8): 1177-1182(in Chinese). ［焦文品, 史忠植. 形式化多主体系统中的交互及交互协议［J］. 软件学报, 2001,12(8):1177-1182.］

[8] COST R S, CHEN Y, FININ T, et al. Using colored Petri nets for conversation modeling ［EB/OL］. http://www.csee.umbc.edu/ ~jklabrou/publications, 2004-05-20.

[9] SALDHANA J A, SHATZ S M, HU Z. Formalization of object behavior and interactions from UML models\[J\]. International Journal of Software Engineering and Knowledge Engineering, 2001,11(6):643-673.

[10] FIPA. FIPA specification ［EB/OL］. http://www.fipa.org, 2004-05-09.

[11] MURATA T. Petri nets: properties, analysis, and application ［J］. Proceedings of the IEEE, 1989, 77(4): 541-580.

[1]	朱坚民,石园园,田丰庆,黄扬辉,孟聪,陈琳. 考虑夹头与刀具过渡段的主轴系统精确建模[J]. 计算机集成制造系统, 2021, 27(8): 2215-2225.
[2]	杨旭亭,王孜悦,李凤鸣,宋锐. 基于过程建模的机器人分阶引导装配方法[J]. 计算机集成制造系统, 2021, 27(8): 2321-2330.
[3]	肖甜丽,马义中,林成龙. 面向质量设计的Kriging组合建模技术[J]. 计算机集成制造系统, 2021, 27(7): 2023-2034.
[4]	吴鹏兴,郭宇,黄少华,杨能俊,熊伟杰,郭具涛. 基于数字孪生的离散制造车间可视化实时监控方法[J]. 计算机集成制造系统, 2021, 27(6): 1605-1616.
[5]	王仁伟,张松,葛人杰,栾晓娜,王家昌,鲁韶磊. 改进的球头铣刀加工表面形貌建模方法[J]. 计算机集成制造系统, 2021, 27(4): 973-980.
[6]	朱天明,武春龙,周有城,张鹏,张小俊. 基于TRIZ功能建模的扩展碰撞预警系统数字孪生概念方案构建[J]. 计算机集成制造系统, 2021, 27(2): 337-351.
[7]	苟艺星,王军强,李洋. 事件驱动的流水线建模与质检机器配置优化[J]. 计算机集成制造系统, 2021, 27(2): 487-500.
[8]	易扬,冯锦丹,刘金山,陈长江,刘晓军,倪中华. 复杂产品数字孪生装配模型表达与精度预测[J]. 计算机集成制造系统, 2021, 27(2): 617-630.
[9]	魏莹,刘冠,李锋. 基于社交网络效应的产品设计研究[J]. 计算机集成制造系统, 2021, 27(12): 3591-3603.
[10]	张玉金,黄博,廖文和. 面向场景的航空发动机基于模型的系统工程设计[J]. 计算机集成制造系统, 2021, 27(11): 3093-3102.
[11]	陶飞,张贺,戚庆林,徐俊,孙铮,胡天亮,刘晓军,刘庭煜,关俊涛,陈畅宇,孟凡伟,张辰源,李志远,魏永利,朱铭浩,肖斌. 数字孪生模型构建理论及应用[J]. 计算机集成制造系统, 2021, 27(1): 1-16.
[12]	王建,黎荣,武浩远,丁国富,郑宇飞. 按单设计型复杂产品的配置设计技术综述[J]. 计算机集成制造系统, 2020, 26(第2): 410-425.
[13]	李文川,高思源,章鑫,冯良清. 基于随机Petri网的企业RFID技术采纳内化建模与仿真[J]. 计算机集成制造系统, 2020, 26(第2): 470-480.
[14]	唐霞,杨颖,刘晓军,仇晓黎,贾连军. 大型复杂雕塑型面钢架特征曲线快速设计方法[J]. 计算机集成制造系统, 2020, 26(第1): 114-123.
[15]	张惠煜,陈庆新,毛宁,俞爱林,李翔,梁祖红. 可重入作业车间排队网建模与缓冲区配置优化[J]. 计算机集成制造系统, 2020, 26(9): 2511-2521.