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

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

Abstract

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.
PublisherSpringer/Verlag
Pages165-178
Number of pages14
Volume3550
ISBN (Electronic)978-3-540-28741-4
ISBN (Print)978-3-540-28740-7
DOIs
Publication statusPublished - 2005
Event3rd German Conference on Multiagent System Technologies, MATES 2005 - Koblenz, Germany
Duration: 11 Sep 200513 Sep 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

Conference

Conference3rd German Conference on Multiagent System Technologies, MATES 2005
CountryGermany
CityKoblenz
Period11/09/0513/09/05

Bibliographical note

MATES05-leadsto
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

Fingerprint 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