Activity Theory for the Analysis and Design of Multi-agent Systems

This paper shows how to verify a Multi-Agent System specification using human organization metaphors. This proposal applies Activity Theory, which has its roots in Sociology, to study agent systems and obtain relationship patterns that we apply to the analysis of a MAS. These patterns guide analysis and design refinements and help to locate inconsistencies. As case study we applied these patterns to a specification written with INGENIAS notation.

• Type: Conference
• Year: 2003
• Where: AOSE
• Authors: Rubén Fuentes, Jorge J. Gómez-Sanz, Juan Pavón
• Keywords: AOSE 2003, Multi-Agent System Specification, Patterns Guide Analysis, Proposal Applies Activity