aivika: A multi-paradigm simulation library
|Versions||0.1, 0.2, 0.3, 0.4, 0.4.1, 0.4.2, 0.4.3, 0.5, 0.5.1, 0.5.4, 0.6, 0.6.1, 0.7, 1.0, 1.1, 1.2, 1.2.1, 1.3, 1.4, 2.0, 2.1, 3.0, 3.1, 4.0, 4.0.1, 4.0.3, 4.1, 4.1.1, 4.2, 4.3, 4.3.1, 4.3.2, 4.3.3, 4.3.4, 4.3.5, 4.5, 4.6, 5.0.1, 5.1, 5.2, 5.3, 5.3.1, 5.4, 5.5|
|Dependencies||array (>=0.3.0.0), base (>=3 && <6), containers (>=0.4.0.0), mtl (>=220.127.116.11), random (>=18.104.22.168) [details]|
|Copyright||(c) 2009-2012. David Sorokin <email@example.com>|
|Maintainer||David Sorokin <firstname.lastname@example.org>|
|Uploaded||by DavidSorokin at Tue Jun 12 07:30:09 UTC 2012|
|Downloads||13635 total (162 in the last 30 days)|
|Rating||2.0 (votes: 1) [estimated by rule of succession]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI
Aivika is a small simulation library that covers many paradigms. It allows integrating a system of ordinary differential equations. Also it can be applied to the Discrete Event Simulation. It supports the event-oriented, process-oriented and activity-oriented paradigms. Aivika also supports the Agent-based Modeling. Finally, it can be applied to System Dynamics.
It is possible due to using a very general approach when the basic modeling entity is just a function of simulation time. The paradigms are mainly distinguished by sets of the functions that are used to model the activities. These sets are small and do not pretend to be comprehensive. Aivika is mostly a proof-of-concept project rather than a big library that knows everything.
The library widely uses monads. The dynamic system is represented as a computation in the Dynamics monad. There is also the Process monad to represent the discontinuous processes which can suspend at any time and then resume later. There is also the Simulation monad that represents a simulation run, in which scope the previous two monads exist. Almost everything is expressed through these monads, including the event handlers, agent handlers and even integrals except for the parameters and statistics that already use the IO monad.
The PDF documentation is available at https://github.com/dsorokin/aivika/blob/master/doc/aivika.pdf. Please note that the documentation is obsolete and it corresponds to the previous version but it can still be helpful.
For package maintainers and hackage trustees