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

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

doi:10.1007/11550648_15

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 proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Multiagent System Technologies. MATES 2005.
Publisher	Springer/Verlag
Pages	165-178
Number of pages	14
Volume	3550
ISBN (Electronic)	978-3-540-28741-4
ISBN (Print)	978-3-540-28740-7
DOIs	https://doi.org/10.1007/11550648_15
Publication status	Published - 2005
Event	3rd German Conference on Multiagent System Technologies, MATES 2005 - Koblenz, Germany Duration: 11 Sept 2005 → 13 Sept 2005

Publication series

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

Conference

Conference	3rd German Conference on Multiagent System Technologies, MATES 2005
Country/Territory	Germany
City	Koblenz
Period	11/09/05 → 13/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

Access to Document

10.1007/11550648_15

Persistent URL (handle)

Persistent link

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

@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. {\textcopyright} 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; 3rd German Conference on Multiagent System Technologies, MATES 2005 ; Conference date: 11-09-2005 Through 13-09-2005",

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. et al.
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 proceeding › Conference contribution › Academic › peer-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 - https://www.scopus.com/pages/publications/33646028191

UR - https://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

T2 - 3rd German Conference on Multiagent System Technologies, MATES 2005

Y2 - 11 September 2005 through 13 September 2005

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)). doi: 10.1007/11550648_15

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

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this