TY - GEN
T1 - Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness
AU - Jonker, C.M.
AU - Treur, J.
PY - 1998
Y1 - 1998
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84949205205&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/record.url?scp=84949205205&partnerID=8YFLogxK
U2 - 10.1007/3-540-49213-5_13
DO - 10.1007/3-540-49213-5_13
M3 - Conference contribution
SN - 3-540-65493-3
SN - 9783540654933
VL - 1536
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 350
EP - 380
BT - Compositionality: The Significant Difference - International Symposium, COMPOS 1997, Revised Lectures
PB - Springer/Verlag
T2 - International Symposium on Compositionality: The Significant Difference, COMPOS 1997
Y2 - 8 September 1997 through 12 September 1997
ER -