SARL（编程语言）

SARL编程语言是一种模块化的面向代理的编程语言。它旨在为处理并发性、分布性、交互性、分散性、反应性、自主性和动态重新配置提供基本抽象。SARL是独立于平台的，与代理的架构无关。它在语言层面上直接提供了一套面向代理的xxx类抽象（见概念部分）。然而，它支持其他面向代理的元模型所提供的概念的整合和映射。SARL本身利用这种扩展机制来定义自己的扩展（组织、事件驱动等）。SARL编程语言的一个重要特征是它对整体多代理系统和递归代理（也叫整体）的本地支持。

SARL的元模型是基于四个主要概念。主要概念用浅蓝色表示。在下面的章节中，将详细介绍每一个概念，以及相应的SARL代码来说明其实际用途。在SARL中，多代理系统（MAS）是一个在共享的分布式空间中一起互动的代理的集合。每个代理都有一个能力的集合，描述它能够执行什么，它的个人能力。然后每个能力可以通过各种技能来实现/实施。为了理解能力和技能的概念之间的关系，可以与接口的概念和它们在面向对象语言中的实现类相提并论。为了实现特定的架构，开发人员应该开发他们自己的能力和技能，为代理提供新的可利用的功能。尽管SARL具有开放性，但它规定了一些基本原则，希望支持它的各种虚拟机（VM）都要遵守。首先，空间的实现必须是完全分布式的，执行层必须从代理中抽象出来。SARL鼓励代理和行为的大规模并行执行。SARL与Java完全互通，可以轻松地重用Java社区提供的所有贡献，同时也可以促进遗留系统的整合和进化。管理SARL的关键原则之一是不为代理在空间内的互动强加一种预定义的方式。同样，识别代理的方式也取决于所考虑的空间的类型。这允许在空间上定义不同类型的交互机制和模型。

SARL编程语言是基于面向代理的元模型，基于以下概念。

一个代理是一个自主的实体，有一套技能来实现它所展示的能力。一个代理有一套被认为是尊重普遍接受的代理能力所必需的内置能力，如自主性、反应性、主动性和社会能力。在这些内置能力（BIC）中，行为能力决定了它的整体行为。一个代理也有一个直接在其定义中描述的默认行为。一个行为将由事件代表的感知集合映射到一连串的行动中。

行动是对所设计的系统或其环境的一部分进行改造的规范。如果改造前的系统满足一组约束条件，这种改造就能保证结果的属性。一个行动是用前、后条件定义的。一个能力是一个行动的集合的规范。