1、多智能体系统编程与业务流程建模架构决策

多智能体系统编程与业务流程建模架构决策

在当今全球化的背景下，多智能体系统（MAS）作为一种有前景的软件开发范式，在复杂和分布式应用中发挥着重要作用。国际编程多智能体系统研讨会（ProMAS）系列活动致力于推动MAS成为主流的工业级软件开发方法。我们将深入探讨ProMAS 2007的相关内容，以及跨企业业务流程建模中信息通信技术（ICT）架构的选择问题。

ProMAS 2007 概述

ProMAS 2007是该系列研讨会的第五届，于2007年5月14日在美国夏威夷檀香山与国际自治代理和多智能体系统会议（AAMAS 2007）同期举行。此次研讨会收到了17篇投稿，经程序委员会评审后，11篇论文被接受。此外，还有两篇邀请论文，分别探讨了去中心化业务流程建模和一种新的智能体平台GORITE。

研讨会中的11篇常规论文，除了一篇关于为JIAC智能体平台添加会计功能的论文外，其余论文主要分为三个主题：
- 环境与交互 ：
- Aldewereld等人的论文提出了一种使用地标从规范中推导交互协议的方法，可确保规范在电子机构中得到执行。
- Santos等人展示了如何使用基于本体的方法在智能体之间互操作贝叶斯网络知识。
- Ricci等人基于A&A（智能体与工件）原则，介绍了CARTAGO平台，并说明其如何与现有MAS编程框架集成。
- 智能体编程语言 ：
- Dastani和Meyer介绍了智能体导向编程语言2APL，给出了其语法和语义。
- Dennis等人提出了一种用于BDI风格编程语言的中间语言，旨在开发通用模型检查器。
-