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

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

doi:10.1007/11504894_51

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

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

Research output: Contribution to Journal › Article › Academic › peer-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 language	English
Pages (from-to)	363-366
Number of pages	4
Journal	Lecture Notes in Computer Science
Volume	3533
DOIs	https://doi.org/10.1007/11504894_51
Publication status	Published - 2005
Event	18th 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 2005 → 24 Jun 2005

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

Access to Document

10.1007/11504894_51

Handle.net

Persistent link

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. {\textcopyright} 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; 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems: Innovations in Applied Artificial Intelligence, IEA/AIE 2005 ; Conference date: 22-06-2005 Through 24-06-2005",

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",

}

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

SN - 0302-9743

VL - 3533

SP - 363

EP - 366

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems: Innovations in Applied Artificial Intelligence, IEA/AIE 2005

Y2 - 22 June 2005 through 24 June 2005

ER -

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

Abstract

Bibliographical note

Access to Document

Handle.net

Other files and links

Fingerprint

Cite this