Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness

C.M. Jonker, J. Treur

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

A compositional method is presented for the verification of multi-agent systems. The advantages of the method are the well-structuredness of the proofs and the reusability of parts of these proofs in relation to reuse of components. The method is illustrated for an example multi-agent system, consisting of co-operative information gathering agents. This application of the verification method results in a formal analysis of pro-activeness and reactiveness of agents.
Original languageEnglish
Title of host publicationCompositionality: The Significant Difference - International Symposium, COMPOS 1997, Revised Lectures
PublisherSpringer/Verlag
Pages350-380
Number of pages31
Volume1536
ISBN (Print)3-540-65493-3, 9783540654933
DOIs
Publication statusPublished - 1998
EventInternational Symposium on Compositionality: The Significant Difference, COMPOS 1997 - Bad Malente, Germany
Duration: 8 Sep 199712 Sep 1997

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1536
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Symposium on Compositionality: The Significant Difference, COMPOS 1997
CountryGermany
CityBad Malente
Period8/09/9712/09/97

Cite this