TY - CHAP
T1 - A Formal Analysis of Pro-activenes and Reactiveness in Cooperative Information Gathering
AU - Jonker, C.M.
AU - Treur, J.
PY - 2001
Y1 - 2001
N2 - When designing multi-agent systems, it is often hard to guarantee that the specification of a system that has been designed actually fulfils the needs, i.e., whether it satisfies the design requirements. Especially for critical applications, for example in real-time domains, there is a need to prove that the designed system will have certain properties under certain conditions (assumptions). While developing a proof of such properties, the assumptions that define the bounds within which the system will function properly are generated. For nontrivial examples, verification can be a very complex process, both in the conceptual and computational sense. For these reasons, it is a recent trend in the literature on verification in general to study the use of compositionality and abstraction to structure the process of verification; for example, see [Abadi and Lamport, 1993], [Hooman, 1994], [Dams et al., 1996].
AB - When designing multi-agent systems, it is often hard to guarantee that the specification of a system that has been designed actually fulfils the needs, i.e., whether it satisfies the design requirements. Especially for critical applications, for example in real-time domains, there is a need to prove that the designed system will have certain properties under certain conditions (assumptions). While developing a proof of such properties, the assumptions that define the bounds within which the system will function properly are generated. For nontrivial examples, verification can be a very complex process, both in the conceptual and computational sense. For these reasons, it is a recent trend in the literature on verification in general to study the use of compositionality and abstraction to structure the process of verification; for example, see [Abadi and Lamport, 1993], [Hooman, 1994], [Dams et al., 1996].
U2 - 10.1007/978-94-017-1743-4_15
DO - 10.1007/978-94-017-1743-4_15
M3 - Chapter
SN - 978-90-481-5903-1
T3 - Series in Defeasible Reasoning and Uncertainty Management Systems
SP - 299
EP - 338
BT - Dynamics and Management of Reasoning Processes
PB - Springer
ER -