SARL（編程語言）

SARL編程語言是一種模塊化的面向代理的編程語言。它旨在為處理并發性、分布性、交互性、分散性、反應性、自主性和動態重新配置提供基本抽象。SARL是獨立于平臺的，與代理的架構無關。它在語言層面上直接提供了一套面向代理的xxx類抽象（見概念部分）。然而，它支持其他面向代理的元模型所提供的概念的整合和映射。SARL本身利用這種擴展機制來定義自己的擴展（組織、事件驅動等）。SARL編程語言的一個重要特征是它對整體多代理系統和遞歸代理（也叫整體）的本地支持。

SARL的元模型是基于四個主要概念。主要概念用淺藍色表示。在下面的章節中，將詳細介紹每一個概念，以及相應的SARL代碼來說明其實際用途。在SARL中，多代理系統（MAS）是一個在共享的分布式空間中一起互動的代理的集合。每個代理都有一個能力的集合，描述它能夠執行什么，它的個人能力。然后每個能力可以通過各種技能來實現/實施。為了理解能力和技能的概念之間的關系，可以與接口的概念和它們在面向對象語言中的實現類相提并論。為了實現特定的架構，開發人員應該開發他們自己的能力和技能，為代理提供新的可利用的功能。盡管SARL具有開放性，但它規定了一些基本原則，希望支持它的各種虛擬機（VM）都要遵守。首先，空間的實現必須是完全分布式的，執行層必須從代理中抽象出來。SARL鼓勵代理和行為的大規模并行執行。SARL與Java完全互通，可以輕松地重用Java社區提供的所有貢獻，同時也可以促進遺留系統的整合和進化。管理SARL的關鍵原則之一是不為代理在空間內的互動強加一種預定義的方式。同樣，識別代理的方式也取決于所考慮的空間的類型。這允許在空間上定義不同類型的交互機制和模型。

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

一個代理是一個自主的實體，有一套技能來實現它所展示的能力。一個代理有一套被認為是尊重普遍接受的代理能力所必需的內置能力，如自主性、反應性、主動性和社會能力。在這些內置能力（BIC）中，行為能力決定了它的整體行為。一個代理也有一個直接在其定義中描述的默認行為。一個行為將由事件代表的感知集合映射到一連串的行動中。

行動是對所設計的系統或其環境的一部分進行改造的規范。如果改造前的系統滿足一組約束條件，這種改造就能保證結果的屬性。一個行動是用前、后條件定義的。一個能力是一個行動的集合的規范。