%0 Conference Paper %1 Bosse:2005:mates %A Bosse, Tibor %A Jonker, Catholijn M. %A van der Meij, L. %A Treur, Jan %B MATES'05: Proc. 3$^rd$ German Conf. on Multi-Agent System Technologies %D 2005 %E Eymann, Torsten %E Klügl, Franziska %E Lamersdorf, Winfried %E Klusch, Matthias %E Huhns, Michael N. %I Springer %K imported thesis %P 165--178 %R 10.1007/11550648_15 %T LeadsTo: a Language and Environment for Analysis of Dynamics by SimulaTiOn %V 3550 %X 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. %@ 978-3-540-28740-7

@inproceedings{Bosse:2005:mates, 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.}, added-at = {2017-03-16T11:50:55.000+0100}, author = {Bosse, Tibor and Jonker, Catholijn M. and van der Meij, L. and Treur, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2404505950df9e77c05411f08c8bd129d/krevelen}, booktitle = {MATES'05: Proc. 3$^{rd}$ German Conf. on Multi-Agent System Technologies}, doi = {10.1007/11550648_15}, editor = {Eymann, Torsten and Kl\"ugl, Franziska and Lamersdorf, Winfried and Klusch, Matthias and Huhns, Michael N.}, interhash = {0e538f9e7519d0fd9a5e74425207dc12}, intrahash = {404505950df9e77c05411f08c8bd129d}, isbn = {978-3-540-28740-7}, keywords = {imported thesis}, month = {11-13 Sept.}, owner = {Rick}, pages = {165--178}, publisher = {Springer}, series = {LNAI}, timestamp = {2017-03-16T11:54:14.000+0100}, title = {\textsc{LeadsTo}: a Language and Environment for Analysis of Dynamics by SimulaTiOn}, volume = 3550, year = 2005 }