A secure architectural description language for agent systems

Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of software deployed on the web has always been the security of their architectures. However, despite considerable work in software architecture during the last decade, few research efforts have aimed at truly defining languages for designing and formalizing agent architectures and more specifically secure ones. This paper identifies the foundations for an architectural description language (ADL) to specify secure multi-agent systems. We propose a set of system design primitives and conceptualize it with the Z specification language to capture a "core" architectural model to build secure MAS architectures. We apply it on an e-commerce example to illustrate our proposal. Categories and Subject Descriptors D.2.11 [Software Architectures]: Languages I.2.11 [Artificial Intelligence]: Distributed Artificial Intell...

• Type: Conference
• Year: 2005
• Where: ATAL
• Authors: Haralambos Mouratidis, Manuel Kolp, Stéphane Faulkner, Paolo Giorgini
• Keywords: Architectural Description Languages, ATAL 2005, Multi-agent Systems, Promising Architectural Approach