Number of pages
SourceInternational Journal of Cooperative Information Systems, 18, 1, (2009), pp. 167-193
Article / Letter to editor
Display more detailsDisplay less details
SW OZ BSI CW
International Journal of Cooperative Information Systems
SubjectCommunication and Media
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.
This item appears in the following Collection(s)
- Faculty of Social Sciences 
- Non RU Publications 
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.