TY - JOUR
T1 - Specification and Verification of Dynamics in Agent Models
AU - Bosse, T.
AU - Jonker, C.M.
AU - van der Meij, L.
AU - Sharpanskykh, O.
AU - Treur, J.
N1 - IJCIS09
PY - 2009
Y1 - 2009
N2 - Within many domains, among which biological, cognitive, and social areas, multiple interacting processes occur among agents with dynamics that are hard to handle. This paper presents the predicate logical Temporal Trace Language (TTL) for the formal specification and analysis of dynamic properties of agents and multi-agent systems. This language supports the specification of both qualitative and quantitative aspects, and therefore subsumes specification languages based on differential equations and qualitative, logical approaches. A software environment has been developed for TTL, which supports editing TTL properties and enables the formal verification of properties against a set of traces. The TTL environment proved its value in a number of projects within different biological, cognitive and social domains. © 2009 World Scientific Publishing Company.
AB - Within many domains, among which biological, cognitive, and social areas, multiple interacting processes occur among agents with dynamics that are hard to handle. This paper presents the predicate logical Temporal Trace Language (TTL) for the formal specification and analysis of dynamic properties of agents and multi-agent systems. This language supports the specification of both qualitative and quantitative aspects, and therefore subsumes specification languages based on differential equations and qualitative, logical approaches. A software environment has been developed for TTL, which supports editing TTL properties and enables the formal verification of properties against a set of traces. The TTL environment proved its value in a number of projects within different biological, cognitive and social domains. © 2009 World Scientific Publishing Company.
U2 - 10.1142/S0218843009001987
DO - 10.1142/S0218843009001987
M3 - Article
SN - 0218-8430
VL - 18
SP - 167
EP - 193
JO - International Journal of Cooperative Information Systems
JF - International Journal of Cooperative Information Systems
ER -