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.
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

Fingerprint

Multi agent systems
Language
Multi-agent Systems
Simulation
Software
Trace
Specifications
Specification
Research
Model

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

Cite this

Bosse, T., Jonker, C. M., van der Meij, L., & Treur, J. (2005). LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn. In Multiagent System Technologies. MATES 2005. (Vol. 3550, pp. 165-178). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3550 LNAI). Springer/Verlag. https://doi.org/10.1007/11550648_15
Bosse, T. ; Jonker, C.M. ; van der Meij, L. ; Treur, J. / LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn. Multiagent System Technologies. MATES 2005.. Vol. 3550 Springer/Verlag, 2005. pp. 165-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{495f0aa8a33b41d9bc922590f3be73df,
title = "LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn",
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. {\circledC} Springer-Verlag Berlin Heidelberg 2005.",
author = "T. Bosse and C.M. Jonker and {van der Meij}, L. and J. Treur",
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",
year = "2005",
doi = "10.1007/11550648_15",
language = "English",
isbn = "978-3-540-28740-7",
volume = "3550",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer/Verlag",
pages = "165--178",
booktitle = "Multiagent System Technologies. MATES 2005.",

}

Bosse, T, Jonker, CM, van der Meij, L & Treur, J 2005, LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn. in Multiagent System Technologies. MATES 2005.. vol. 3550, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3550 LNAI, Springer/Verlag, pp. 165-178, 3rd German Conference on Multiagent System Technologies, MATES 2005, Koblenz, Germany, 11/09/05. https://doi.org/10.1007/11550648_15

LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn. / Bosse, T.; Jonker, C.M.; van der Meij, L.; Treur, J.

Multiagent System Technologies. MATES 2005.. Vol. 3550 Springer/Verlag, 2005. p. 165-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3550 LNAI).

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

TY - GEN

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

AU - Bosse, T.

AU - Jonker, C.M.

AU - van der Meij, L.

AU - Treur, J.

N1 - 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

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33646028191&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33646028191&partnerID=8YFLogxK

U2 - 10.1007/11550648_15

DO - 10.1007/11550648_15

M3 - Conference contribution

SN - 978-3-540-28740-7

VL - 3550

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 165

EP - 178

BT - Multiagent System Technologies. MATES 2005.

PB - Springer/Verlag

ER -

Bosse T, Jonker CM, van der Meij L, Treur J. LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn. In Multiagent System Technologies. MATES 2005.. Vol. 3550. Springer/Verlag. 2005. p. 165-178. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/11550648_15