Abstrakt. I detta dokument presenteras den språk- och programvarumiljö LEADSTO som har utvecklats för att modellera och simulera dynamiska processer både kvalitativt och kvantitativt. LEADSTO-språket är ett deklarativt ordningssorterat temporalspråk som utvidgas med kvantitativa medel. Dynamiska processer kan modelleras genom att ange de direkta tidsmässiga beroendena mellan tillståndsegenskaper i på varandra följande tillstånd. Baserat på LEADSTO-språket utvecklades en programvarumiljö som utför simuleringar av LEADSTO-specifikationer, genererar simuleringsspår för vidare analys och konstruerar visuella representationer av spår. Metoden visade sitt värde i ett antal forskningsprojekt inom olika områden.
Den har specialiserats på simulering och har producerat LEADSTO-språket REF som är ett deklarativt ordningssorterat temporalspråk där tiden beskrivs med reella tal och där egenskaper modelleras som direkta temporalberoenden mellan egenskaper i på varandra följande tillstånd.
LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn
{'venue': 'MATES', 'journal': None, 'mag_field_of_study': ['Computer Science']}