Advancing The State Of The Art In The Analysis Of Multi-Agent Systems: Study And Development Of Methods And Tools For Testing, Validation And Verification Of Multi-Agent Systems. Dieser Artikel ist nicht verfügbar.Advancing The State Of The Art In The Analysis Of Multi-Agent Systems: Study And Development Of Methods And Tools For Testing, Validation And Verification Of Multi-Agent Systems

Computer software is finding its way into more life-critical applications every year. There are problems which can be difficult to be solved by classic monolithic software systems instead of by multi-agent systems (MASs). If analyzing traditional software is considerably complex, it is much more complex to analyze a MAS in which intelligent or emergent behaviors may appear. This book is presented as a significant contribution to the analysis of multi-agent systems or MASs. The presented work introduces the basis for the development of a forensic analysis infrastructure for MAS (i.e., an analysis process performed on previously recorded data of the system run), proposes the use of data mining techniques to discover not explicit knowledge in the logs derived from the forensic analysis, explains analysis techniques based on social network analysis, and provides a qualitative analysis on the basis of the semantically rich information provided by agent communication languages and interaction protocols.

Emilio Serrano, Juan A. Botía and José M. Cadenas are Ph.D. in Computer Science who currently develop their research activity in the Department of Information and Communications Engineering of the University of Murcia, Spain.