A Language and Environment for Analysis of Dynamics by SimulaTiOn

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

doi:10.1142/S0218213007003357

A Language and Environment for Analysis of Dynamics by SimulaTiOn

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

Research output: Contribution to Journal › Article › Academic › peer-review

Abstract

This article 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 notions like integer and real. Dynamic processes can be modelled in LEADSTO 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 data-files containing traces of simulation for further analysis, and constructs visual representations of traces. The approach proved its worth in a number of research projects in different domains. © World Scientific Publishing Company.

Original language	English
Pages (from-to)	435-464
Journal	International Journal on Artificial Intelligence Tools
Volume	16
Issue number	3
DOIs	https://doi.org/10.1142/S0218213007003357
Publication status	Published - 2007

Bibliographical note

IJAIT-07

Access to Document

10.1142/S0218213007003357

Persistent URL (handle)

Copy link address

Cite this

@article{a396a499edeb48369912fa4812ebf013,

title = "A Language and Environment for Analysis of Dynamics by SimulaTiOn",

abstract = "This article 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 notions like integer and real. Dynamic processes can be modelled in LEADSTO 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 data-files containing traces of simulation for further analysis, and constructs visual representations of traces. The approach proved its worth in a number of research projects in different domains. {\textcopyright} World Scientific Publishing Company.",

author = "T. Bosse and C.M. Jonker and {van der Meij}, L. and J. Treur",

note = "IJAIT-07 ",

year = "2007",

doi = "10.1142/S0218213007003357",

language = "English",

volume = "16",

pages = "435--464",

journal = "International Journal on Artificial Intelligence Tools",

issn = "0218-2130",

publisher = "World Scientific Publishing Co. Pte Ltd",

number = "3",

}

TY - JOUR

T1 - 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 - IJAIT-07

PY - 2007

Y1 - 2007

N2 - This article 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 notions like integer and real. Dynamic processes can be modelled in LEADSTO 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 data-files containing traces of simulation for further analysis, and constructs visual representations of traces. The approach proved its worth in a number of research projects in different domains. © World Scientific Publishing Company.

AB - This article 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 notions like integer and real. Dynamic processes can be modelled in LEADSTO 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 data-files containing traces of simulation for further analysis, and constructs visual representations of traces. The approach proved its worth in a number of research projects in different domains. © World Scientific Publishing Company.

U2 - 10.1142/S0218213007003357

DO - 10.1142/S0218213007003357

M3 - Article

SN - 0218-2130

VL - 16

SP - 435

EP - 464

JO - International Journal on Artificial Intelligence Tools

JF - International Journal on Artificial Intelligence Tools

IS - 3

ER -

A Language and Environment for Analysis of Dynamics by SimulaTiOn

Abstract

Bibliographical note

Access to Document

Persistent URL (handle)

Fingerprint

Cite this