LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn

T. Bosse, C.M. Jonker, L. van der Meij, J. Treur

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


This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitative and quantitative concepts. The LEADSTO language is a declarative order-sorted temporal language, extended with quantitative means. Dynamics of MAS can be modelled by specifying the direct temporal dependencies between state properties in successive states. Based on the LEADSTO language, a software environment was developed that performs simulations of LEADSTO specifications, generates simulation traces for further analysis, and constructs visual representations of traces. The approach proved its value in a number of projects within different domains of MAS research. © Springer-Verlag Berlin Heidelberg 2005.
Original languageEnglish
Title of host publicationMultiagent System Technologies. MATES 2005.
Number of pages14
ISBN (Electronic)978-3-540-28741-4
ISBN (Print)978-3-540-28740-7
Publication statusPublished - 2005
Event3rd German Conference on Multiagent System Technologies, MATES 2005 - Koblenz, Germany
Duration: 11 Sept 200513 Sept 2005

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3550 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference3rd German Conference on Multiagent System Technologies, MATES 2005

Bibliographical note

Proceedings title: Proceedings of the Third German Conference on Multi-Agent System Technologies (MATES'05)
Publisher: Springer Verlag
Editors: Torsten Eymann, Franziska Kluegl, Wilfried Lamersdorf, Matthias Klusch, Michael N. Huhns


Dive into the research topics of 'LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn'. Together they form a unique fingerprint.

Cite this