An Architectural Description Language for Secure Multi-Agent Systems

Mouratidis, Haralambos and Kolp, Manuel and Giorgini, Paolo and Faulkner, Stéphane (2010) ‘An Architectural Description Language for Secure Multi-Agent Systems’, Web Intelligence and Agent Systems, 8(1), pp. 99-122.

Mouratidis, H (2010) WIAS 8 (1) 99.pdf - Accepted Version
Available under License Creative Commons Attribution No Derivatives.

Download (588Kb) | Preview
Official URL:


Multi-Agent Systems (MAS) architectures are gaining popularity for building open, distributed, and evolving information systems. Unfortunately, despite considerable work in the fields of software architecture and MAS during the last decade, few research efforts have aimed at defining languages for designing and formalising secure agent architectures. This paper proposes a novel Architectural Description Language (ADL) for describing Belief-Desire-Intention (BDI) secure MAS. We specify each element of our ADL using the Z specification language and we employ two example case studies: one to assist us in the description of the proposed language and help readers of the article to better understand the fundamentals of the language; and one to demonstrate its applicability.

Item Type: Article
Additional Information: Citation: Mouratidis, H., Kolp, M., Giorgini, P., Faulkner, S. (2010) ‘An Architectural Description Language for Secure Multi-Agent Systems’ Web Intelligence and Agent Systems 8 (1) pp.99-122.
Divisions: Schools > Architecture Computing and Engineering, School of
Depositing User: Mr Stephen Grace
Date Deposited: 25 Nov 2010 15:14
Last Modified: 19 Nov 2012 15:37

Actions (login required)

View Item View Item