Reuse and Abstraction in Verification: Agents Acting in a Dynamic Environment

C.M. Jonker, J. Treur, W. de Vries

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

Abstract

To make verification a manageable part of the system development process, comprehensibility and reusability of properties and proofs is essential. The work reported in this paper contributes formally founded methods that support proof structuring and reuse. Often occurring patterns in agent behaviour can be exploited to establish a library containing properties and proofs. This is illustrated here by verifying the class of single agents acting in dynamic environments. First, a notion of abstraction for properties and proofs is introduced that provides means to structure and clarify verification. Also, the paper contributes to establishing the library by proposing a reusable system of generic co-ordination properties for applications of agents acting in dynamic environments.
Original languageEnglish
Title of host publicationProceedings of the the 1st International Workshop on Agent-Oriented Software Engineering (AOSE-2000)
EditorsP. Ciancarini, M.J. Wooldridge
Place of PublicationLimerick
PublisherSpringer/Verlag
Pages253-268
Number of pages16
ISBN (Print)3-540-41594-7
Publication statusPublished - 2001
EventThe First International Workshop on Agent-Oriented Software Engineering (AOSE-2000). - Limerick
Duration: 4 Jun 200011 Jun 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1957

Conference

ConferenceThe First International Workshop on Agent-Oriented Software Engineering (AOSE-2000).
Period4/06/0011/06/00

Fingerprint

Reusability

Cite this

Jonker, C. M., Treur, J., & de Vries, W. (2001). Reuse and Abstraction in Verification: Agents Acting in a Dynamic Environment. In P. Ciancarini, & M. J. Wooldridge (Eds.), Proceedings of the the 1st International Workshop on Agent-Oriented Software Engineering (AOSE-2000) (pp. 253-268). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1957). Limerick: Springer/Verlag.
Jonker, C.M. ; Treur, J. ; de Vries, W. / Reuse and Abstraction in Verification: Agents Acting in a Dynamic Environment. Proceedings of the the 1st International Workshop on Agent-Oriented Software Engineering (AOSE-2000). editor / P. Ciancarini ; M.J. Wooldridge. Limerick : Springer/Verlag, 2001. pp. 253-268 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{147243a4f1374b3d88e3655cca7bc648,
title = "Reuse and Abstraction in Verification: Agents Acting in a Dynamic Environment",
abstract = "To make verification a manageable part of the system development process, comprehensibility and reusability of properties and proofs is essential. The work reported in this paper contributes formally founded methods that support proof structuring and reuse. Often occurring patterns in agent behaviour can be exploited to establish a library containing properties and proofs. This is illustrated here by verifying the class of single agents acting in dynamic environments. First, a notion of abstraction for properties and proofs is introduced that provides means to structure and clarify verification. Also, the paper contributes to establishing the library by proposing a reusable system of generic co-ordination properties for applications of agents acting in dynamic environments.",
author = "C.M. Jonker and J. Treur and {de Vries}, W.",
year = "2001",
language = "English",
isbn = "3-540-41594-7",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer/Verlag",
pages = "253--268",
editor = "P. Ciancarini and M.J. Wooldridge",
booktitle = "Proceedings of the the 1st International Workshop on Agent-Oriented Software Engineering (AOSE-2000)",

}

Jonker, CM, Treur, J & de Vries, W 2001, Reuse and Abstraction in Verification: Agents Acting in a Dynamic Environment. in P Ciancarini & MJ Wooldridge (eds), Proceedings of the the 1st International Workshop on Agent-Oriented Software Engineering (AOSE-2000). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1957, Springer/Verlag, Limerick, pp. 253-268, The First International Workshop on Agent-Oriented Software Engineering (AOSE-2000)., 4/06/00.

Reuse and Abstraction in Verification: Agents Acting in a Dynamic Environment. / Jonker, C.M.; Treur, J.; de Vries, W.

Proceedings of the the 1st International Workshop on Agent-Oriented Software Engineering (AOSE-2000). ed. / P. Ciancarini; M.J. Wooldridge. Limerick : Springer/Verlag, 2001. p. 253-268 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1957).

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

TY - GEN

T1 - Reuse and Abstraction in Verification: Agents Acting in a Dynamic Environment

AU - Jonker, C.M.

AU - Treur, J.

AU - de Vries, W.

PY - 2001

Y1 - 2001

N2 - To make verification a manageable part of the system development process, comprehensibility and reusability of properties and proofs is essential. The work reported in this paper contributes formally founded methods that support proof structuring and reuse. Often occurring patterns in agent behaviour can be exploited to establish a library containing properties and proofs. This is illustrated here by verifying the class of single agents acting in dynamic environments. First, a notion of abstraction for properties and proofs is introduced that provides means to structure and clarify verification. Also, the paper contributes to establishing the library by proposing a reusable system of generic co-ordination properties for applications of agents acting in dynamic environments.

AB - To make verification a manageable part of the system development process, comprehensibility and reusability of properties and proofs is essential. The work reported in this paper contributes formally founded methods that support proof structuring and reuse. Often occurring patterns in agent behaviour can be exploited to establish a library containing properties and proofs. This is illustrated here by verifying the class of single agents acting in dynamic environments. First, a notion of abstraction for properties and proofs is introduced that provides means to structure and clarify verification. Also, the paper contributes to establishing the library by proposing a reusable system of generic co-ordination properties for applications of agents acting in dynamic environments.

M3 - Conference contribution

SN - 3-540-41594-7

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 253

EP - 268

BT - Proceedings of the the 1st International Workshop on Agent-Oriented Software Engineering (AOSE-2000)

A2 - Ciancarini, P.

A2 - Wooldridge, M.J.

PB - Springer/Verlag

CY - Limerick

ER -

Jonker CM, Treur J, de Vries W. Reuse and Abstraction in Verification: Agents Acting in a Dynamic Environment. In Ciancarini P, Wooldridge MJ, editors, Proceedings of the the 1st International Workshop on Agent-Oriented Software Engineering (AOSE-2000). Limerick: Springer/Verlag. 2001. p. 253-268. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).