A Language and Environment for Analysis of Dynamics by SimulaTiOn
Number of pages
SourceInternational Journal on Artificial Intelligence Tools, 16, 3, (2007), pp. 435-464
Article / Letter to editor
Display more detailsDisplay less details
SW OZ BSI CW
International Journal on Artificial Intelligence Tools
SubjectCommunication and Media
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.
This item appears in the following Collection(s)
- Non RU Publications 
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.