Automated Analysis of Compositional Multi-Agent Systems

O. Sharpanskykh, J. Treur

Research output: Contribution to JournalArticleAcademicpeer-review


An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a set of dynamic properties at that level, expressed in some (temporal) language. Such behavioural specifications may be complex and difficult to analyse. To enable automated analysis of system specifications, a simpler format is required. To this end, a specification at a lower aggregation level can be created, describing basic steps in the processes of a system. This paper presents a method and tool to support the automated creation of such a specification, as a refinement of a given higher level specification. The generated specification has a simple format which can easily be used for analysis. This paper describes an approach for automated verification of logical consequences of specifications using model checking techniques. Copyright © 2010 Inderscience Enterprises Ltd.
Original languageEnglish
Pages (from-to)174-221
JournalInternational Journal of Agent-Oriented Software Engineering
Issue number2
Publication statusPublished - 2010


Dive into the research topics of 'Automated Analysis of Compositional Multi-Agent Systems'. Together they form a unique fingerprint.

Cite this