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

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

Fingerprint Dive into the research topics of 'LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn (extended abstract)'. Together they form a unique fingerprint.

Cite this