LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn (extended abstract)

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

This paper presents the language and software environment LEADSTO that has been developed to model and simulate dynamic processes in terms of both qualitative and quantitative concepts. The LEADSTO language is a declarative order-sorted temporal language, extended with quantitative means. Dynamic processes 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 research projects in different domains. © Springer-Verlag Berlin Heidelberg 2005.
Original languageEnglish
Pages (from-to)363-366
Number of pages4
JournalLecture Notes in Computer Science
Volume3533
DOIs
Publication statusPublished - 2005
Event18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems: Innovations in Applied Artificial Intelligence, IEA/AIE 2005 - Bari, Italy
Duration: 22 Jun 200524 Jun 2005

Fingerprint

Language
Dynamic Process
Simulation
Software
Trace
Specifications
Berlin
Specification
Research
Model

Bibliographical note

IEA-AIE05
Proceedings title: Proceedings of the 18th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE 2005)
Publisher: Springer Verlag
Editors: Moonis Ali, Floriana Esposito

Cite this

@article{793d04231a1b4a8282403a428add1077,
title = "LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn (extended abstract)",
abstract = "This paper presents the language and software environment LEADSTO that has been developed to model and simulate dynamic processes in terms of both qualitative and quantitative concepts. The LEADSTO language is a declarative order-sorted temporal language, extended with quantitative means. Dynamic processes 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 research projects in different domains. {\circledC} Springer-Verlag Berlin Heidelberg 2005.",
author = "T. Bosse and C.M. Jonker and {van der Meij}, L. and J. Treur",
note = "IEA-AIE05 Proceedings title: Proceedings of the 18th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE 2005) Publisher: Springer Verlag Editors: Moonis Ali, Floriana Esposito",
year = "2005",
doi = "10.1007/11504894_51",
language = "English",
volume = "3533",
pages = "363--366",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

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

In: Lecture Notes in Computer Science, Vol. 3533, 2005, p. 363-366.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn (extended abstract)

AU - Bosse, T.

AU - Jonker, C.M.

AU - van der Meij, L.

AU - Treur, J.

N1 - IEA-AIE05 Proceedings title: Proceedings of the 18th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE 2005) Publisher: Springer Verlag Editors: Moonis Ali, Floriana Esposito

PY - 2005

Y1 - 2005

N2 - This paper presents the language and software environment LEADSTO that has been developed to model and simulate dynamic processes in terms of both qualitative and quantitative concepts. The LEADSTO language is a declarative order-sorted temporal language, extended with quantitative means. Dynamic processes 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 research projects in different domains. © Springer-Verlag Berlin Heidelberg 2005.

AB - This paper presents the language and software environment LEADSTO that has been developed to model and simulate dynamic processes in terms of both qualitative and quantitative concepts. The LEADSTO language is a declarative order-sorted temporal language, extended with quantitative means. Dynamic processes 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 research projects in different domains. © Springer-Verlag Berlin Heidelberg 2005.

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

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

U2 - 10.1007/11504894_51

DO - 10.1007/11504894_51

M3 - Article

VL - 3533

SP - 363

EP - 366

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -